edu.jas.gbufd

Class RGroebnerBasePseudoSeq<C extends RegularRingElem<C>>

java.lang.Object

edu.jas.gb.GroebnerBaseAbstract<C>

edu.jas.gbufd.RGroebnerBaseSeq<C>

edu.jas.gbufd.RGroebnerBasePseudoSeq<C>

Type Parameters:

C - coefficient type

All Implemented Interfaces:

GroebnerBase<C>, java.io.Serializable

public class RGroebnerBasePseudoSeq<C extends RegularRingElem<C>>
extends RGroebnerBaseSeq<C>

Regular ring Groebner Base with pseudo reduction sequential algorithm. Implements R-Groebner bases and GB test.

See Also:

Serialized Form

Field Summary

Fields inherited from class edu.jas.gb.GroebnerBaseAbstract

blas, strategy

Constructor Summary

Constructors

Constructor and Description
RGroebnerBasePseudoSeq(RingFactory<C> rf) Constructor.
RGroebnerBasePseudoSeq(RPseudoReduction<C> red, RingFactory<C> rf) Constructor.

Method Summary

Modifier and Type	Method and Description
java.util.List<GenPolynomial<C>>	GB(int modv, java.util.List<GenPolynomial<C>> F) R-Groebner base using pairlist class.
java.util.List<GenPolynomial<C>>	minimalGB(java.util.List<GenPolynomial<C>> Gp) Minimal ordered Groebner basis.

Methods inherited from class edu.jas.gbufd.RGroebnerBaseSeq

isGB

Methods inherited from class edu.jas.gb.GroebnerBaseAbstract

cancel, commonZeroTest, constructUnivariate, extGB, extGB, GB, isGB, isGB, isGB, isGBidem, isGBsimple, isMinimalGB, isReductionMatrix, isReductionMatrix, minimalExtendedGB, normalizeMatrix, terminate, toString, univariateDegrees

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, wait, wait, wait

Constructor Detail

RGroebnerBasePseudoSeq

public RGroebnerBasePseudoSeq(RingFactory<C> rf)

Constructor.

Parameters:

rf - coefficient ring factory.

RGroebnerBasePseudoSeq

public RGroebnerBasePseudoSeq(RPseudoReduction<C> red,
                              RingFactory<C> rf)

Constructor.

Parameters:

red - R-pseudo-Reduction engine

rf - coefficient ring factory.

Method Detail

GB

public java.util.List<GenPolynomial<C>> GB(int modv,
                                           java.util.List<GenPolynomial<C>> F)

R-Groebner base using pairlist class.

Specified by:

GB in interface GroebnerBase<C extends RegularRingElem<C>>

Overrides:

GB in class RGroebnerBaseSeq<C extends RegularRingElem<C>>

Parameters:

modv - module variable number.

F - polynomial list.

Returns:

GB(F) a R-Groebner base of F.

minimalGB

public java.util.List<GenPolynomial<C>> minimalGB(java.util.List<GenPolynomial<C>> Gp)

Minimal ordered Groebner basis.

Specified by:

minimalGB in interface GroebnerBase<C extends RegularRingElem<C>>

Overrides:

minimalGB in class RGroebnerBaseSeq<C extends RegularRingElem<C>>

Parameters:

Gp - a Groebner base.

Returns:

a reduced Groebner base of Gp.