|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectcom.perisic.ring.Ring
com.perisic.ring.UniversalRing
public abstract class UniversalRing
An abstract class for an universal ring. It can be used to implement a cyclotomic field of all unit roots (an inifinite algebraic extension) or a polynomial ring over an infinite number of variables. See the abstract method findRing(...) for details.
Field Summary |
---|
Fields inherited from class com.perisic.ring.Ring |
---|
C, F2, Q, R, Z |
Constructor Summary | |
---|---|
UniversalRing()
No parameters in the constructor |
Method Summary | |
---|---|
RingElt |
add(RingElt a,
RingElt b)
Addition. |
RingElt |
ediv(RingElt a,
RingElt b)
Euclidian division. |
boolean |
equalZero(RingElt b)
true if b == 0. |
abstract Ring |
findRing()
A suitable ring able to map 0 (and 1). |
abstract Ring |
findRing(RingElt a)
A suitable ring able to map a. |
abstract Ring |
findRing(RingElt a,
RingElt b)
A suitable ring able to map a and b. |
RingElt |
gcd(RingElt a,
RingElt b)
gcd. |
RingElt |
inv(RingElt a)
Multiplicative Inverse. |
RingElt |
map(RingElt a)
Maps a RingElt using the findRing() method with one parameter. |
RingElt |
map(java.lang.String str)
Maps a string to the ring obtained by findRing() without parameter. |
RingElt |
mod(RingElt a,
RingElt b)
Modular computation. |
RingElt |
mult(RingElt a,
RingElt b)
Multiplication. |
RingElt |
neg(RingElt b)
The additive inverse of b. |
RingElt |
one()
The 1 of the ring. |
RingElt |
tdiv(RingElt a,
RingElt b)
True division. |
java.lang.String |
toString()
|
RingElt |
zero()
The 0 of the ring. |
Methods inherited from class com.perisic.ring.Ring |
---|
div, eltToString, equal, evaluatePolynomial, isEuclidian, isField, 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 UniversalRing()
Method Detail |
---|
public java.lang.String toString()
toString
in class java.lang.Object
public RingElt add(RingElt a, RingElt b)
add
in class Ring
public RingElt mult(RingElt a, RingElt b)
mult
in class Ring
public RingElt tdiv(RingElt a, RingElt b)
tdiv
in class Ring
public RingElt ediv(RingElt a, RingElt b)
ediv
in class Ring
public RingElt mod(RingElt a, RingElt b)
mod
in class Ring
public RingElt gcd(RingElt a, RingElt b)
gcd
in class Ring
public RingElt inv(RingElt a)
inv
in class Ring
public RingElt neg(RingElt b)
neg
in class Ring
public RingElt one()
one
in class Ring
public RingElt zero()
zero
in class Ring
public boolean equalZero(RingElt b)
equalZero
in class Ring
public RingElt map(java.lang.String str)
map
in class Ring
public RingElt map(RingElt a)
map
in class Ring
public abstract Ring findRing()
public abstract Ring findRing(RingElt a)
public abstract Ring findRing(RingElt a, RingElt b)
|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |