edu.jas.gbufd
Class RGroebnerBaseSeq<C extends RegularRingElem<C>>

java.lang.Object
  edu.jas.gb.GroebnerBaseAbstract<C>
      edu.jas.gbufd.RGroebnerBaseSeq<C>

Type Parameters:

C - coefficient type

All Implemented Interfaces:

GroebnerBase<C>, java.io.Serializable

Direct Known Subclasses:

RGroebnerBasePseudoSeq

public class RGroebnerBaseSeq<C extends RegularRingElem<C>>
extends GroebnerBaseAbstract<C>

Regular ring Groebner Base sequential algorithm. Implements R-Groebner bases and GB test.

Author:

Heinz Kredel

See Also:

Serialized Form

Field Summary

protected RReduction<C>

red Reduction engine.

Fields inherited from class edu.jas.gb.GroebnerBaseAbstract

blas, strategy

Constructor Summary

RGroebnerBaseSeq()
Constructor.

RGroebnerBaseSeq(RReduction<C> red)
Constructor.

Method Summary

java.util.List<GenPolynomial<C>>	GB(int modv, java.util.List<GenPolynomial<C>> F) R-Groebner base using pairlist class.
boolean	isGB(int modv, java.util.List<GenPolynomial<C>> F) R-Groebner base test.
java.util.List<GenPolynomial<C>>	minimalGB(java.util.List<GenPolynomial<C>> Gp) Minimal ordered Groebner basis.

Methods inherited from class edu.jas.gb.GroebnerBaseAbstract

cancel, commonZeroTest, extGB, extGB, GB, isGB, isReductionMatrix, isReductionMatrix, minimalExtendedGB, normalizeMatrix, terminate

Methods inherited from class java.lang.Object

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

Field Detail

red

protected RReduction<C extends RegularRingElem<C>> red

Reduction engine.

Constructor Detail

RGroebnerBaseSeq

public RGroebnerBaseSeq()

Constructor.

RGroebnerBaseSeq

public RGroebnerBaseSeq(RReduction<C> red)

Constructor.

Parameters:

red - R-Reduction engine

Method Detail

isGB

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

R-Groebner base test.

Specified by:

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

Overrides:

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

Parameters:

modv - module variable number.

F - polynomial list.

Returns:

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

GB

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

R-Groebner base using pairlist class.

Parameters:

modv - module variable number.

F - polynomial list.

Returns:

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

minimalGB

public java.util.List<GenPolynomial<C>> minimalGB(java.util.List<GenPolynomial<C>> Gp)

Minimal ordered Groebner basis.

Specified by:

minimalGB in interface GroebnerBase<C extends RegularRingElem<C>>

Overrides:

minimalGB in class GroebnerBaseAbstract<C extends RegularRingElem<C>>

Parameters:

Gp - a Groebner base.

Returns:

a reduced Groebner base of Gp.