Package edu.jas.gb
Class GroebnerBaseSeqPairSeq<C extends RingElem<C>>
java.lang.Object
edu.jas.gb.GroebnerBaseAbstract<C>
edu.jas.gb.GroebnerBaseSeqPairSeq<C>
- Type Parameters:
C
- coefficient type
- All Implemented Interfaces:
GroebnerBase<C>
,Serializable
Groebner Base sequential algorithm. Implements Groebner bases and GB test.
Uses sequential pair list class.
- See Also:
-
Field Summary
FieldsModifier and TypeFieldDescriptionprivate static final boolean
private static final org.apache.logging.log4j.Logger
Fields inherited from class edu.jas.gb.GroebnerBaseAbstract
blas, red, strategy
-
Constructor Summary
Constructors -
Method Summary
Modifier and TypeMethodDescriptionextGB
(int modv, List<GenPolynomial<C>> F) Extended Groebner base using critical pair class.GB
(int modv, List<GenPolynomial<C>> F) Groebner base using pairlist class.Methods inherited from class edu.jas.gb.GroebnerBaseAbstract
cancel, commonZeroTest, constructUnivariate, criterion3, extGB, GB, GB, GB, isGB, isGB, isGB, isGB, isGB, isGB, isGBidem, isGBsimple, isMinimalGB, isMinReductionMatrix, isMinReductionMatrix, isReductionMatrix, isReductionMatrix, minimalExtendedGB, minimalGB, normalizeMatrix, normalizeZerosOnes, terminate, toString, univariateDegrees
-
Field Details
-
logger
private static final org.apache.logging.log4j.Logger logger -
debug
private static final boolean debug
-
-
Constructor Details
-
GroebnerBaseSeqPairSeq
public GroebnerBaseSeqPairSeq()Constructor. -
GroebnerBaseSeqPairSeq
Constructor.- Parameters:
red
- Reduction engine
-
-
Method Details
-
GB
Groebner base using pairlist class.- Parameters:
modv
- module variable number.F
- polynomial list.- Returns:
- GB(F) a Groebner base of F.
-
extGB
Extended Groebner base using critical pair class.- Specified by:
extGB
in interfaceGroebnerBase<C extends RingElem<C>>
- Overrides:
extGB
in classGroebnerBaseAbstract<C extends RingElem<C>>
- Parameters:
modv
- module variable number.F
- polynomial list.- Returns:
- a container for an extended Groebner base of F.
-