public class ExtensionFieldBuilder extends java.lang.Object implements java.io.Serializable
Modifier and Type | Field and Description |
---|---|
RingFactory |
factory
The current factory.
|
Modifier | Constructor and Description |
---|---|
protected |
ExtensionFieldBuilder()
Constructor not for use.
|
|
ExtensionFieldBuilder(RingFactory base)
Constructor.
|
Modifier and Type | Method and Description |
---|---|
ExtensionFieldBuilder |
algebraicExtension(java.lang.String var,
java.lang.String expr)
Algebraic field extension.
|
static ExtensionFieldBuilder |
baseField(RingFactory base)
Set base field.
|
RingFactory |
build()
Build the field tower.
|
ExtensionFieldBuilder |
complexAlgebraicExtension(java.lang.String var,
java.lang.String expr,
java.lang.String root)
Complex algebraic field extension.
|
ExtensionFieldBuilder |
polynomialExtension(java.lang.String vars)
Polynomial ring extension.
|
ExtensionFieldBuilder |
realAlgebraicExtension(java.lang.String var,
java.lang.String expr,
java.lang.String root)
Real algebraic field extension.
|
java.lang.String |
toScript()
Get a scripting compatible string representation.
|
java.lang.String |
toString()
String representation of the ideal.
|
ExtensionFieldBuilder |
transcendentExtension(java.lang.String vars)
Transcendent field extension.
|
public final RingFactory factory
protected ExtensionFieldBuilder()
public ExtensionFieldBuilder(RingFactory base)
base
- the base field.public RingFactory build()
public static ExtensionFieldBuilder baseField(RingFactory base)
base
- the base field for the extensions.public ExtensionFieldBuilder transcendentExtension(java.lang.String vars)
vars
- names for the transcendent generators.public ExtensionFieldBuilder polynomialExtension(java.lang.String vars)
vars
- names for the polynomial ring generators.public ExtensionFieldBuilder algebraicExtension(java.lang.String var, java.lang.String expr)
var
- name(s) for the algebraic generator(s).expr
- generating expresion, a univariate or multivariate polynomial
in vars.public ExtensionFieldBuilder realAlgebraicExtension(java.lang.String var, java.lang.String expr, java.lang.String root)
var
- name for the algebraic generator.expr
- generating expresion, a univariate polynomial in var.root
- isolating interval for a real root.public ExtensionFieldBuilder complexAlgebraicExtension(java.lang.String var, java.lang.String expr, java.lang.String root)
var
- name for the algebraic generator.expr
- generating expresion, a univariate polynomial in var.root
- isolating rectangle for a complex root.public java.lang.String toString()
toString
in class java.lang.Object
Object.toString()
public java.lang.String toScript()
Element.toScript()