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:

Serialized Form

Field Summary

Fields inherited from class edu.jas.gb.GroebnerBaseAbstract

blas, red, strategy

Constructor Summary

GroebnerBaseSeq()
Constructor.

GroebnerBaseSeq(Reduction<C> red)
Constructor.

GroebnerBaseSeq(Reduction<C> red, PairList<C> pl)
Constructor.

Method Summary

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, extGB, GB, isGB, isGB, isReductionMatrix, isReductionMatrix, minimalExtendedGB, minimalGB, normalizeMatrix, terminate

Methods inherited from class java.lang.Object

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

Constructor Detail

GroebnerBaseSeq

public GroebnerBaseSeq()

Constructor.

GroebnerBaseSeq

public GroebnerBaseSeq(Reduction<C> red)

Constructor.

Parameters:

red - Reduction engine

GroebnerBaseSeq

public GroebnerBaseSeq(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.

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 interface GroebnerBase<C extends RingElem<C>>

Overrides:

extGB in class GroebnerBaseAbstract<C extends RingElem<C>>

Parameters:

modv - module variable number.

F - polynomial list.

Returns:

a container for an extended Groebner base of F.