edu.jas.poly
Class SolvableOrderedMapPolynomial

java.lang.Object
  edu.jas.poly.OrderedMapPolynomial
      edu.jas.poly.SolvableOrderedMapPolynomial

All Implemented Interfaces:

OrderedPolynomial, SolvablePolynomial, java.io.Serializable, java.lang.Cloneable

Direct Known Subclasses:

ComplexSolvableOrderedMapPolynomial, IntSolvableOrderedMapPolynomial, QuatSolvableOrderedMapPolynomial, RatSolvableOrderedMapPolynomial

public abstract class SolvableOrderedMapPolynomial
extends OrderedMapPolynomial
implements SolvablePolynomial

Solvable Ordered Map Polynomial. Abstract implementation of Solvable OrderedPolynomial. Implementation based on Sorted Map / TreeMap

See Also:

Serialized Form

Field Summary

protected RelationTable

table

Fields inherited from class edu.jas.poly.OrderedMapPolynomial

order, val, vars

Constructor Summary

SolvableOrderedMapPolynomial(RelationTable table)
Constructors for SolvableOrderedMapPolynomial

SolvableOrderedMapPolynomial(RelationTable table, Coefficient a, ExpVector e)

SolvableOrderedMapPolynomial(RelationTable table, int r)

SolvableOrderedMapPolynomial(RelationTable table, java.util.Map t)

SolvableOrderedMapPolynomial(RelationTable table, OrderedPolynomial o)

SolvableOrderedMapPolynomial(RelationTable table, java.lang.String[] v)

SolvableOrderedMapPolynomial(RelationTable table, TermOrder to)

SolvableOrderedMapPolynomial(RelationTable table, TermOrder to, Coefficient a, ExpVector e)

SolvableOrderedMapPolynomial(RelationTable table, TermOrder to, java.util.Map t)

SolvableOrderedMapPolynomial(RelationTable table, TermOrder to, OrderedPolynomial o)

SolvableOrderedMapPolynomial(RelationTable table, TermOrder to, UnorderedPolynomial u)

SolvableOrderedMapPolynomial(RelationTable table, UnorderedPolynomial u)

Method Summary

java.util.Map	contract(int i, RelationTable contab) Contract variables.
OrderedPolynomial	extend(int i, int j, long k, java.lang.String[] v, RelationTable extab) Extend variables.
abstract SolvablePolynomial	getONE(RelationTable table)
abstract SolvablePolynomial	getONE(RelationTable table, TermOrder t)
RelationTable	getRelationTable() Methods of SolvableOrderedMapPolynomial
abstract SolvablePolynomial	getZERO(RelationTable table)
abstract SolvablePolynomial	getZERO(RelationTable table, TermOrder t)
OrderedPolynomial	multiply(Coefficient b) Product with number.
OrderedPolynomial	multiply(Coefficient b, ExpVector e) Product with number and exponent vector.
OrderedPolynomial	multiply(OrderedPolynomial Bp) Multiply.
SolvablePolynomial	multiplyLeft(Coefficient b, ExpVector e) Left product with number and exponent vector.
SolvablePolynomial	multiplyLeft(ExpVector e) Left product with exponent vector.
SolvablePolynomial	multiplyLeft(java.util.Map.Entry m) Product with 'monomial'.
java.lang.String	toString()

Methods inherited from class edu.jas.poly.OrderedMapPolynomial

add, add, clone, contract, DIPDIF, DIPLBC, DIPLEV, DIPLM, DIPNEG, DIPNOV, DIPONE, DIPPR, DIPRP, DIPRP, DIPRP, DIPSUM, DIPZERO, equals, extend, getMap, getONE, getONE, getTermOrder, getVars, getZERO, getZERO, isONE, isZERO, leadingBaseCoefficient, leadingExpVector, leadingMonomial, length, monic, multiply, multiply, multiplyA, negate, numberOfVariables, setVars, subtract, subtract, toString

Methods inherited from class java.lang.Object

finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Methods inherited from interface edu.jas.poly.OrderedPolynomial

add, add, equals, getMap, getONE, getONE, getTermOrder, getVars, getZERO, getZERO, isONE, isZERO, leadingBaseCoefficient, leadingExpVector, leadingMonomial, length, monic, multiply, multiply, negate, numberOfVariables, setVars, subtract, subtract, toString

Field Detail

table

