Package edu.jas.gb
Interface WordGroebnerBase<C extends RingElem<C>>
- Type Parameters:
C
- coefficient type
- All Superinterfaces:
Serializable
- All Known Implementing Classes:
WordGroebnerBaseAbstract
,WordGroebnerBasePseudoRecSeq
,WordGroebnerBasePseudoSeq
,WordGroebnerBaseSeq
Non-commutative Groebner Bases interface for GenWordPolynomials. Defines
methods for Groebner bases and GB test.
-
Method Summary
Modifier and TypeMethodDescriptionGB
(List<GenWordPolynomial<C>> F) Groebner base using pairlist class.boolean
isGB
(List<GenWordPolynomial<C>> F) Groebner base test.minimalGB
(List<GenWordPolynomial<C>> Gp) Minimal ordered groebner basis.
-
Method Details
-
isGB
Groebner base test.- Parameters:
F
- word polynomial list.- Returns:
- true, if F is a Groebner base, else false.
-
GB
Groebner base using pairlist class.- Parameters:
F
- word polynomial list.- Returns:
- GB(F) a non-commutative Groebner base of F.
-
minimalGB
Minimal ordered groebner basis.- Parameters:
Gp
- a Word Groebner base.- Returns:
- a reduced Word Groebner base of Gp.
-