Uses of Class
cc.redberry.rings.poly.multivar.GroebnerBases.HilbertSeries

Packages that use GroebnerBases.HilbertSeries

Package	Description
cc.redberry.rings.poly.multivar

Uses of GroebnerBases.HilbertSeries in cc.redberry.rings.poly.multivar

Methods in cc.redberry.rings.poly.multivar that return GroebnerBases.HilbertSeries

Modifier and Type	Method and Description
GroebnerBases.HilbertSeries	Ideal.hilbertSeries() Hilbert-Poincare series of this ideal
static GroebnerBases.HilbertSeries	GroebnerBases.HilbertSeries(List<DegreeVector> ideal) Computes Hilbert-Poincare series of monomial ideal
static GroebnerBases.HilbertSeries	GroebnerBases.HilbertSeriesOfLeadingTermsSet(List<? extends AMultivariatePolynomial> ideal) Computes Hilbert-Poincare series of specified ideal given by its Groebner basis

Methods in cc.redberry.rings.poly.multivar with parameters of type GroebnerBases.HilbertSeries

Modifier and Type	Method and Description
static <Term extends AMonomial<Term>,Poly extends AMultivariatePolynomial<Term,Poly>> cc.redberry.rings.poly.multivar.GroebnerBases.GBResult<Term,Poly>	GroebnerBases.GroebnerBasisInGF(List<Poly> generators, Comparator<DegreeVector> monomialOrder, GroebnerBases.HilbertSeries hilbertSeries) Computes Groebner basis (minimized and reduced) of a given ideal over finite filed represented by a list of generators.
static List<MultivariatePolynomial<Rational<BigInteger>>>	GroebnerBases.GroebnerBasisInQ(List<MultivariatePolynomial<Rational<BigInteger>>> generators, Comparator<DegreeVector> monomialOrder, GroebnerBases.HilbertSeries hilbertSeries, boolean tryModular) Computes Groebner basis (minimized and reduced) of a given ideal over Q represented by a list of generators.
static cc.redberry.rings.poly.multivar.GroebnerBases.GBResult<Monomial<BigInteger>,MultivariatePolynomial<BigInteger>>	GroebnerBases.GroebnerBasisInZ(List<MultivariatePolynomial<BigInteger>> generators, Comparator<DegreeVector> monomialOrder, GroebnerBases.HilbertSeries hilbertSeries, boolean tryModular) Computes Groebner basis (minimized and reduced) of a given ideal over Z represented by a list of generators.
static <Term extends AMonomial<Term>,Poly extends AMultivariatePolynomial<Term,Poly>> cc.redberry.rings.poly.multivar.GroebnerBases.GBResult<Term,Poly>	GroebnerBases.HilbertGB(List<Poly> generators, Comparator<DegreeVector> monomialOrder, GroebnerBases.HilbertSeries hilbertSeries) Hilbert-driven algorithm for Groebner basis computation
static cc.redberry.rings.poly.multivar.GroebnerBases.GBResult<Monomial<BigInteger>,MultivariatePolynomial<BigInteger>>	GroebnerBases.ModularGB(List<MultivariatePolynomial<BigInteger>> ideal, Comparator<DegreeVector> monomialOrder, cc.redberry.rings.poly.multivar.GroebnerBases.GroebnerAlgorithm modularAlgorithm, cc.redberry.rings.poly.multivar.GroebnerBases.GroebnerAlgorithm defaultAlgorithm, BigInteger firstPrime, GroebnerBases.HilbertSeries hilbertSeries, boolean trySparse) Modular Groebner basis algorithm.
static cc.redberry.rings.poly.multivar.GroebnerBases.GBResult<Monomial<BigInteger>,MultivariatePolynomial<BigInteger>>	GroebnerBases.ModularGB(List<MultivariatePolynomial<BigInteger>> ideal, Comparator<DegreeVector> monomialOrder, GroebnerBases.HilbertSeries hilbertSeries) Modular Groebner basis algorithm.
static cc.redberry.rings.poly.multivar.GroebnerBases.GBResult<Monomial<BigInteger>,MultivariatePolynomial<BigInteger>>	GroebnerBases.ModularGB(List<MultivariatePolynomial<BigInteger>> ideal, Comparator<DegreeVector> monomialOrder, GroebnerBases.HilbertSeries hilbertSeries, boolean trySparse) Modular Groebner basis algorithm.