Package cc.redberry.rings.poly.multivar

Interface Summary

Interface	Description
GroebnerBases.MinimizationStrategy	Strategy used to reduce and minimize basis in the intermediate steps of Buchberger algorithm
IMonomialAlgebra<Term extends AMonomial<Term>>	Algebraic operations (multiplication, division) and utility methods for monomials.

Class Summary

Class	Description
AMonomial<Term extends AMonomial<Term>>	Abstract monomial (degree vector + coefficient).
AMultivariatePolynomial<Term extends AMonomial<Term>,Poly extends AMultivariatePolynomial<Term,Poly>>	Parent class for multivariate polynomials.
AMultivariatePolynomial.PolynomialCollector<Term extends AMonomial<Term>,Poly extends AMultivariatePolynomial<Term,Poly>>	Collector which collects stream of element to a UnivariatePolynomial
DegreeVector	Degree vector.
GroebnerBases	Groebner bases.
GroebnerBases.HilbertSeries	Hilbert-Poincare series HPS(t) = P(t) / (1 - t)^m
GroebnerBases.SyzygyPair<Term extends AMonomial<Term>,Poly extends cc.redberry.rings.poly.multivar.MonomialSetView<Term>>	Abstract critical pair: used with different Poly type for Buchberger and F4 algorithms
GroebnerBasesData	Collection of special ideals
GroebnerMethods	Utility methods based on Groebner bases
HenselLifting	Hensel lifting.
Ideal<Term extends AMonomial<Term>,Poly extends AMultivariatePolynomial<Term,Poly>>	Ideal represented by its Groebner basis.
IMonomialAlgebra.MonomialAlgebra<E>	Generic term algebra
IMonomialAlgebra.MonomialAlgebraZp64	Term algebra for terms over Zp
Monomial<E>	Monomial with coefficient from generic ring
MonomialOrder	Common monomial orderings.
MonomialOrder.EliminationOrder
MonomialOrder.GrevLexWithPermutation
MonomialSet<Term extends AMonomial<Term>>	Sorted set of monomials -- basic underlying data structure of multivariate polynomials.
MonomialZp64	Monomial with coefficient from Zp with p < 2^64
MultivariateConversions
MultivariateDivision	Division with remainder of multivariate polynomials (multivariate reduction).
MultivariateFactorization	Factorization of multivariate polynomials.
MultivariateGCD	Multivariate polynomial GCD
MultivariateInterpolation	Multivariate interpolation
MultivariateInterpolation.Interpolation<E>	Updatable Newton interpolation
MultivariateInterpolation.InterpolationZp64	Updatable Newton interpolation
MultivariatePolynomial<E>
MultivariatePolynomial.HornerForm<E>	A representation of multivariate polynomial specifically optimized for fast evaluation of given variables
MultivariatePolynomial.PrecomputedPowersHolder<E>	holds an array of precomputed powers
MultivariatePolynomialZp64	Multivariate polynomial over Zp ring with the modulus in the range (0, 2^62) (see MachineArithmetic.MAX_SUPPORTED_MODULUS).
MultivariatePolynomialZp64.HornerFormZp64	A representation of multivariate polynomial specifically optimized for fast evaluation of given variables
MultivariatePolynomialZp64.lPrecomputedPowers	cached powers used to save some time
MultivariatePolynomialZp64.lPrecomputedPowersHolder	holds an array of precomputed powers
MultivariateResultants	Polynomial resultants.
MultivariateSquareFreeFactorization
PairedIterator<Term1 extends AMonomial<Term1>,Poly1 extends AMultivariatePolynomial<Term1,Poly1>,Term2 extends AMonomial<Term2>,Poly2 extends AMultivariatePolynomial<Term2,Poly2>>	Iterator over a pair of polynomials
RandomMultivariatePolynomials	Methods to generate random multivariate polynomials.