edu.jas.gbufd

Class GroebnerBasePseudoSeq<C extends GcdRingElem<C>>

java.lang.Object

edu.jas.gb.GroebnerBaseAbstract<C>

edu.jas.gbufd.GroebnerBasePseudoSeq<C>

Type Parameters:

C - coefficient type

All Implemented Interfaces:

GroebnerBase<C>, java.io.Serializable

public class GroebnerBasePseudoSeq<C extends GcdRingElem<C>>
extends GroebnerBaseAbstract<C>

Groebner Base with pseudo reduction sequential algorithm. Implements coefficient fraction free Groebner bases.

See Also:

GBAlgorithmBuilder, GBFactory, Serialized Form

Field Summary

Fields inherited from class edu.jas.gb.GroebnerBaseAbstract

blas, strategy

Constructor Summary

Constructors

Constructor and Description
GroebnerBasePseudoSeq(PseudoReduction<C> red, RingFactory<C> rf, PairList<C> pl) Constructor.
GroebnerBasePseudoSeq(RingFactory<C> rf) Constructor.
GroebnerBasePseudoSeq(RingFactory<C> rf, PairList<C> pl) Constructor.

Method Summary

Modifier and Type	Method and Description
java.util.List<GenPolynomial<C>>	GB(int modv, java.util.List<GenPolynomial<C>> F) 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.gb.GroebnerBaseAbstract

cancel, commonZeroTest, constructUnivariate, extGB, extGB, GB, isGB, 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

GroebnerBasePseudoSeq

public GroebnerBasePseudoSeq(RingFactory<C> rf)

Constructor.

Parameters:

rf - coefficient ring factory.

GroebnerBasePseudoSeq

public GroebnerBasePseudoSeq(RingFactory<C> rf,
                             PairList<C> pl)

Constructor.

Parameters:

rf - coefficient ring factory.

pl - pair selection strategy

GroebnerBasePseudoSeq

public GroebnerBasePseudoSeq(PseudoReduction<C> red,
                             RingFactory<C> rf,
                             PairList<C> pl)

Constructor.

Parameters:

red - pseudo reduction engine.

rf - coefficient ring factory. Note: red must be an instance of PseudoReductionSeq.

Method Detail

GB

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

Groebner base using pairlist class.

Parameters:

modv - module variable number.

F - polynomial list.

Returns:

GB(F) a 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 GcdRingElem<C>>

Overrides:

minimalGB in class GroebnerBaseAbstract<C extends GcdRingElem<C>>

Parameters:

Gp - a Groebner base.

Returns:

a reduced Groebner base of Gp.