|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectorg.rubato.math.arith.RingString
public abstract class RingString
The ring of strings.
Strings are represented by sum(a_i*s_i),
where the a_i are elements in a ring
and the s_i are character strings (String
).
Constructor Summary | |
---|---|
RingString(RingString rs)
Creates a new RingString instance. |
Method Summary | |
---|---|
void |
add(RingString x)
Add x to this. |
abstract java.lang.Object |
clone()
|
int |
compareTo(RingString rs)
|
RingString |
difference(RingString x)
Returns the difference of this and x . |
boolean |
equals(java.lang.Object object)
Two RingString's are equal if they have the same character strings and the corresponding factors of each are equal. |
static double[] |
fold(RingString[] elements)
|
java.lang.Object |
getFactorForString(java.lang.String word)
Returns the factor for the character string. |
java.lang.String |
getString()
Returns one character string in the RingString. |
java.util.Set<java.lang.String> |
getStrings()
Returns a Set of all the strings in the terms of the RingString. |
int |
hashCode()
|
void |
multiply(RingString x)
Multiply this by x . |
void |
negate()
Negate all factors in this. |
RingString |
negated()
Returns this with all factors negated. |
RingString |
product(RingString x)
Returns the product of this and x |
void |
scale(java.lang.Object x)
Scale this by x . |
RingString |
scaled(java.lang.Object x)
Returns this scaled by x . |
java.lang.String |
stringRep()
|
static double |
StringToDouble(java.lang.String s)
|
void |
subtract(RingString x)
Subtract x from this. |
RingString |
sum(RingString x)
Returns the sum of this and x . |
java.lang.String |
toString()
|
Methods inherited from class java.lang.Object |
---|
getClass, notify, notifyAll, wait, wait, wait |
Constructor Detail |
---|
public RingString(RingString rs)
RingString
instance.
Copy constructor.
Method Detail |
---|
public java.lang.String getString()
public java.util.Set<java.lang.String> getStrings()
public java.lang.Object getFactorForString(java.lang.String word)
public RingString sum(RingString x)
x
.
public void add(RingString x)
x
to this.
public RingString difference(RingString x)
x
.
public void subtract(RingString x)
x
from this.
public RingString product(RingString x)
x
public void multiply(RingString x)
x
.
public RingString negated()
public void negate()
public RingString scaled(java.lang.Object x)
x
.
public void scale(java.lang.Object x)
x
.
public boolean equals(java.lang.Object object)
equals
in class java.lang.Object
public int compareTo(RingString rs)
compareTo
in interface java.lang.Comparable<RingString>
public abstract java.lang.Object clone()
clone
in class java.lang.Object
public int hashCode()
hashCode
in class java.lang.Object
public java.lang.String toString()
toString
in class java.lang.Object
public java.lang.String stringRep()
public static double StringToDouble(java.lang.String s)
public static double[] fold(RingString[] elements)
|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |