Package edu.jas.gbufd
Class WordGroebnerBasePseudoSeq<C extends GcdRingElem<C>>
java.lang.Object
edu.jas.gb.WordGroebnerBaseAbstract<C>
edu.jas.gbufd.WordGroebnerBasePseudoSeq<C>
- Type Parameters:
C
- coefficient type
- All Implemented Interfaces:
WordGroebnerBase<C>
,Serializable
public class WordGroebnerBasePseudoSeq<C extends GcdRingElem<C>>
extends WordGroebnerBaseAbstract<C>
Non-commutative word Groebner Base sequential algorithm. Implements Groebner
bases and GB test. Coefficients can for example be integers or (commutative)
univariate polynomials.
- See Also:
-
Field Summary
FieldsModifier and TypeFieldDescriptionprotected final RingFactory
<C> Coefficient ring factory.private static final boolean
private static final org.apache.logging.log4j.Logger
Fields inherited from class edu.jas.gb.WordGroebnerBaseAbstract
red, strategy
-
Constructor Summary
ConstructorsConstructorDescriptionConstructor.WordGroebnerBasePseudoSeq
(RingFactory<C> rf, WordPseudoReductionSeq<C> red) Constructor.WordGroebnerBasePseudoSeq
(RingFactory<C> rf, WordPseudoReductionSeq<C> red, WordPairList<C> pl) Constructor. -
Method Summary
Modifier and TypeMethodDescriptionGenWordPolynomial base coefficient content.GenWordPolynomial base coefficient primitive part.List of GenWordPolynomial base coefficient primitive part.GB
(List<GenWordPolynomial<C>> F) Word Groebner base using word pairlist class.Methods inherited from class edu.jas.gb.WordGroebnerBaseAbstract
cancel, commonZeroTest, isGB, isMinimalGB, minimalGB, normalizeZerosOnes, terminate, toString, univariateDegrees
-
Field Details
-
logger
private static final org.apache.logging.log4j.Logger logger -
debug
private static final boolean debug -
cofac
Coefficient ring factory.
-
-
Constructor Details
-
WordGroebnerBasePseudoSeq
Constructor.- Parameters:
rf
- coefficient ring factory.
-
WordGroebnerBasePseudoSeq
Constructor.- Parameters:
rf
- coefficient ring factory.red
- Reduction engine
-
WordGroebnerBasePseudoSeq
public WordGroebnerBasePseudoSeq(RingFactory<C> rf, WordPseudoReductionSeq<C> red, WordPairList<C> pl) Constructor.- Parameters:
rf
- coefficient ring factory.red
- Reduction enginepl
- pair selection strategy
-
-
Method Details
-
GB
Word Groebner base using word pairlist class.- Specified by:
GB
in interfaceWordGroebnerBase<C extends GcdRingElem<C>>
- Specified by:
GB
in classWordGroebnerBaseAbstract<C extends GcdRingElem<C>>
- Parameters:
F
- word polynomial list.- Returns:
- GB(F) a finite non-commutative Groebner base of F, if it exists.
-
baseContent
GenWordPolynomial base coefficient content.- Parameters:
P
- GenWordPolynomial.- Returns:
- cont(P).
-
basePrimitivePart
GenWordPolynomial base coefficient primitive part.- Parameters:
P
- GenWordPolynomial.- Returns:
- pp(P).
-
basePrimitivePart
List of GenWordPolynomial base coefficient primitive part.- Parameters:
F
- list of GenWordPolynomials.- Returns:
- pp(F).
-