public class RelationTable<C extends RingElem<C>> extends java.lang.Object implements java.io.Serializable
Modifier and Type | Field and Description |
---|---|
GenSolvablePolynomialRing<C> |
ring
The factory for the solvable polynomial ring.
|
java.util.Map<java.util.List<java.lang.Integer>,java.util.List> |
table
The data structure for the relations.
|
Modifier | Constructor and Description |
---|---|
protected |
RelationTable(GenSolvablePolynomialRing<C> r)
Constructor for RelationTable requires ring factory.
|
Modifier and Type | Method and Description |
---|---|
void |
contract(RelationTable<C> tab)
Contract variables.
|
boolean |
equals(java.lang.Object p)
RelationTable equals.
|
void |
extend(RelationTable<C> tab)
Extend variables.
|
int |
hashCode()
Hash code for this relation table.
|
edu.jas.poly.TableRelation<C> |
lookup(ExpVector e,
ExpVector f)
Lookup RelationTable for existing relation.
|
protected java.util.List<java.lang.Integer> |
makeKey(ExpVector e,
ExpVector f)
Construct a key for (e,f).
|
void |
reverse(RelationTable<C> tab)
Reverse variables and relations.
|
int |
size()
Size of the table.
|
java.lang.String |
toScript()
Get a scripting compatible string representation.
|
java.lang.String |
toString()
Get the String representation.
|
java.lang.String |
toString(java.lang.String[] vars)
Get the String representation.
|
void |
update(ExpVector e,
ExpVector f,
GenSolvablePolynomial<C> p)
Update or initialize RelationTable with new relation. relation is e * f =
p.
|
void |
update(GenPolynomial<C> E,
GenPolynomial<C> F,
GenPolynomial<C> p)
Update or initialize RelationTable with new relation. relation is e * f =
p.
|
void |
update(GenPolynomial<C> E,
GenPolynomial<C> F,
GenSolvablePolynomial<C> p)
Update or initialize RelationTable with new relation. relation is e * f =
p.
|
public final java.util.Map<java.util.List<java.lang.Integer>,java.util.List> table
public final GenSolvablePolynomialRing<C extends RingElem<C>> ring
protected RelationTable(GenSolvablePolynomialRing<C> r)
r
- solvable polynomial ring factory.public boolean equals(java.lang.Object p)
equals
in class java.lang.Object
Object.equals(java.lang.Object)
public int hashCode()
hashCode
in class java.lang.Object
Object.hashCode()
public java.lang.String toString()
toString
in class java.lang.Object
Object.toString()
public java.lang.String toString(java.lang.String[] vars)
vars
- names for the variables.Object.toString()
public java.lang.String toScript()
public void update(ExpVector e, ExpVector f, GenSolvablePolynomial<C> p)
e
- first term.f
- second term.p
- solvable product polynomial.public void update(GenPolynomial<C> E, GenPolynomial<C> F, GenSolvablePolynomial<C> p)
E
- first term polynomial.F
- second term polynomial.p
- solvable product polynomial.public void update(GenPolynomial<C> E, GenPolynomial<C> F, GenPolynomial<C> p)
E
- first term polynomial.F
- second term polynomial.p
- product polynomial.public edu.jas.poly.TableRelation<C> lookup(ExpVector e, ExpVector f)
e
- first term.f
- second term.protected java.util.List<java.lang.Integer> makeKey(ExpVector e, ExpVector f)
e
- first term.f
- second term.public int size()
public void extend(RelationTable<C> tab)
tab
- a relation table to be extended and inserted into this.public void contract(RelationTable<C> tab)
tab
- a relation table to be contracted and inserted into this.public void reverse(RelationTable<C> tab)
tab
- a relation table to be reverted and inserted into this.