C
- base coefficient typepublic class GroebnerBasePseudoRecSeq<C extends GcdRingElem<C>> extends GroebnerBaseAbstract<GenPolynomial<C>>
GBAlgorithmBuilder
,
GBFactory
,
Serialized FormModifier and Type | Field and Description |
---|---|
protected RingFactory<C> |
baseCofac
Base coefficient ring factory.
|
protected RingFactory<GenPolynomial<C>> |
cofac
Coefficient ring factory.
|
protected GreatestCommonDivisorAbstract<C> |
engine
Greatest common divisor engine for coefficient content and primitive
parts.
|
protected PseudoReduction<GenPolynomial<C>> |
red
Pseudo reduction engine.
|
protected PseudoReduction<C> |
redRec
Pseudo reduction engine.
|
blas, strategy
Constructor and Description |
---|
GroebnerBasePseudoRecSeq(PseudoReduction<GenPolynomial<C>> red,
RingFactory<GenPolynomial<C>> rf,
PairList<GenPolynomial<C>> pl)
Constructor.
|
GroebnerBasePseudoRecSeq(RingFactory<GenPolynomial<C>> rf)
Constructor.
|
GroebnerBasePseudoRecSeq(RingFactory<GenPolynomial<C>> rf,
PairList<GenPolynomial<C>> pl)
Constructor.
|
Modifier and Type | Method and Description |
---|---|
java.util.List<GenPolynomial<GenPolynomial<C>>> |
GB(int modv,
java.util.List<GenPolynomial<GenPolynomial<C>>> F)
Groebner base using pairlist class.
|
boolean |
isGBsimple(int modv,
java.util.List<GenPolynomial<GenPolynomial<C>>> F)
Groebner base simple test.
|
java.util.List<GenPolynomial<GenPolynomial<C>>> |
minimalGB(java.util.List<GenPolynomial<GenPolynomial<C>>> Gp)
Minimal ordered Groebner basis.
|
cancel, commonZeroTest, constructUnivariate, extGB, extGB, GB, GB, isGB, isGB, isGB, isGB, isGB, isGBidem, isMinimalGB, isReductionMatrix, isReductionMatrix, minimalExtendedGB, normalizeMatrix, normalizeZerosOnes, terminate, toString, univariateDegrees
protected final GreatestCommonDivisorAbstract<C extends GcdRingElem<C>> engine
protected final PseudoReduction<C extends GcdRingElem<C>> redRec
protected final PseudoReduction<GenPolynomial<C extends GcdRingElem<C>>> red
protected final RingFactory<GenPolynomial<C extends GcdRingElem<C>>> cofac
protected final RingFactory<C extends GcdRingElem<C>> baseCofac
public GroebnerBasePseudoRecSeq(RingFactory<GenPolynomial<C>> rf)
rf
- coefficient ring factory.public GroebnerBasePseudoRecSeq(RingFactory<GenPolynomial<C>> rf, PairList<GenPolynomial<C>> pl)
rf
- coefficient ring factory.pl
- pair selection strategypublic GroebnerBasePseudoRecSeq(PseudoReduction<GenPolynomial<C>> red, RingFactory<GenPolynomial<C>> rf, PairList<GenPolynomial<C>> pl)
red
- pseudo reduction engine. Note: red must be an instance
of PseudoReductionSeq.rf
- coefficient ring factory.pl
- pair selection strategypublic java.util.List<GenPolynomial<GenPolynomial<C>>> GB(int modv, java.util.List<GenPolynomial<GenPolynomial<C>>> F)
modv
- module variable number.F
- polynomial list.public java.util.List<GenPolynomial<GenPolynomial<C>>> minimalGB(java.util.List<GenPolynomial<GenPolynomial<C>>> Gp)
minimalGB
in interface GroebnerBase<GenPolynomial<C extends GcdRingElem<C>>>
minimalGB
in class GroebnerBaseAbstract<GenPolynomial<C extends GcdRingElem<C>>>
Gp
- a Groebner base.public boolean isGBsimple(int modv, java.util.List<GenPolynomial<GenPolynomial<C>>> F)
isGBsimple
in class GroebnerBaseAbstract<GenPolynomial<C extends GcdRingElem<C>>>
modv
- module variable number.F
- recursive polynomial list.