Class RGroebnerBasePseudoSeq<C extends RegularRingElem<C>>

java.lang.Object

edu.jas.gb.GroebnerBaseAbstract<C>

edu.jas.gbufd.RGroebnerBaseSeq<C>

edu.jas.gbufd.RGroebnerBasePseudoSeq<C>

Type Parameters:

C - coefficient type

All Implemented Interfaces:

GroebnerBase<C>, Serializable

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

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

See Also:

• Serialized Form

Field Summary

Fields

Modifier and Type	Field	Description
protected final RingFactory<C>	cofac	Coefficient ring factory.
private static final boolean	debug
protected final GreatestCommonDivisorAbstract<C>	engine	Greatest common divisor engine for coefficient content and primitive parts.
private static final org.apache.logging.log4j.Logger	logger
protected final RPseudoReduction<C>	red	Pseudo reduction engine.

Fields inherited from class RGroebnerBaseSeq

rred

Fields inherited from class GroebnerBaseAbstract

blas, strategy

Constructor Summary

Constructors

Constructor	Description
RGroebnerBasePseudoSeq(RPseudoReduction<C> red, RingFactory<C> rf)	Constructor.
RGroebnerBasePseudoSeq(RingFactory<C> rf)	Constructor.

Method Summary

Modifier and Type	Method	Description
List<GenPolynomial<C>>	GB(int modv, List<GenPolynomial<C>> F)	R-Groebner base using pairlist class.
List<GenPolynomial<C>>	minimalGB(List<GenPolynomial<C>> Gp)	Minimal ordered Groebner basis.
(package private) List<GenPolynomial<C>>	minimalGBtesting(List<GenPolynomial<C>> Gp)

Methods inherited from class RGroebnerBaseSeq

isGB

Methods inherited from class GroebnerBaseAbstract

cancel, commonZeroTest, constructUnivariate, extGB, extGB, GB, GB, GB, isGB, isGB, isGB, isGB, isGB, isGBidem, isGBsimple, isMinimalGB, isMinReductionMatrix, isMinReductionMatrix, isReductionMatrix, isReductionMatrix, minimalExtendedGB, normalizeMatrix, normalizeZerosOnes, terminate, toString, univariateDegrees

Methods inherited from class Object

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

Field Details

logger

private static final org.apache.logging.log4j.Logger logger

debug

private static final boolean debug

engine

protected final GreatestCommonDivisorAbstract<C extends RegularRingElem<C>> engine

Greatest common divisor engine for coefficient content and primitive parts.

red

protected final RPseudoReduction<C extends RegularRingElem<C>> red

Pseudo reduction engine.

cofac

protected final RingFactory<C extends RegularRingElem<C>> cofac

Coefficient ring factory.

Constructor Details

RGroebnerBasePseudoSeq

public RGroebnerBasePseudoSeq(RingFactory<C> rf)

Constructor.

Parameters:

rf - coefficient ring factory.

RGroebnerBasePseudoSeq

public RGroebnerBasePseudoSeq(RPseudoReduction<C> red,
 RingFactory<C> rf)

Constructor.

Parameters:

red - R-pseudo-Reduction engine

rf - coefficient ring factory.

Method Details

GB

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

R-Groebner base using pairlist class.

Specified by:

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

Overrides:

GB in class RGroebnerBaseSeq<C extends RegularRingElem<C>>

Parameters:

modv - module variable number.

F - polynomial list.

Returns:

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

minimalGB

public List<GenPolynomial<C>> minimalGB(List<GenPolynomial<C>> Gp)

Minimal ordered Groebner basis.

Specified by:

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

Overrides:

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

Parameters:

Gp - a Groebner base.

Returns:

a reduced Groebner base of Gp.

minimalGBtesting

List<GenPolynomial<C>> minimalGBtesting(List<GenPolynomial<C>> Gp)