public class AlgebraicExtension extends ExtendedFreeGroup implements RingI
AlgebraicExtensionElement
Constructor and Description |
---|
AlgebraicExtension(RingI K,
Polynomial poly)
Create the ring K(t) where t is a solution of the monic polynomial p.
|
Modifier and Type | Method and Description |
---|---|
Polynomial |
getPoly()
Returns the polynomial defining the algebraic number.
|
Polynomial |
getSubsPoly()
Returns the polynomial -a_(n-1) t^(n-1) + ... + a_0.
|
java.lang.String |
toString() |
java.lang.Number |
valueOf(java.lang.Number[] coeffs) |
div, pow
add, addStandardConstants, equals, getBaseRing, getInverse, getONE, getRootVal, getSymbol, getTPoly, getZERO, isConstantPoly, mul, setRootVal, setRootVal, sub, valueOf
addStandardFunctions, getNumberFactory
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
add, addStandardConstants, addStandardFunctions, equals, getInverse, getNumberFactory, getZERO, isConstantPoly, sub, valueOf
public AlgebraicExtension(RingI K, Polynomial poly)
K
- the Ring this is an extension of.poly
- A monic polynomial whose solution gives an algebraic number which is used to generate this group.java.lang.IllegalArgumentException
- if the base ring of the poly is not the same.java.lang.IllegalArgumentException
- if the polynomial is not monic.public java.lang.Number valueOf(java.lang.Number[] coeffs)
public Polynomial getPoly()
public Polynomial getSubsPoly()
http://www.singularsys.com/jep Copyright © 2007 Singular Systems