Package edu.jas.gb
Class GroebnerBaseSeq<C extends RingElem<C>>
- java.lang.Object
-
- edu.jas.gb.GroebnerBaseAbstract<C>
-
- edu.jas.gb.GroebnerBaseSeq<C>
-
- Type Parameters:
C
- coefficient type
- All Implemented Interfaces:
GroebnerBase<C>
,java.io.Serializable
public class GroebnerBaseSeq<C extends RingElem<C>> extends GroebnerBaseAbstract<C>
Groebner Base sequential algorithm. Implements Groebner bases and GB test.- See Also:
GBAlgorithmBuilder
,GBFactory
, Serialized Form
-
-
Constructor Summary
Constructors Constructor Description GroebnerBaseSeq()
Constructor.GroebnerBaseSeq(PairList<C> pl)
Constructor.GroebnerBaseSeq(Reduction<C> red)
Constructor.GroebnerBaseSeq(Reduction<C> red, PairList<C> pl)
Constructor.
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description ExtendedGB<C>
extGB(int modv, java.util.List<GenPolynomial<C>> F)
Extended Groebner base using critical pair class.java.util.List<GenPolynomial<C>>
GB(int modv, java.util.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
-
-
-
-
Method Detail
-
GB
public java.util.List<GenPolynomial<C>> GB(int modv, java.util.List<GenPolynomial<C>> F)
Groebner base using pairlist class.- Parameters:
modv
- module variable number.F
- polynomial list.- Returns:
- GB(F) a Groebner base of F.
-
extGB
public ExtendedGB<C> extGB(int modv, java.util.List<GenPolynomial<C>> F)
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.
-
-