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