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

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

All Implemented Interfaces:

GroebnerBase<C>, java.io.Serializable

Direct Known Subclasses:

EGroebnerBaseSeq

public class DGroebnerBaseSeq<C extends RingElem<C>>
extends GroebnerBaseAbstract<C>

D-Groebner Base sequential algorithm. Implements D-Groebner bases and GB test. Note: Minimal reduced GBs are not unique. see BWK, section 10.1.

Author:

Heinz Kredel

See Also:

Serialized Form

Field Summary

protected DReduction<C>

red Reduction engine.

Constructor Summary

DGroebnerBaseSeq()
Constructor.

DGroebnerBaseSeq(DReduction<C> red)
Constructor.

Method Summary

java.util.List<GenPolynomial<C>>	GB(int modv, java.util.List<GenPolynomial<C>> F) D-Groebner base using pairlist class.
boolean	isGB(int modv, java.util.List<GenPolynomial<C>> F) D-Groebner base test.

Methods inherited from class edu.jas.ring.GroebnerBaseAbstract

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

Methods inherited from class java.lang.Object

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

Field Detail

red

protected DReduction<C extends RingElem<C>> red

Reduction engine.

Constructor Detail

DGroebnerBaseSeq

public DGroebnerBaseSeq()

Constructor.

DGroebnerBaseSeq

public DGroebnerBaseSeq(DReduction<C> red)

Constructor.

Parameters:

red - D-Reduction engine

Method Detail

isGB

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

D-Groebner base test.

Specified by:

isGB in interface GroebnerBase<C extends RingElem<C>>

Overrides:

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

Type parameter:

C coefficient type.

Parameters:

modv - module variable number.

F - polynomial list.

Returns:

true, if F is a D-Groebner base, else false.

GB

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

D-Groebner base using pairlist class.

Type parameter:

C coefficient type.

Parameters:

modv - module variable number.

F - polynomial list.

Returns:

GB(F) a D-Groebner base of F.