protected final RelationTable table

Constructor Detail

SolvableOrderedMapPolynomial

public SolvableOrderedMapPolynomial(RelationTable table)

Constructors for SolvableOrderedMapPolynomial

SolvableOrderedMapPolynomial

public SolvableOrderedMapPolynomial(RelationTable table,
                                    int r)

SolvableOrderedMapPolynomial

public SolvableOrderedMapPolynomial(RelationTable table,
                                    java.util.Map t)

SolvableOrderedMapPolynomial

public SolvableOrderedMapPolynomial(RelationTable table,
                                    java.lang.String[] v)

SolvableOrderedMapPolynomial

public SolvableOrderedMapPolynomial(RelationTable table,
                                    Coefficient a,
                                    ExpVector e)

SolvableOrderedMapPolynomial

public SolvableOrderedMapPolynomial(RelationTable table,
                                    TermOrder to,
                                    Coefficient a,
                                    ExpVector e)

SolvableOrderedMapPolynomial

public SolvableOrderedMapPolynomial(RelationTable table,
                                    TermOrder to)

SolvableOrderedMapPolynomial

public SolvableOrderedMapPolynomial(RelationTable table,
                                    TermOrder to,
                                    java.util.Map t)

SolvableOrderedMapPolynomial

public SolvableOrderedMapPolynomial(RelationTable table,
                                    OrderedPolynomial o)

SolvableOrderedMapPolynomial

public SolvableOrderedMapPolynomial(RelationTable table,
                                    UnorderedPolynomial u)

SolvableOrderedMapPolynomial

public SolvableOrderedMapPolynomial(RelationTable table,
                                    TermOrder to,
                                    UnorderedPolynomial u)

SolvableOrderedMapPolynomial

public SolvableOrderedMapPolynomial(RelationTable table,
                                    TermOrder to,
                                    OrderedPolynomial o)

Method Detail

getRelationTable

public RelationTable getRelationTable()

Methods of SolvableOrderedMapPolynomial

Specified by:

getRelationTable in interface SolvablePolynomial

getZERO

public abstract SolvablePolynomial getZERO(RelationTable table)

Specified by:

getZERO in interface SolvablePolynomial

getZERO

public abstract SolvablePolynomial getZERO(RelationTable table,
                                           TermOrder t)

Specified by:

getZERO in interface SolvablePolynomial

getONE

public abstract SolvablePolynomial getONE(RelationTable table)

Specified by:

getONE in interface SolvablePolynomial

getONE

public abstract SolvablePolynomial getONE(RelationTable table,
                                          TermOrder t)

Specified by:

getONE in interface SolvablePolynomial

toString

public java.lang.String toString()

Specified by:

toString in interface OrderedPolynomial

Overrides:

toString in class OrderedMapPolynomial

multiply

public OrderedPolynomial multiply(OrderedPolynomial Bp)

Multiply. Implementation using map.put on result polynomial.

Specified by:

multiply in interface OrderedPolynomial

Overrides:

multiply in class OrderedMapPolynomial

multiply

public OrderedPolynomial multiply(Coefficient b)

Product with number.

Specified by:

multiply in interface OrderedPolynomial

Overrides:

multiply in class OrderedMapPolynomial

multiply

public OrderedPolynomial multiply(Coefficient b,
                                  ExpVector e)

Product with number and exponent vector.

Specified by:

multiply in interface OrderedPolynomial

Overrides:

multiply in class OrderedMapPolynomial

multiplyLeft

public SolvablePolynomial multiplyLeft(Coefficient b,
                                       ExpVector e)

Left product with number and exponent vector.

Specified by:

multiplyLeft in interface SolvablePolynomial

multiplyLeft

public SolvablePolynomial multiplyLeft(ExpVector e)

Left product with exponent vector.

Specified by:

multiplyLeft in interface SolvablePolynomial

multiplyLeft

public SolvablePolynomial multiplyLeft(java.util.Map.Entry m)

Product with 'monomial'.

Specified by:

multiplyLeft in interface SolvablePolynomial

extend

public OrderedPolynomial extend(int i,
                                int j,
                                long k,
                                java.lang.String[] v,
                                RelationTable extab)

Extend variables. Used e.g. in module embedding. Extend all ExpVectors by i elements and multiply by x_j^k.

contract

public java.util.Map contract(int i,
                              RelationTable contab)

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