Package edu.jas.gb
Class WordGroebnerBaseAbstract<C extends RingElem<C>>
java.lang.Object
edu.jas.gb.WordGroebnerBaseAbstract<C>
- Type Parameters:
C
- coefficient type
- All Implemented Interfaces:
WordGroebnerBase<C>
,Serializable
- Direct Known Subclasses:
WordGroebnerBasePseudoRecSeq
,WordGroebnerBasePseudoSeq
,WordGroebnerBaseSeq
public abstract class WordGroebnerBaseAbstract<C extends RingElem<C>>
extends Object
implements WordGroebnerBase<C>
Non-commutative Groebner Bases abstract class. Implements common Groebner
bases and GB test methods.
- See Also:
-
Field Summary
FieldsModifier and TypeFieldDescriptionprivate static final boolean
private static final org.apache.logging.log4j.Logger
final WordReduction
<C> Reduction engine.final WordPairList
<C> Strategy for pair selection. -
Constructor Summary
ConstructorsConstructorDescriptionConstructor.Constructor.WordGroebnerBaseAbstract
(WordReduction<C> red, WordPairList<C> pl) Constructor. -
Method Summary
Modifier and TypeMethodDescriptionint
cancel()
Cancel ThreadPool.int
Common zero test, test if univariate leading words exist for all variables.abstract List
<GenWordPolynomial<C>> GB
(List<GenWordPolynomial<C>> F) Groebner base using pairlist class.boolean
isGB
(List<GenWordPolynomial<C>> F) Word Groebner base test.boolean
isMinimalGB
(List<GenWordPolynomial<C>> Gp) Test for minimal ordered Groebner basis.minimalGB
(List<GenWordPolynomial<C>> Gp) Minimal ordered Groebner basis.Normalize polynomial list.void
Cleanup and terminate ThreadPool.toString()
Get the String representation with GB engines.Univariate head term degrees.
-
Field Details
-
logger
private static final org.apache.logging.log4j.Logger logger -
debug
private static final boolean debug -
red
Reduction engine. -
strategy
Strategy for pair selection.
-
-
Constructor Details
-
WordGroebnerBaseAbstract
public WordGroebnerBaseAbstract()Constructor. -
WordGroebnerBaseAbstract
Constructor.- Parameters:
red
- Word Reduction engine
-
WordGroebnerBaseAbstract
Constructor.- Parameters:
red
- Word Reduction enginepl
- Word pair selection strategy
-
-
Method Details
-
toString
Get the String representation with GB engines. -
normalizeZerosOnes
Normalize polynomial list.- Parameters:
A
- list of polynomials.- Returns:
- list of polynomials with zeros removed and ones/units reduced.
-
commonZeroTest
Common zero test, test if univariate leading words exist for all variables.- Parameters:
F
- polynomial list.- Returns:
- -1, 0 or 1 if "dimension"(ideal(F)) &eq; -1, 0 or ≥ 1.
-
univariateDegrees
Univariate head term degrees.- Parameters:
A
- list of polynomials.- Returns:
- a list of the degrees of univariate head terms.
-
isGB
Word Groebner base test.- Specified by:
isGB
in interfaceWordGroebnerBase<C extends RingElem<C>>
- Parameters:
F
- Word polynomial list.- Returns:
- true, if F is a Groebner base, else false.
-
GB
Groebner base using pairlist class.- Specified by:
GB
in interfaceWordGroebnerBase<C extends RingElem<C>>
- Parameters:
F
- polynomial list.- Returns:
- GB(F) a Groebner base of F.
-
minimalGB
Minimal ordered Groebner basis.- Specified by:
minimalGB
in interfaceWordGroebnerBase<C extends RingElem<C>>
- Parameters:
Gp
- a Groebner base.- Returns:
- a reduced Groebner base of Gp.
-
isMinimalGB
Test for minimal ordered Groebner basis.- Parameters:
Gp
- an ideal base.- Returns:
- true, if Gp is a reduced minimal Groebner base.
-
terminate
public void terminate()Cleanup and terminate ThreadPool. -
cancel
public int cancel()Cancel ThreadPool.
-