| Package | Description |
|---|---|
| cc.redberry.rings.io | |
| cc.redberry.rings.poly.multivar |
| Modifier and Type | Method and Description |
|---|---|
static <E> Coder<MultivariatePolynomial<E>,Monomial<E>,MultivariatePolynomial<E>> |
Coder.mkMultivariateCoder(MultivariateRing<MultivariatePolynomial<E>> ring,
Coder<E,?,?> cfCoder,
Map<String,MultivariatePolynomial<E>> variables)
Create coder for multivariate polynomial rings
|
static <E> Coder<MultivariatePolynomial<E>,Monomial<E>,MultivariatePolynomial<E>> |
Coder.mkMultivariateCoder(MultivariateRing<MultivariatePolynomial<E>> ring,
Coder<E,?,?> cfCoder,
String... variables)
Create parser for multivariate polynomial rings
|
| Modifier and Type | Method and Description |
|---|---|
Monomial<E> |
IMonomialAlgebra.MonomialAlgebra.create(DegreeVector degreeVector) |
Monomial<E> |
IMonomialAlgebra.MonomialAlgebra.create(int[] exponents) |
Monomial<E>[] |
IMonomialAlgebra.MonomialAlgebra.createArray(int length) |
Monomial<E> |
IMonomialAlgebra.MonomialAlgebra.divideOrNull(Monomial<E> dividend,
Monomial<E> divider) |
Monomial<E> |
Monomial.forceSetDegreeVector(int[] exponents,
int totalDegree) |
Monomial<E> |
IMonomialAlgebra.MonomialAlgebra.getUnitTerm(int nVariables) |
Monomial<E> |
IMonomialAlgebra.MonomialAlgebra.getZeroTerm(int nVariables) |
Monomial<E> |
IMonomialAlgebra.MonomialAlgebra.multiply(Monomial<E> a,
BigInteger b) |
Monomial<E> |
IMonomialAlgebra.MonomialAlgebra.multiply(Monomial<E> a,
Monomial<E> b) |
Monomial<E> |
IMonomialAlgebra.MonomialAlgebra.negate(Monomial<E> term) |
Monomial<E> |
IMonomialAlgebra.MonomialAlgebra.pow(Monomial<E> term,
int exponent) |
Monomial<E> |
Monomial.setCoefficient(E c) |
Monomial<E> |
Monomial.setCoefficientFrom(Monomial<E> oth) |
Monomial<E> |
Monomial.setDegreeVector(DegreeVector oth) |
Monomial<E> |
Monomial.setDegreeVector(int[] exponents,
int totalDegree) |
Monomial<BigInteger> |
MonomialZp64.toBigMonomial() |
| Modifier and Type | Method and Description |
|---|---|
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 cc.redberry.rings.poly.multivar.GroebnerBases.GBResult<Monomial<BigInteger>,MultivariatePolynomial<BigInteger>> |
GroebnerBases.ModularGB(List<MultivariatePolynomial<BigInteger>> ideal,
Comparator<DegreeVector> monomialOrder)
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,
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.
|
static <E> Ideal<Monomial<E>,MultivariatePolynomial<E>> |
Ideal.parse(String[] generators,
Ring<E> field,
Comparator<DegreeVector> monomialOrder,
String[] variables)
Shortcut for parse
|
static <E> Ideal<Monomial<E>,MultivariatePolynomial<E>> |
Ideal.parse(String[] generators,
Ring<E> field,
String[] variables)
Shortcut for parse
|
| Modifier and Type | Method and Description |
|---|---|
static <E> MultivariatePolynomial<E> |
MultivariatePolynomial.create(int nVariables,
Ring<E> ring,
Comparator<DegreeVector> ordering,
Monomial<E>... terms)
Creates multivariate polynomial from a list of monomial terms
|
MultivariatePolynomial<E> |
MultivariatePolynomial.createConstantFromTerm(Monomial<E> monomial) |
MultivariatePolynomial<E> |
MultivariatePolynomial.divideOrNull(Monomial<E> monomial) |
Monomial<E> |
IMonomialAlgebra.MonomialAlgebra.divideOrNull(Monomial<E> dividend,
Monomial<E> divider) |
Monomial<E> |
IMonomialAlgebra.MonomialAlgebra.divideOrNull(Monomial<E> dividend,
Monomial<E> divider) |
boolean |
IMonomialAlgebra.MonomialAlgebra.haveSameCoefficients(Monomial<E> a,
Monomial<E> b) |
boolean |
IMonomialAlgebra.MonomialAlgebra.haveSameCoefficients(Monomial<E> a,
Monomial<E> b) |
boolean |
IMonomialAlgebra.MonomialAlgebra.isOne(Monomial<E> term) |
boolean |
IMonomialAlgebra.MonomialAlgebra.isPureDegreeVector(Monomial<E> term) |
boolean |
IMonomialAlgebra.MonomialAlgebra.isUnit(Monomial<E> term) |
boolean |
IMonomialAlgebra.MonomialAlgebra.isZero(Monomial<E> term) |
MultivariatePolynomial<E> |
MultivariatePolynomial.multiply(Monomial<E> monomial) |
Monomial<E> |
IMonomialAlgebra.MonomialAlgebra.multiply(Monomial<E> a,
BigInteger b) |
Monomial<E> |
IMonomialAlgebra.MonomialAlgebra.multiply(Monomial<E> a,
Monomial<E> b) |
Monomial<E> |
IMonomialAlgebra.MonomialAlgebra.multiply(Monomial<E> a,
Monomial<E> b) |
Monomial<E> |
IMonomialAlgebra.MonomialAlgebra.negate(Monomial<E> term) |
Monomial<E> |
IMonomialAlgebra.MonomialAlgebra.pow(Monomial<E> term,
int exponent) |
Monomial<E> |
Monomial.setCoefficientFrom(Monomial<E> oth) |
| Modifier and Type | Method and Description |
|---|---|
static <E> MultivariatePolynomial<E> |
MultivariatePolynomial.create(int nVariables,
Ring<E> ring,
Comparator<DegreeVector> ordering,
Iterable<Monomial<E>> terms)
Creates multivariate polynomial from a list of monomial terms
|
<T> MultivariatePolynomial<T> |
MultivariatePolynomial.mapTerms(Ring<T> newRing,
Function<Monomial<E>,Monomial<T>> mapper)
Maps terms of this using specified mapping function
|
<T> MultivariatePolynomial<T> |
MultivariatePolynomial.mapTerms(Ring<T> newRing,
Function<Monomial<E>,Monomial<T>> mapper)
Maps terms of this using specified mapping function
|
<T> MultivariatePolynomial<T> |
MultivariatePolynomialZp64.mapTerms(Ring<T> newRing,
Function<MonomialZp64,Monomial<T>> mapper)
Maps terms of this using specified mapping function
|
Copyright © 2022. All rights reserved.