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 and Description
GroebnerBaseSeqIter() Constructor.
GroebnerBaseSeqIter(PairList<C> pl) Constructor.
GroebnerBaseSeqIter(Reduction<C> red) Constructor.
GroebnerBaseSeqIter(Reduction<C> red, PairList<C> pl) Constructor.

Method Summary

Modifier and Type	Method and 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, isReductionMatrix, isReductionMatrix, minimalExtendedGB, minimalGB, normalizeMatrix, normalizeZerosOnes, terminate, toString, univariateDegrees

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

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 engine

pl - 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).