Package edu.jas.gb
Class WordGroebnerBaseSeq<C extends RingElem<C>>
java.lang.Object
edu.jas.gb.WordGroebnerBaseAbstract<C>
edu.jas.gb.WordGroebnerBaseSeq<C>
- Type Parameters:
C
- coefficient type
- All Implemented Interfaces:
WordGroebnerBase<C>
,Serializable
Non-commutative word Groebner Base sequential algorithm. Implements
Groebner bases and GB test. Run-time for GB computation is limited
to 20 seconds. To change this limit use
wbb.timestatus.setLimit(newLimit);or decativate it for infinite running time
wbb.timestatus.setNotActive();
- See Also:
-
Field Summary
FieldsModifier and TypeFieldDescriptionprivate static final boolean
private static final org.apache.logging.log4j.Logger
final LocalTimeStatus
Fields inherited from class edu.jas.gb.WordGroebnerBaseAbstract
red, strategy
-
Constructor Summary
ConstructorsConstructorDescriptionConstructor.Constructor.WordGroebnerBaseSeq
(WordReduction<C> red, WordPairList<C> pl) Constructor. -
Method Summary
Modifier and TypeMethodDescriptionGB
(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 -
timestatus
-
-
Constructor Details
-
WordGroebnerBaseSeq
public WordGroebnerBaseSeq()Constructor. -
WordGroebnerBaseSeq
Constructor.- Parameters:
red
- Reduction engine
-
WordGroebnerBaseSeq
Constructor.- Parameters:
red
- Reduction enginepl
- pair selection strategy
-
-
Method Details
-
GB
Word Groebner base using word pairlist class.- Specified by:
GB
in interfaceWordGroebnerBase<C extends RingElem<C>>
- Specified by:
GB
in classWordGroebnerBaseAbstract<C extends RingElem<C>>
- Parameters:
F
- word polynomial list.- Returns:
- GB(F) a finite non-commutative Groebner base of F, if it exists.
-