public class AlgebraicNumberField<E extends IUnivariatePolynomial<E>> extends SimpleFieldExtension<E>
F(α) represented as a simple field extension, for details see SimpleFieldExtension.SimpleFieldExtension,
FiniteField,
Rings.AlgebraicNumberField(IUnivariatePolynomial),
Serialized Form| Constructor and Description |
|---|
AlgebraicNumberField(E minimalPoly)
Constructs a simple field extension
F(α) generated by the algebraic number α with the specified
minimal polynomial. |
| Modifier and Type | Method and Description |
|---|---|
E[] |
divideAndRemainder(E a,
E b)
Returns quotient and remainder of
dividend / divider |
E |
gcd(E a,
E b)
Returns the greatest common divisor of two elements
|
boolean |
isField()
Returns whether this ring is a field
|
boolean |
isUnit(E element)
Tests whether specified element is a ring unit
|
Iterator<E> |
iterator()
Returns iterator over ring elements (for finite rings, otherwise throws exception)
|
E |
normalizer(E element)
Gives an element
C(element) of this field extension with the property that element * C(element)
is in the base field. |
E |
remainder(E dividend,
E divider)
Returns the remainder of
dividend / divider |
add, addMutable, asMultipleExtension, cardinality, characteristic, compare, conjugatesProduct, copy, createArray, createArray2d, createArray2d, degree, equals, factor, factory, generator, getMinimalPolynomial, getMinimalPolynomialRef, getOne, getZero, hashCode, isEuclideanRing, isInTheBaseField, isOne, isZero, minimalPolynomial, multiply, multiplyMutable, negate, negateMutable, norm, normOfPolynomial, normOfPolynomial, nVariables, parse, randomElement, reciprocal, shouldReduceFast, subtract, subtractMutable, toString, toString, toString, trace, valueOf, valueOf, valueOfBigInteger, variableisPerfectPower, perfectPowerBase, perfectPowerExponentclone, finalize, getClass, notify, notifyAll, wait, wait, waitmkCoder, parse, signumabs, add, createArray, createArray, createArray, createZeroesArray, createZeroesArray2d, decrement, divideExact, divideExactMutable, divideOrNull, extendedGCD, factorial, factorSquareFree, fillZeros, firstBezoutCoefficient, gcd, gcd, getNegativeOne, increment, isFinite, isFiniteField, isMinusOne, isPerfectPower, isUnitOrZero, lcm, lcm, lcm, max, min, multiply, multiply, multiply, perfectPowerBase, perfectPowerExponent, pow, pow, pow, quotient, randomElement, randomElementTree, randomElementTree, randomNonZeroElement, setToValueOf, valueOfcomparing, comparing, comparingDouble, comparingInt, comparingLong, naturalOrder, nullsFirst, nullsLast, reversed, reverseOrder, thenComparing, thenComparing, thenComparing, thenComparingDouble, thenComparingInt, thenComparingLongforEach, spliteratorpublic AlgebraicNumberField(E minimalPoly)
F(α) generated by the algebraic number α with the specified
minimal polynomial.
NOTE: irreducibility test for the minimal polynomial is not performed here, use IrreduciblePolynomials.irreducibleQ(IUnivariatePolynomial) to test irreducibility.
minimalPoly - the minimal polynomialpublic boolean isField()
Ringpublic boolean isUnit(E element)
Ringelement - the ring elementRing.isOne(Object)public E gcd(E a, E b)
Ringa - the first elementb - the second elementpublic E[] divideAndRemainder(E a, E b)
Ringdividend / dividera - the dividendb - the divider{quotient, remainder}public E remainder(E dividend, E divider)
Ringdividend / dividerdividend - the dividenddivider - the dividerdividend / dividerpublic E normalizer(E element)
C(element) of this field extension with the property that element * C(element)
is in the base field.Copyright © 2022. All rights reserved.