C
- coefficient typepublic class WordGroebnerBasePseudoRecSeq<C extends GcdRingElem<C>> extends WordGroebnerBaseAbstract<GenPolynomial<C>>
Modifier and Type | Field and Description |
---|---|
protected GenPolynomialRing<C> |
cofac
Coefficient ring factory.
|
protected GreatestCommonDivisorAbstract<C> |
engine
Greatest common divisor engine for coefficient content and primitive
parts.
|
protected WordPseudoReduction<GenPolynomial<C>> |
red
Reduction engine.
|
protected WordPseudoReduction<C> |
redRec
Reduction engine.
|
strategy
Constructor and Description |
---|
WordGroebnerBasePseudoRecSeq(RingFactory<GenPolynomial<C>> rf)
Constructor.
|
WordGroebnerBasePseudoRecSeq(RingFactory<GenPolynomial<C>> rf,
WordPseudoReductionSeq<GenPolynomial<C>> red)
Constructor.
|
WordGroebnerBasePseudoRecSeq(RingFactory<GenPolynomial<C>> rf,
WordPseudoReductionSeq<GenPolynomial<C>> red,
WordPairList<GenPolynomial<C>> pl)
Constructor.
|
Modifier and Type | Method and Description |
---|---|
java.util.List<GenWordPolynomial<GenPolynomial<C>>> |
GB(java.util.List<GenWordPolynomial<GenPolynomial<C>>> F)
Word Groebner base using word pairlist class.
|
boolean |
isGB(java.util.List<GenWordPolynomial<GenPolynomial<C>>> F)
Wird Groebner base simple test.
|
java.util.List<GenWordPolynomial<GenPolynomial<C>>> |
minimalGB(java.util.List<GenWordPolynomial<GenPolynomial<C>>> Gp)
Minimal ordered Groebner basis.
|
GenPolynomial<C> |
recursiveContent(GenWordPolynomial<GenPolynomial<C>> P)
GenWordPolynomial recursive coefficient content.
|
GenWordPolynomial<GenPolynomial<C>> |
recursivePrimitivePart(GenWordPolynomial<GenPolynomial<C>> P)
GenWordPolynomial recursive coefficient primitive part.
|
java.util.List<GenWordPolynomial<GenPolynomial<C>>> |
recursivePrimitivePart(java.util.List<GenWordPolynomial<GenPolynomial<C>>> F)
List of GenWordPolynomial recursive coefficient primitive part.
|
cancel, commonZeroTest, isMinimalGB, normalizeZerosOnes, terminate, toString, univariateDegrees
protected final GreatestCommonDivisorAbstract<C extends GcdRingElem<C>> engine
protected final WordPseudoReduction<C extends GcdRingElem<C>> redRec
protected final WordPseudoReduction<GenPolynomial<C extends GcdRingElem<C>>> red
protected final GenPolynomialRing<C extends GcdRingElem<C>> cofac
public WordGroebnerBasePseudoRecSeq(RingFactory<GenPolynomial<C>> rf)
rf
- coefficient ring factory.public WordGroebnerBasePseudoRecSeq(RingFactory<GenPolynomial<C>> rf, WordPseudoReductionSeq<GenPolynomial<C>> red)
rf
- coefficient ring factory.red
- Reduction enginepublic WordGroebnerBasePseudoRecSeq(RingFactory<GenPolynomial<C>> rf, WordPseudoReductionSeq<GenPolynomial<C>> red, WordPairList<GenPolynomial<C>> pl)
rf
- coefficient ring factory.red
- Reduction enginepl
- pair selection strategypublic java.util.List<GenWordPolynomial<GenPolynomial<C>>> GB(java.util.List<GenWordPolynomial<GenPolynomial<C>>> F)
GB
in interface WordGroebnerBase<GenPolynomial<C extends GcdRingElem<C>>>
GB
in class WordGroebnerBaseAbstract<GenPolynomial<C extends GcdRingElem<C>>>
F
- word polynomial list.public java.util.List<GenWordPolynomial<GenPolynomial<C>>> minimalGB(java.util.List<GenWordPolynomial<GenPolynomial<C>>> Gp)
minimalGB
in interface WordGroebnerBase<GenPolynomial<C extends GcdRingElem<C>>>
minimalGB
in class WordGroebnerBaseAbstract<GenPolynomial<C extends GcdRingElem<C>>>
Gp
- a Groebner base.public boolean isGB(java.util.List<GenWordPolynomial<GenPolynomial<C>>> F)
isGB
in interface WordGroebnerBase<GenPolynomial<C extends GcdRingElem<C>>>
isGB
in class WordGroebnerBaseAbstract<GenPolynomial<C extends GcdRingElem<C>>>
F
- recursive polynomial list.public GenPolynomial<C> recursiveContent(GenWordPolynomial<GenPolynomial<C>> P)
P
- recursive GenWordPolynomial.public GenWordPolynomial<GenPolynomial<C>> recursivePrimitivePart(GenWordPolynomial<GenPolynomial<C>> P)
P
- recursive GenWordPolynomial.public java.util.List<GenWordPolynomial<GenPolynomial<C>>> recursivePrimitivePart(java.util.List<GenWordPolynomial<GenPolynomial<C>>> F)
F
- list of recursive GenWordPolynomials.