edu.jas.poly
Class RelationTable

java.lang.Object
  edu.jas.poly.RelationTable

All Implemented Interfaces:

java.io.Serializable

public class RelationTable
extends java.lang.Object
implements java.io.Serializable

RelationTable for solvable polynomials.

See Also:

Serialized Form

Constructor Summary

RelationTable()
Constructors for RelationTable

Method Summary

RelationTable	contract(int i) Contract variables.
RelationTable	extend(int i, java.lang.String[] v) Extend variables.
int	getNumvar()
TableRelation	lookup(ExpVector e, ExpVector f, OrderedPolynomial one)
int	size()
java.lang.String	toString()
java.lang.String	toString(java.lang.String[] vars)
void	update(ExpVector e, ExpVector f, OrderedPolynomial p)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Constructor Detail

RelationTable

public RelationTable()

Constructors for RelationTable

Method Detail

getNumvar

public int getNumvar()

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object

toString

public java.lang.String toString(java.lang.String[] vars)

update

public void update(ExpVector e,
                   ExpVector f,
                   OrderedPolynomial p)

lookup

public TableRelation lookup(ExpVector e,
                            ExpVector f,
                            OrderedPolynomial one)

size

public int size()

extend

public RelationTable extend(int i,
                            java.lang.String[] v)

Extend variables. Used e.g. in module embedding. Extend all ExpVectors by i elements.

contract

public RelationTable contract(int i)

Contract variables. Used e.g. in module embedding. remove i elements of each ExpVector.