| Package | Description |
|---|---|
| cc.redberry.rings | |
| cc.redberry.rings.io | |
| cc.redberry.rings.poly | |
| cc.redberry.rings.poly.multivar |
| Modifier and Type | Method and Description |
|---|---|
static <E> MultivariateRing<MultivariatePolynomial<E>> |
Rings.MultivariateRing(int nVariables,
Ring<E> coefficientRing)
Ring of multivariate polynomials with specified number of variables over specified coefficient ring
|
static <E> MultivariateRing<MultivariatePolynomial<E>> |
Rings.MultivariateRing(int nVariables,
Ring<E> coefficientRing,
Comparator<DegreeVector> monomialOrder)
Ring of multivariate polynomials with specified number of variables over specified coefficient ring
|
static <Term extends AMonomial<Term>,Poly extends AMultivariatePolynomial<Term,Poly>> |
Rings.MultivariateRing(Poly factory)
Ring of multivariate polynomials with specified factory
|
static MultivariateRing<MultivariatePolynomial<Rational<BigInteger>>> |
Rings.MultivariateRingQ(int nVariables)
Ring of multivariate polynomials over rationals (Q[x1, x2, ...])
|
static MultivariateRing<MultivariatePolynomial<BigInteger>> |
Rings.MultivariateRingZ(int nVariables)
Ring of multivariate polynomials over integers (Z[x1, x2, ...])
|
static MultivariateRing<MultivariatePolynomial<BigInteger>> |
Rings.MultivariateRingZp(int nVariables,
BigInteger modulus)
Ring of multivariate polynomials over Zp integers (Zp[x1, x2, ...]) with arbitrary large modulus
|
static MultivariateRing<MultivariatePolynomialZp64> |
Rings.MultivariateRingZp64(int nVariables,
IntegersZp64 modulus)
Ring of multivariate polynomials over Zp integers (Zp[x1, x2, ...])
|
static MultivariateRing<MultivariatePolynomialZp64> |
Rings.MultivariateRingZp64(int nVariables,
IntegersZp64 modulus,
Comparator<DegreeVector> monomialOrder)
Ring of multivariate polynomials over Zp integers (Zp[x1, x2, ...])
|
static MultivariateRing<MultivariatePolynomialZp64> |
Rings.MultivariateRingZp64(int nVariables,
long modulus)
Ring of multivariate polynomials over Zp machine integers (Zp[x1, x2, ...])
|
static MultivariateRing<MultivariatePolynomialZp64> |
Rings.MultivariateRingZp64(int nVariables,
long modulus,
Comparator<DegreeVector> monomialOrder)
Ring of multivariate polynomials over Zp integers (Zp[x1, x2, ...])
|
| Modifier and Type | Method and Description |
|---|---|
static <Term extends AMonomial<Term>,Poly extends AMultivariatePolynomial<Term,Poly>> |
Rings.QuotientRing(MultivariateRing<Poly> baseRing,
Ideal<Term,Poly> ideal)
Quotient ring
baseRing/<ideal> |
| Modifier and Type | Field and Description |
|---|---|
protected MultivariateRing<Poly> |
Coder.polyRing
auxiliary polynomial ring
|
| Modifier and Type | Method and Description |
|---|---|
static <Element,Term extends AMonomial<Term>,Poly extends AMultivariatePolynomial<Term,Poly>> |
Coder.mkCoder(Ring<Element> baseRing,
Map<String,Element> eVariables,
MultivariateRing<Poly> polyRing,
Map<String,Poly> pVariables,
SerializableFunction<Poly,Element> polyToElement) |
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
|
static <Term extends AMonomial<Term>,Poly extends AMultivariatePolynomial<Term,Poly>> |
Coder.mkMultivariateCoder(MultivariateRing<Poly> ring,
Map<String,Poly> variables)
Create coder for multivariate polynomial rings
|
static <Term extends AMonomial<Term>,Poly extends AMultivariatePolynomial<Term,Poly>> |
Coder.mkMultivariateCoder(MultivariateRing<Poly> ring,
String... variables)
Create coder for multivariate polynomial rings
|
| Modifier and Type | Field and Description |
|---|---|
MultivariateRing<Poly> |
QuotientRing.baseRing
the base ring
|
| Modifier and Type | Method and Description |
|---|---|
MultivariateRing<Poly> |
MultivariateRing.dropVariable() |
| Constructor and Description |
|---|
QuotientRing(MultivariateRing<Poly> baseRing,
Ideal<Term,Poly> ideal) |
| Modifier and Type | Method and Description |
|---|---|
static <Poly extends AMultivariatePolynomial<?,Poly>> |
MultivariateConversions.merge(IPolynomialRing<MultivariatePolynomial<Poly>> ring,
int... variables)
Given poly in R[x1,x2,...,xN] converts to poly in R[variables][other_variables]
|
static <Poly extends AMultivariatePolynomial<?,Poly>> |
MultivariateConversions.split(IPolynomialRing<Poly> ring,
int... variables)
Given poly in R[x1,x2,...,xN] converts to poly in R[variables][other_variables]
|
Copyright © 2022. All rights reserved.