Class GroebnerBaseRational<C extends BigRational>

java.lang.Object

edu.jas.gb.GroebnerBaseAbstract<BigRational>

edu.jas.gbufd.GroebnerBaseRational<C>

Type Parameters:

C - BigRational coefficient type

All Implemented Interfaces:

GroebnerBase<BigRational>, Serializable

public class GroebnerBaseRational<C extends BigRational>
extends GroebnerBaseAbstract<BigRational>

Groebner Base sequential algorithm for rational coefficients, fraction free computation. Implements Groebner bases.

See Also:

• Serialized Form

Field Summary

Fields

Modifier and Type	Field	Description
final GroebnerBaseAbstract<BigInteger>	bba
private static final boolean	debug
private static final org.apache.logging.log4j.Logger	logger

Fields inherited from class GroebnerBaseAbstract

blas, red, strategy

Constructor Summary

Constructors

Constructor	Description
GroebnerBaseRational()	Constructor.
GroebnerBaseRational(int threads)	Constructor.
GroebnerBaseRational(int threads, PairList<BigInteger> pl)	Constructor.
GroebnerBaseRational(GroebnerBaseAbstract<BigInteger> bba)	Constructor.
GroebnerBaseRational(PairList<BigInteger> pl)	Constructor.

Method Summary

Modifier and Type	Method	Description
int	cancel()	Cancel ThreadPool.
List<GenPolynomial<BigRational>>	GB(int modv, List<GenPolynomial<BigRational>> F)	Groebner base using fraction free computation.
List<GenPolynomial<BigRational>>	minimalGB(List<GenPolynomial<BigRational>> Gp)	Minimal ordered Groebner basis.
void	terminate()	Cleanup and terminate ThreadPool.
String	toString()	Get the String representation with GB engines.

Methods inherited from class GroebnerBaseAbstract

commonZeroTest, constructUnivariate, extGB, extGB, GB, GB, GB, isGB, isGB, isGB, isGB, isGB, isGB, isGBidem, isGBsimple, isMinimalGB, isMinReductionMatrix, isMinReductionMatrix, isReductionMatrix, isReductionMatrix, minimalExtendedGB, normalizeMatrix, normalizeZerosOnes, 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

bba

public final GroebnerBaseAbstract<BigInteger> bba

Constructor Details

GroebnerBaseRational

public GroebnerBaseRational()

Constructor.

GroebnerBaseRational

public GroebnerBaseRational(int threads)

Constructor.

Parameters:

threads - the number of parallel threads.

GroebnerBaseRational

public GroebnerBaseRational(PairList<BigInteger> pl)

Constructor.

Parameters:

pl - pair selection strategy

GroebnerBaseRational

public GroebnerBaseRational(int threads,
 PairList<BigInteger> pl)

Constructor.

Parameters:

threads - the number of parallel threads.

pl - pair selection strategy

GroebnerBaseRational

public GroebnerBaseRational(GroebnerBaseAbstract<BigInteger> bba)

Constructor.

Parameters:

bba - Groebner base algorithm for BigInteger coefficients.

Method Details

toString

public String toString()

Get the String representation with GB engines.

Overrides:

toString in class GroebnerBaseAbstract<BigRational>

See Also:

• Object.toString()

GB

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

Groebner base using fraction free computation.

Parameters:

modv - module variable number.

F - polynomial list.

Returns:

GB(F) a Groebner base of F.

minimalGB

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

Minimal ordered Groebner basis.

Specified by:

minimalGB in interface GroebnerBase<C extends BigRational>

Overrides:

minimalGB in class GroebnerBaseAbstract<BigRational>

Parameters:

Gp - a Groebner base.

Returns:

a reduced Groebner base of Gp.

terminate

public void terminate()

Cleanup and terminate ThreadPool.

Overrides:

terminate in class GroebnerBaseAbstract<BigRational>

cancel

public int cancel()

Cancel ThreadPool.

Overrides:

cancel in class GroebnerBaseAbstract<BigRational>