edu.jas.ring
Class GroebnerBaseSeq<C extends RingElem<C>>

java.lang.Object
  edu.jas.ring.GroebnerBaseAbstract<C>
      edu.jas.ring.GroebnerBaseSeq<C>

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.ring.GroebnerBaseAbstract

red

Constructor Summary

GroebnerBaseSeq()
Constructor.

GroebnerBaseSeq(Reduction<C> red)
Constructor.

Method Summary

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.ring.GroebnerBaseAbstract

extGB, extGB, GB, isGB, isGB, isReductionMatrix, isReductionMatrix, minimalGB

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

Method Detail

GB

public java.util.List<GenPolynomial<C>> GB(int modv,
                                           java.util.List<GenPolynomial<C>> F)

Groebner base using pairlist class.

Type parameter:

C coefficient type.

Parameters:

modv - module variable number.

F - polynomial list.

Returns:

GB(F) a Groebner base of F.