Package edu.jas.gbufd
Class GroebnerBaseFGLM<C extends GcdRingElem<C>>
java.lang.Object
edu.jas.gb.GroebnerBaseAbstract<C>
edu.jas.gbufd.GroebnerBaseFGLM<C>
- Type Parameters:
C
- coefficient type
- All Implemented Interfaces:
GroebnerBase<C>
,Serializable
Groebner Base sequential FGLM algorithm. Implements Groebner base computation
via FGLM algorithm.
- See Also:
-
Field Summary
FieldsModifier and TypeFieldDescriptionprivate static final org.apache.logging.log4j.Logger
private GroebnerBaseAbstract
<C> The backing GB algorithm implementation.Fields inherited from class edu.jas.gb.GroebnerBaseAbstract
blas, red, strategy
-
Constructor Summary
ConstructorsConstructorDescriptionConstructor.Constructor.GroebnerBaseFGLM
(Reduction<C> red) Constructor.GroebnerBaseFGLM
(Reduction<C> red, PairList<C> pl) Constructor.GroebnerBaseFGLM
(Reduction<C> red, PairList<C> pl, GroebnerBaseAbstract<C> gb) Constructor. -
Method Summary
Modifier and TypeMethodDescription(package private) GenPolynomialRing
<C> addIndeterminate
(GenPolynomialRing<C> ring) Internal method to add new indeterminates.int
cancel()
Cancel ThreadPool.convGroebnerToLex
(List<GenPolynomial<C>> groebnerBasis) Algorithm CONVGROEBNER: Converts Groebner bases w.r.t.(package private) GenPolynomialRing
<C> createRingOfIndeterminates
(GenPolynomialRing<C> ring, int i) Internal method to create a polynomial ring in i indeterminates.GB
(int modv, List<GenPolynomial<C>> F) Groebner base using FGLM algorithm.lMinterm
(List<GenPolynomial<C>> G, GenPolynomial<C> t) Algorithm lMinterm: MINTERM algorithm for inverse lexicographical term order.(package private) long
maxArray
(long[] t) Maximum of an array.redTerms
(List<GenPolynomial<C>> groebnerBasis) Compute the residues to given polynomial list.void
Cleanup and terminate ThreadPool.toString()
Get the String representation with GB engine.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, minimalGB, normalizeMatrix, normalizeZerosOnes, univariateDegrees
-
Field Details
-
logger
private static final org.apache.logging.log4j.Logger logger -
sgb
The backing GB algorithm implementation.
-
-
Constructor Details
-
GroebnerBaseFGLM
public GroebnerBaseFGLM()Constructor. -
GroebnerBaseFGLM
Constructor.- Parameters:
red
- Reduction engine
-
GroebnerBaseFGLM
Constructor.- Parameters:
red
- Reduction enginepl
- pair selection strategy
-
GroebnerBaseFGLM
Constructor.- Parameters:
red
- Reduction enginepl
- pair selection strategygb
- backing GB algorithm.
-
GroebnerBaseFGLM
Constructor.- Parameters:
gb
- backing GB algorithm.
-
-
Method Details
-
toString
Get the String representation with GB engine.- Overrides:
toString
in classGroebnerBaseAbstract<C extends GcdRingElem<C>>
- See Also:
-
GB
Groebner base using FGLM algorithm.- Parameters:
modv
- module variable number.F
- polynomial list.- Returns:
- GB(F) a inv lex term order Groebner base of F.
-
convGroebnerToLex
Algorithm CONVGROEBNER: Converts Groebner bases w.r.t. total degree termorder into Groebner base w.r.t to inverse lexicographical term order- Returns:
- Groebner base w.r.t to inverse lexicographical term order
-
lMinterm
Algorithm lMinterm: MINTERM algorithm for inverse lexicographical term order.- Parameters:
G
- Groebner basist
- Term- Returns:
- Term that specifies condition (D) or null (Condition (D) in "A computational approach to commutative algebra", Becker, Weispfenning, Kredel 1993, p. 427)
-
redTerms
Compute the residues to given polynomial list.- Returns:
- List of reduced terms
-
createRingOfIndeterminates
Internal method to create a polynomial ring in i indeterminates. Create new ring over coefficients of ring with i variables Y1,...,Yi (indeterminate)- Returns:
- polynomial ring with variables Y1...Yi and coefficient of ring.
-
addIndeterminate
Internal method to add new indeterminates. Add another variable (indeterminate) Y_{i+1} to existing ring- Returns:
- polynomial ring with variables Y1,..,Yi,Yi+1 and coefficients of ring.
-
maxArray
long maxArray(long[] t) Maximum of an array.- Returns:
- maximum of an array
-
terminate
public void terminate()Cleanup and terminate ThreadPool.- Overrides:
terminate
in classGroebnerBaseAbstract<C extends GcdRingElem<C>>
-
cancel
public int cancel()Cancel ThreadPool.- Overrides:
cancel
in classGroebnerBaseAbstract<C extends GcdRingElem<C>>
-