| Package | Description |
|---|---|
| cc.redberry.rings | |
| cc.redberry.rings.poly | |
| cc.redberry.rings.poly.multivar | |
| cc.redberry.rings.poly.univar |
| Modifier and Type | Interface and Description |
|---|---|
interface |
Ring<E>
Ring of elements.
|
| Modifier and Type | Class and Description |
|---|---|
class |
ARing<E>
Abstract ring which holds perfect power decomposition of its cardinality.
|
class |
FactorDecomposition<E>
Factor decomposition of element.
|
class |
ImageRing<F,I>
A ring obtained via isomorphism specified by
ImageRing.image(Object) and ImageRing.inverse(Object) functions. |
class |
Integers
The ring of integers (Z).
|
class |
IntegersZp
Ring of integers modulo some
modulus. |
class |
Rational<E> |
class |
Rationals<E>
The ring of rationals (Q).
|
| Modifier and Type | Interface and Description |
|---|---|
interface |
IPolynomial<Poly extends IPolynomial<Poly>>
Parent interface for all polynomials.
|
interface |
IPolynomialRing<Poly extends IPolynomial<Poly>>
Polynomial ring.
|
| Modifier and Type | Class and Description |
|---|---|
class |
AlgebraicNumberField<E extends IUnivariatePolynomial<E>>
Algebraic number field
F(α) represented as a simple field extension, for details see SimpleFieldExtension. |
class |
FiniteField<E extends IUnivariatePolynomial<E>>
Galois field
GF(p, q). |
class |
MultipleFieldExtension<Term extends AMonomial<Term>,mPoly extends AMultivariatePolynomial<Term,mPoly>,sPoly extends IUnivariatePolynomial<sPoly>>
Multiple field extension
F(α_1, α_2, ..., α_N). |
class |
MultivariateRing<Poly extends AMultivariatePolynomial<?,Poly>>
Ring of multivariate polynomials.
|
class |
PolynomialFactorDecomposition<Poly extends IPolynomial<Poly>>
Factor decomposition of element.
|
class |
QuotientRing<Term extends AMonomial<Term>,Poly extends AMultivariatePolynomial<Term,Poly>>
Multivariate quotient ring
|
class |
SimpleFieldExtension<E extends IUnivariatePolynomial<E>>
A simple field extension
F(α) represented as a univariate quotient ring F[x]/<m(x)> where m(x) is the minimal polynomial of α. |
class |
UnivariateRing<Poly extends IUnivariatePolynomial<Poly>>
Ring of univariate polynomials.
|
| Modifier and Type | Class and Description |
|---|---|
class |
AMultivariatePolynomial<Term extends AMonomial<Term>,Poly extends AMultivariatePolynomial<Term,Poly>>
Parent class for multivariate polynomials.
|
class |
Ideal<Term extends AMonomial<Term>,Poly extends AMultivariatePolynomial<Term,Poly>>
Ideal represented by its Groebner basis.
|
class |
MultivariatePolynomial<E> |
class |
MultivariatePolynomialZp64
Multivariate polynomial over Zp ring with the modulus in the range (0, 2^62) (see
MachineArithmetic.MAX_SUPPORTED_MODULUS). |
| Modifier and Type | Interface and Description |
|---|---|
interface |
IUnivariatePolynomial<Poly extends IUnivariatePolynomial<Poly>>
Parent interface for univariate polynomials.
|
| Modifier and Type | Class and Description |
|---|---|
class |
UnivariatePolynomial<E>
Univariate polynomial over generic ring.
|
class |
UnivariatePolynomialZ64
Univariate polynomial over machine integers in range [-2^63, 2^63].
|
class |
UnivariatePolynomialZp64
Univariate polynomial over Zp ring with modulus in the range of
[2, 2^62) (the last value is specified by
MachineArithmetic.MAX_SUPPORTED_MODULUS_BITS. |
Copyright © 2022. All rights reserved.