edu.jas.gbufd

Class GroebnerBaseQuotient<C extends GcdRingElem<C>>

java.lang.Object

edu.jas.gb.GroebnerBaseAbstract<Quotient<C>>

edu.jas.gbufd.GroebnerBaseQuotient<C>

Type Parameters:

C - Quotient coefficient type

All Implemented Interfaces:

GroebnerBase<Quotient<C>>, java.io.Serializable

public class GroebnerBaseQuotient<C extends GcdRingElem<C>>
extends GroebnerBaseAbstract<Quotient<C>>

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

Author:

Heinz Kredel

See Also:

Serialized Form

Field Summary

Fields

Modifier and Type	Field and Description
GroebnerBaseAbstract<GenPolynomial<C>>	bba

Fields inherited from class edu.jas.gb.GroebnerBaseAbstract

blas, red, strategy

Constructor Summary

Constructors

Constructor and Description
GroebnerBaseQuotient(GroebnerBaseAbstract<GenPolynomial<C>> bba) Constructor.
GroebnerBaseQuotient(int threads, QuotientRing<C> rf) Constructor.
GroebnerBaseQuotient(int threads, QuotientRing<C> rf, PairList<GenPolynomial<C>> pl) Constructor.
GroebnerBaseQuotient(QuotientRing<C> rf) Constructor.
GroebnerBaseQuotient(QuotientRing<C> rf, PairList<GenPolynomial<C>> pl) Constructor.

Method Summary

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

Methods inherited from class edu.jas.gb.GroebnerBaseAbstract

commonZeroTest, constructUnivariate, extGB, extGB, GB, GB, GB, isGB, isGB, isGB, isGB, isGB, isGB, isGBidem, isGBsimple, isMinimalGB, isReductionMatrix, isReductionMatrix, minimalExtendedGB, normalizeMatrix, normalizeZerosOnes, univariateDegrees

Methods inherited from class java.lang.Object

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

Field Detail

bba

public final GroebnerBaseAbstract<GenPolynomial<C extends GcdRingElem<C>>> bba

Constructor Detail

GroebnerBaseQuotient

public GroebnerBaseQuotient(QuotientRing<C> rf)

Constructor.

Parameters:

rf - quotient coefficient ring factory.

GroebnerBaseQuotient

public GroebnerBaseQuotient(int threads,
                            QuotientRing<C> rf)

Constructor.

Parameters:

threads - the number of parallel threads.

rf - quotient coefficient ring factory.

GroebnerBaseQuotient

public GroebnerBaseQuotient(QuotientRing<C> rf,
                            PairList<GenPolynomial<C>> pl)

Constructor.

Parameters:

rf - quotient coefficient ring factory.

pl - pair selection strategy (for fraction parts).

GroebnerBaseQuotient

public GroebnerBaseQuotient(int threads,
                            QuotientRing<C> rf,
                            PairList<GenPolynomial<C>> pl)

Constructor.

Parameters:

threads - the number of parallel threads.

rf - quotient coefficient ring factory.

pl - pair selection strategy (for fraction parts).

GroebnerBaseQuotient

public GroebnerBaseQuotient(GroebnerBaseAbstract<GenPolynomial<C>> bba)

Constructor.

Parameters:

bba - Groebner base algorithm for GenPolynomial coefficients.

Method Detail

toString

public java.lang.String toString()

Get the String representation with GB engines.

Overrides:

toString in class GroebnerBaseAbstract<Quotient<C extends GcdRingElem<C>>>

See Also:

Object.toString()

GB

public java.util.List<GenPolynomial<Quotient<C>>> GB(int modv,
                                                     java.util.List<GenPolynomial<Quotient<C>>> 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 java.util.List<GenPolynomial<Quotient<C>>> minimalGB(java.util.List<GenPolynomial<Quotient<C>>> Gp)

Minimal ordered Groebner basis.

Specified by:

minimalGB in interface GroebnerBase<Quotient<C extends GcdRingElem<C>>>

Overrides:

minimalGB in class GroebnerBaseAbstract<Quotient<C extends GcdRingElem<C>>>

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<Quotient<C extends GcdRingElem<C>>>

cancel

public int cancel()

Cancel ThreadPool.

Overrides:

cancel in class GroebnerBaseAbstract<Quotient<C extends GcdRingElem<C>>>