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>
,java.io.Serializable
public class GroebnerBaseSeqPairSeq<C extends RingElem<C>> extends GroebnerBaseAbstract<C>
Groebner Base sequential algorithm. Implements Groebner bases and GB test. Uses sequential pair list class.- Author:
- Heinz Kredel
- See Also:
- Serialized Form
-
-
Field Summary
-
Fields inherited from class edu.jas.gb.GroebnerBaseAbstract
blas, red, strategy
-
-
Constructor Summary
Constructors Constructor Description GroebnerBaseSeqPairSeq()
Constructor.GroebnerBaseSeqPairSeq(Reduction<C> red)
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
-
GroebnerBaseSeqPairSeq
public GroebnerBaseSeqPairSeq()
Constructor.
-
GroebnerBaseSeqPairSeq
public GroebnerBaseSeqPairSeq(Reduction<C> red)
Constructor.- Parameters:
red
- Reduction engine
-
-
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.
-
-