Package edu.jas.gb
Class GroebnerBaseSeqIter<C extends RingElem<C>>
- java.lang.Object
-
- edu.jas.gb.GroebnerBaseAbstract<C>
-
- edu.jas.gb.GroebnerBaseSeqIter<C>
-
- Type Parameters:
C
- coefficient type
- All Implemented Interfaces:
GroebnerBase<C>
,java.io.Serializable
public class GroebnerBaseSeqIter<C extends RingElem<C>> extends GroebnerBaseAbstract<C>
Groebner Base sequential iterative 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 GroebnerBaseSeqIter()
Constructor.GroebnerBaseSeqIter(PairList<C> pl)
Constructor.GroebnerBaseSeqIter(Reduction<C> red)
Constructor.GroebnerBaseSeqIter(Reduction<C> red, PairList<C> pl)
Constructor.
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description java.util.List<GenPolynomial<C>>
GB(int modv, java.util.List<GenPolynomial<C>> F)
Groebner base using pairlist class, iterative algorithm.java.util.List<GenPolynomial<C>>
GB(int modv, java.util.List<GenPolynomial<C>> G, GenPolynomial<C> f)
Groebner base using pairlist class.-
Methods inherited from class edu.jas.gb.GroebnerBaseAbstract
cancel, commonZeroTest, constructUnivariate, extGB, 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
-
GroebnerBaseSeqIter
public GroebnerBaseSeqIter()
Constructor.
-
GroebnerBaseSeqIter
public GroebnerBaseSeqIter(Reduction<C> red)
Constructor.- Parameters:
red
- Reduction engine
-
GroebnerBaseSeqIter
public GroebnerBaseSeqIter(PairList<C> pl)
Constructor.- Parameters:
pl
- pair selection strategy
-
GroebnerBaseSeqIter
public GroebnerBaseSeqIter(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, iterative algorithm.- Parameters:
modv
- module variable number.F
- polynomial list.- Returns:
- GB(F) a Groebner base of F.
-
GB
public java.util.List<GenPolynomial<C>> GB(int modv, java.util.List<GenPolynomial<C>> G, GenPolynomial<C> f)
Groebner base using pairlist class.- Parameters:
modv
- module variable number.G
- polynomial list of a Groebner base.f
- polynomial.- Returns:
- GB(G,f) a Groebner base of G+(f).
-
-