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.
|
blas, strategy
Constructor and Description |
---|
GroebnerBasePseudoRecSeq(PseudoReduction<GenPolynomial<C>> red,
RingFactory<GenPolynomial<C>> rf)
Constructor.
|
GroebnerBasePseudoRecSeq(RingFactory<GenPolynomial<C>> rf)
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.
|
java.util.List<GenPolynomial<GenPolynomial<C>>> |
minimalGB(java.util.List<GenPolynomial<GenPolynomial<C>>> Gp)
Minimal ordered Groebner basis.
|
cancel, commonZeroTest, constructUnivariate, extGB, extGB, GB, isGB, isGB, isGB, isGB, isGBidem, isGBsimple, isMinimalGB, isReductionMatrix, isReductionMatrix, minimalExtendedGB, normalizeMatrix, terminate, toString, univariateDegrees
protected final GreatestCommonDivisorAbstract<C extends GcdRingElem<C>> engine
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(PseudoReduction<GenPolynomial<C>> red, RingFactory<GenPolynomial<C>> rf)
red
- pseudo reduction engine.rf
- coefficient ring factory. Note: red must be an instance
of PseudoReductionSeq.public 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.