Package edu.jas.gbufd
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>
,java.io.Serializable
public class GroebnerBaseRational<C extends BigRational> extends GroebnerBaseAbstract<BigRational>
Groebner Base sequential algorithm for rational coefficients, fraction free computation. Implements Groebner bases.- Author:
- Heinz Kredel
- See Also:
- Serialized Form
-
-
Field Summary
Fields Modifier and Type Field Description GroebnerBaseAbstract<BigInteger>
bba
-
Fields inherited from class edu.jas.gb.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
All Methods Instance Methods Concrete Methods Modifier and Type Method Description int
cancel()
Cancel ThreadPool.java.util.List<GenPolynomial<BigRational>>
GB(int modv, java.util.List<GenPolynomial<BigRational>> F)
Groebner base using fraction free computation.java.util.List<GenPolynomial<BigRational>>
minimalGB(java.util.List<GenPolynomial<BigRational>> 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, isMinReductionMatrix, isMinReductionMatrix, isReductionMatrix, isReductionMatrix, minimalExtendedGB, normalizeMatrix, normalizeZerosOnes, univariateDegrees
-
-
-
-
Field Detail
-
bba
public final GroebnerBaseAbstract<BigInteger> bba
-
-
Constructor Detail
-
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 Detail
-
toString
public java.lang.String toString()
Get the String representation with GB engines.- Overrides:
toString
in classGroebnerBaseAbstract<BigRational>
- See Also:
Object.toString()
-
GB
public java.util.List<GenPolynomial<BigRational>> GB(int modv, java.util.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 java.util.List<GenPolynomial<BigRational>> minimalGB(java.util.List<GenPolynomial<BigRational>> Gp)
Minimal ordered Groebner basis.- Specified by:
minimalGB
in interfaceGroebnerBase<C extends BigRational>
- Overrides:
minimalGB
in classGroebnerBaseAbstract<BigRational>
- Parameters:
Gp
- a Groebner base.- Returns:
- a reduced Groebner base of Gp.
-
terminate
public void terminate()
Cleanup and terminate ThreadPool.- Overrides:
terminate
in classGroebnerBaseAbstract<BigRational>
-
cancel
public int cancel()
Cancel ThreadPool.- Overrides:
cancel
in classGroebnerBaseAbstract<BigRational>
-
-