Package edu.jas.application
Class ExtensionFieldBuilder
java.lang.Object
edu.jas.application.ExtensionFieldBuilder
- All Implemented Interfaces:
Serializable
Builder for extension field towers.
- See Also:
-
Field Summary
Fields -
Constructor Summary
ConstructorsModifierConstructorDescriptionprotected
Constructor not for use.Constructor. -
Method Summary
Modifier and TypeMethodDescriptionalgebraicExtension
(String var, String expr) Algebraic field extension.static ExtensionFieldBuilder
baseField
(RingFactory base) Set base field.build()
Build the field tower.complexAlgebraicExtension
(String var, String expr, String root) Complex algebraic field extension.finiteFieldExtension
(int n) Finite field extension.matrixExtension
(int n) Matrix ring extension.polynomialExtension
(String vars) Polynomial ring extension.realAlgebraicExtension
(String var, String expr, String root) Real algebraic field extension.toScript()
Get a scripting compatible string representation.toString()
String representation of the ideal.transcendentExtension
(String vars) Transcendent field extension.
-
Field Details
-
factory
The current factory.
-
-
Constructor Details
-
ExtensionFieldBuilder
protected ExtensionFieldBuilder()Constructor not for use. -
ExtensionFieldBuilder
Constructor.- Parameters:
base
- the base field.
-
-
Method Details
-
build
Build the field tower. TODO: optimize field tower for faster computation. -
baseField
Set base field.- Parameters:
base
- the base field for the extensions.
-
transcendentExtension
Transcendent field extension.- Parameters:
vars
- names for the transcendent generators.
-
polynomialExtension
Polynomial ring extension.- Parameters:
vars
- names for the polynomial ring generators.
-
matrixExtension
Matrix ring extension.- Parameters:
n
- dimension of n x n matrix.
-
finiteFieldExtension
Finite field extension. Construct a finite field with q = p**n elements, where p is the characteristic of the base field.- Parameters:
n
- exponent.
-
algebraicExtension
Algebraic field extension.- Parameters:
var
- name(s) for the algebraic generator(s).expr
- generating expression, a univariate or multivariate polynomial in vars.
-
realAlgebraicExtension
Real algebraic field extension.- Parameters:
var
- name for the algebraic generator.expr
- generating expression, a univariate polynomial in var.root
- isolating interval for a real root.
-
complexAlgebraicExtension
Complex algebraic field extension.- Parameters:
var
- name for the algebraic generator.expr
- generating expression, a univariate polynomial in var.root
- isolating rectangle for a complex root.
-
toString
String representation of the ideal. -
toScript
Get a scripting compatible string representation.- Returns:
- script compatible representation for this Element.
- See Also:
-