public class ResidueRing<C extends RingElem<C>> extends java.lang.Object implements RingFactory<Residue<C>>
Modifier and Type | Field and Description |
---|---|
protected int |
isField
Indicator if this ring is a field.
|
protected C |
modul
Ring element for reduction.
|
protected RingFactory<C> |
ring
Ring factory.
|
Constructor and Description |
---|
ResidueRing(RingFactory<C> r,
C m)
The constructor creates a ResidueRing object
from an ring factory and a modul.
|
Modifier and Type | Method and Description |
---|---|
java.math.BigInteger |
characteristic()
Characteristic of this ring.
|
Residue<C> |
copy(Residue<C> c)
Copy Residue element c.
|
boolean |
equals(java.lang.Object b)
Comparison with any other object.
|
Residue<C> |
fromInteger(java.math.BigInteger a)
Get a Residue element from a BigInteger value.
|
Residue<C> |
fromInteger(long a)
Get a Residue element from a long value.
|
java.util.List<Residue<C>> |
generators()
Get a list of the generating elements.
|
Residue<C> |
getONE()
Get the one element.
|
Residue<C> |
getZERO()
Get the zero element.
|
int |
hashCode()
Hash code for this residue ring.
|
boolean |
isAssociative()
Query if this ring is associative.
|
boolean |
isCommutative()
Query if this ring is commutative.
|
boolean |
isField()
Query if this ring is a field.
|
boolean |
isFinite()
Is this structure finite or infinite.
|
Residue<C> |
parse(java.io.Reader r)
Parse Residue from Reader.
|
Residue<C> |
parse(java.lang.String s)
Parse Residue from String.
|
Residue<C> |
random(int n)
Residue random.
|
Residue<C> |
random(int n,
java.util.Random rnd)
Residue random.
|
java.lang.String |
toScript()
Get a scripting compatible string representation.
|
java.lang.String |
toString()
Get the String representation as RingFactory.
|
protected final RingFactory<C extends RingElem<C>> ring
protected int isField
public ResidueRing(RingFactory<C> r, C m)
r
- ring factory.m
- modul.public boolean isFinite()
isFinite
in interface ElemFactory<Residue<C extends RingElem<C>>>
ElemFactory.isFinite()
public java.util.List<Residue<C>> generators()
generators
in interface ElemFactory<Residue<C extends RingElem<C>>>
ElemFactory.generators()
public boolean isCommutative()
isCommutative
in interface MonoidFactory<Residue<C extends RingElem<C>>>
public boolean isAssociative()
isAssociative
in interface MonoidFactory<Residue<C extends RingElem<C>>>
public boolean isField()
public java.math.BigInteger characteristic()
characteristic
in interface RingFactory<Residue<C extends RingElem<C>>>
public Residue<C> fromInteger(java.math.BigInteger a)
fromInteger
in interface ElemFactory<Residue<C extends RingElem<C>>>
a
- BigInteger.public Residue<C> fromInteger(long a)
fromInteger
in interface ElemFactory<Residue<C extends RingElem<C>>>
a
- long.public java.lang.String toString()
toString
in class java.lang.Object
Object.toString()
public java.lang.String toScript()
toScript
in interface ElemFactory<Residue<C extends RingElem<C>>>
ElemFactory.toScript()
public boolean equals(java.lang.Object b)
equals
in class java.lang.Object
Object.equals(java.lang.Object)
public int hashCode()
hashCode
in class java.lang.Object
Object.hashCode()