|
|||||||||
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.RationalField
public class RationalField
The field Q of rational numbers. The only instance of this field is Ring.Q
Field Summary |
---|
Fields inherited from class com.perisic.ring.Ring |
---|
C, F2, R, Z |
Method Summary | |
---|---|
RingElt |
add(RingElt a,
RingElt b)
Returns a + b. |
RingElt |
construct(java.math.BigInteger numerator,
java.math.BigInteger denominator)
Returns numerator/denominator. |
static java.math.BigInteger |
denominatorToBigInteger(RingElt b)
Returns the denominator s if b = r/s. |
boolean |
equalZero(RingElt b)
True if b == 0. |
RingElt |
inv(RingElt b)
Returns the multiplicative inverse. |
boolean |
isField()
Returns true. |
static boolean |
isIntegral(RingElt b)
true if denominator of b equals 1. |
RingElt |
map(RingElt a)
Maps Ring.Z elements and into this. |
RingElt |
map(java.lang.String a)
Maps the String a of the form xxxxx/yyyyy and xxxxxx into this field. |
RingElt |
mult(RingElt a,
RingElt b)
Returns a * b. |
RingElt |
neg(RingElt b)
Returns -b. |
static java.math.BigInteger |
numeratorToBigInteger(RingElt b)
Returns the numerator r if b = r/s. |
RingElt |
one()
Returns 1. |
java.lang.String |
toString()
Returns "Q". |
RingElt |
zero()
Returns 0. |
Methods inherited from class com.perisic.ring.Ring |
---|
div, ediv, eltToString, equal, evaluatePolynomial, gcd, isEuclidian, isUFD, map, map, map, mod, pow, pow, sub, tdiv |
Methods inherited from class java.lang.Object |
---|
equals, getClass, hashCode, notify, notifyAll, wait, wait, wait |
Method Detail |
---|
public boolean isField()
isField
in class Ring
public RingElt add(RingElt a, RingElt b)
add
in class Ring
public RingElt mult(RingElt a, RingElt b)
mult
in class Ring
public RingElt one()
one
in class Ring
public RingElt zero()
zero
in class Ring
public RingElt inv(RingElt b)
inv
in class Ring
public RingElt neg(RingElt b)
neg
in class Ring
public boolean equalZero(RingElt b)
equalZero
in class Ring
public RingElt map(RingElt a)
map
in class Ring
public java.lang.String toString()
toString
in class java.lang.Object
public static boolean isIntegral(RingElt b)
public static java.math.BigInteger numeratorToBigInteger(RingElt b)
public static java.math.BigInteger denominatorToBigInteger(RingElt b)
public RingElt construct(java.math.BigInteger numerator, java.math.BigInteger denominator)
public RingElt map(java.lang.String a)
map
in class Ring
RingException
- if the String is not of the form above.
|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |