| Package | Description |
|---|---|
| cc.redberry.rings | |
| cc.redberry.rings.io | |
| cc.redberry.rings.poly |
| Modifier and Type | Method and Description |
|---|---|
static <Term extends AMonomial<Term>,mPoly extends AMultivariatePolynomial<Term,mPoly>,sPoly extends IUnivariatePolynomial<sPoly>> |
Rings.MultipleFieldExtension(sPoly... minimalPolynomials)
Multiple field extension generated by given algebraic elements represented by their minimal polynomials (not
tested that they are irreducible)
|
static <Term extends AMonomial<Term>,mPoly extends AMultivariatePolynomial<Term,mPoly>,sPoly extends IUnivariatePolynomial<sPoly>> |
Rings.SplittingField(sPoly polynomial)
Splitting field of a given polynomial.
|
| Modifier and Type | Method and Description |
|---|---|
static <Term extends AMonomial<Term>,mPoly extends AMultivariatePolynomial<Term,mPoly>,sPoly extends IUnivariatePolynomial<sPoly>> |
Coder.mkMultipleExtensionCoder(MultipleFieldExtension<Term,mPoly,sPoly> field,
Map<String,mPoly> variables)
Create coder for multiple field extension
|
static <Term extends AMonomial<Term>,mPoly extends AMultivariatePolynomial<Term,mPoly>,sPoly extends IUnivariatePolynomial<sPoly>> |
Coder.mkMultipleExtensionCoder(MultipleFieldExtension<Term,mPoly,sPoly> field,
String... variables)
Create coder for multiple field extension
|
| Modifier and Type | Method and Description |
|---|---|
<Term extends AMonomial<Term>,mPoly extends AMultivariatePolynomial<Term,mPoly>> |
SimpleFieldExtension.asMultipleExtension()
Returns a view of this as a multiple field extension
|
MultipleFieldExtension<Term,mPoly,sPoly> |
MultipleFieldExtension.getSubExtension(int i)
Returns the i-th extension from the tower
|
MultipleFieldExtension<Term,mPoly,sPoly> |
MultipleFieldExtension.joinAlgebraicElement(sPoly minimalPoly)
Adds algebraic element given by its minimal polynomial (not checked that it is irreducible) to this.
|
MultipleFieldExtension<Term,mPoly,sPoly> |
MultipleFieldExtension.joinAlgebraicElement(UnivariatePolynomial<mPoly> algebraicElement)
Adds algebraic element given by its minimal polynomial (not checked that it is irreducible) to this.
|
MultipleFieldExtension<Term,mPoly,sPoly> |
MultipleFieldExtension.joinRedundantElement(mPoly element)
Adds algebraic element given by its minimal polynomial (not checked that it is irreducible) to this.
|
static <Term extends AMonomial<Term>,mPoly extends AMultivariatePolynomial<Term,mPoly>,sPoly extends IUnivariatePolynomial<sPoly>> |
MultipleFieldExtension.mkMultipleExtension(SimpleFieldExtension<sPoly> ext) |
static <Term extends AMonomial<Term>,mPoly extends AMultivariatePolynomial<Term,mPoly>,sPoly extends IUnivariatePolynomial<sPoly>> |
MultipleFieldExtension.mkMultipleExtension(sPoly... minimalPolynomials)
Creates multiple field extension
F(α_1, α_2, ..., α_i) where α_i are specified by their minimal
polynomials over F. |
static <Term extends AMonomial<Term>,mPoly extends AMultivariatePolynomial<Term,mPoly>,sPoly extends IUnivariatePolynomial<sPoly>> |
MultipleFieldExtension.mkMultipleExtension(sPoly a) |
static <Term extends AMonomial<Term>,mPoly extends AMultivariatePolynomial<Term,mPoly>,sPoly extends IUnivariatePolynomial<sPoly>> |
MultipleFieldExtension.mkSplittingField(sPoly poly)
Constructs splitting field for a given polynomial.
|
| Constructor and Description |
|---|
MultipleFieldExtension(MultipleFieldExtension<Term,mPoly,sPoly>[] tower,
UnivariatePolynomial<mPoly>[] minimalPolynomialsOfGenerators,
mPoly primitiveElement,
sPoly[] generatorsReps,
SimpleFieldExtension<sPoly> simpleExtension) |
Copyright © 2022. All rights reserved.