C
- coefficient typepublic class WordGroebnerBasePseudoSeq<C extends GcdRingElem<C>> extends WordGroebnerBaseAbstract<C>
Modifier and Type | Field and Description |
---|---|
protected RingFactory<C> |
cofac
Coefficient ring factory.
|
red, strategy
Constructor and Description |
---|
WordGroebnerBasePseudoSeq(RingFactory<C> rf)
Constructor.
|
WordGroebnerBasePseudoSeq(RingFactory<C> rf,
WordPseudoReductionSeq<C> red)
Constructor.
|
WordGroebnerBasePseudoSeq(RingFactory<C> rf,
WordPseudoReductionSeq<C> red,
WordPairList<C> pl)
Constructor.
|
Modifier and Type | Method and Description |
---|---|
C |
baseContent(GenWordPolynomial<C> P)
GenWordPolynomial base coefficient content.
|
GenWordPolynomial<C> |
basePrimitivePart(GenWordPolynomial<C> P)
GenWordPolynomial base coefficient primitive part.
|
java.util.List<GenWordPolynomial<C>> |
basePrimitivePart(java.util.List<GenWordPolynomial<C>> F)
List of GenWordPolynomial base coefficient primitive part.
|
java.util.List<GenWordPolynomial<C>> |
GB(java.util.List<GenWordPolynomial<C>> F)
Word Groebner base using word pairlist class.
|
cancel, commonZeroTest, isGB, isMinimalGB, minimalGB, normalizeZerosOnes, terminate, toString, univariateDegrees
protected final RingFactory<C extends GcdRingElem<C>> cofac
public WordGroebnerBasePseudoSeq(RingFactory<C> rf)
rf
- coefficient ring factory.public WordGroebnerBasePseudoSeq(RingFactory<C> rf, WordPseudoReductionSeq<C> red)
rf
- coefficient ring factory.red
- Reduction enginepublic WordGroebnerBasePseudoSeq(RingFactory<C> rf, WordPseudoReductionSeq<C> red, WordPairList<C> pl)
rf
- coefficient ring factory.red
- Reduction enginepl
- pair selection strategypublic java.util.List<GenWordPolynomial<C>> GB(java.util.List<GenWordPolynomial<C>> F)
GB
in interface WordGroebnerBase<C extends GcdRingElem<C>>
GB
in class WordGroebnerBaseAbstract<C extends GcdRingElem<C>>
F
- word polynomial list.public C baseContent(GenWordPolynomial<C> P)
P
- GenWordPolynomial.public GenWordPolynomial<C> basePrimitivePart(GenWordPolynomial<C> P)
P
- GenWordPolynomial.public java.util.List<GenWordPolynomial<C>> basePrimitivePart(java.util.List<GenWordPolynomial<C>> F)
F
- list of GenWordPolynomials.