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.- Author:
- Heinz Kredel
- See Also:
GBAlgorithmBuilder
,GBFactory
, Serialized Form
-
-
Field Summary
-
Fields inherited from class edu.jas.gb.GroebnerBaseAbstract
blas, red, strategy
-
-
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, extGB, GB, GB, GB, isGB, isGB, isGB, isGB, isGB, isGB, isGBidem, isGBsimple, isMinimalGB, isMinReductionMatrix, isMinReductionMatrix, isReductionMatrix, isReductionMatrix, minimalExtendedGB, minimalGB, normalizeMatrix, normalizeZerosOnes, terminate, toString, univariateDegrees
-
-
-
-
Constructor Detail
-
GroebnerBaseSeq
public GroebnerBaseSeq()
Constructor.
-
GroebnerBaseSeq
public GroebnerBaseSeq(Reduction<C> red)
Constructor.- Parameters:
red
- Reduction engine
-
GroebnerBaseSeq
public GroebnerBaseSeq(PairList<C> pl)
Constructor.- Parameters:
pl
- pair selection strategy
-
GroebnerBaseSeq
public GroebnerBaseSeq(Reduction<C> red, PairList<C> pl)
Constructor.- Parameters:
red
- Reduction enginepl
- pair selection strategy
-
-
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.
-
-