|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Object com.perisic.ring.Ring com.perisic.ring.UniversalRing com.perisic.ring.UniversalCyclotomicField
public class UniversalCyclotomicField
The infinite algebraic extension of Q which contains all unit roots.
Field Summary |
---|
Fields inherited from class com.perisic.ring.Ring |
---|
C, F2, Q, R, Z |
Constructor Summary | |
---|---|
UniversalCyclotomicField(java.lang.String unitRootPrefix)
Construct the universal cyclotomic field by the prefix for the variable. |
Method Summary | |
---|---|
Ring |
findRing()
A suitable ring able to map 0 (and 1). |
Ring |
findRing(RingElt a)
Returns the ring of the argument a if this a Cyclotomic field or Q. |
Ring |
findRing(RingElt a,
RingElt b)
Returns cyaclotomic field which contains both a and b. |
boolean |
isField()
returns true, as this is a field. |
static void |
main(java.lang.String[] args)
This is for testing this class only. |
RingElt |
map(int n,
java.lang.String str)
maps the string str into the n-th cyclotomic field |
RingElt |
map(RingElt r)
The following Rings are mapped: Cyclotomic fields, where the variable is of the form z* where z ist the preifx of the variable and * is a number; Polynomial rings and Quotient fields over Polynomial rings where the variables are of the form z*; the usual suspects (Z, Q). |
RingElt |
map(java.lang.String str)
Strings denoting Rational functions (elements of Quotient fields of Polynomial rings) over variables of the form z* where z ist the preifx of the variable and * is a number; are mapped. |
java.lang.String |
toString()
|
Methods inherited from class com.perisic.ring.UniversalRing |
---|
add, ediv, equalZero, gcd, inv, mod, mult, neg, one, tdiv, zero |
Methods inherited from class com.perisic.ring.Ring |
---|
div, eltToString, equal, evaluatePolynomial, isEuclidian, isUFD, map, map, map, pow, pow, sub |
Methods inherited from class java.lang.Object |
---|
equals, getClass, hashCode, notify, notifyAll, wait, wait, wait |
Constructor Detail |
---|
public UniversalCyclotomicField(java.lang.String unitRootPrefix)
Method Detail |
---|
public boolean isField()
isField
in class Ring
public java.lang.String toString()
toString
in class UniversalRing
public RingElt map(int n, java.lang.String str)
public RingElt map(RingElt r)
map
in class UniversalRing
public RingElt map(java.lang.String str)
map
in class UniversalRing
public Ring findRing()
UniversalRing
findRing
in class UniversalRing
public Ring findRing(RingElt a)
findRing
in class UniversalRing
RingException
public Ring findRing(RingElt a, RingElt b)
findRing
in class UniversalRing
public static void main(java.lang.String[] args)
|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |