Package edu.jas.poly

Generic coefficients polynomial package.

See: Description

Interface Summary

Interface	Description
Polynomial<C extends RingElem<C>>	Polynomial interface.
PolynomialRing<C extends RingElem<C>>	Polynomial factory interface.
RelationGenerator<C extends RingElem<C>>	Generate Relation Tables for solvable polynomial rings.

Class Summary

Class	Description
AlgebraicNumber<C extends RingElem<C>>	Algebraic number class based on GenPolynomial with RingElem interface.
AlgebraicNumberRing<C extends RingElem<C>>	Algebraic number factory class based on GenPolynomial with RingElem interface.
Complex<C extends RingElem<C>>	Generic Complex class implementing the RingElem interface.
ComplexRing<C extends RingElem<C>>	Generic Complex ring factory implementing the RingFactory interface.
Examples	Examples for polynomials usage.
ExpVector	ExpVector implements exponent vectors for polynomials.
ExpVectorByte	ExpVectorByte implements exponent vectors for polynomials using arrays of byte as storage unit.
ExpVectorInteger	ExpVectorInteger implements exponent vectors for polynomials using arrays of int as storage unit.
ExpVectorLong	ExpVectorLong implements exponent vectors for polynomials using arrays of long as storage unit.
ExpVectorPair	ExpVectorPair implements pairs of exponent vectors for S-polynomials.
ExpVectorShort	ExpVectorShort implements exponent vectors for polynomials using arrays of short as storage unit.
GenPolynomial<C extends RingElem<C>>	GenPolynomial generic polynomials implementing RingElem.
GenPolynomialRing<C extends RingElem<C>>	GenPolynomialRing generic polynomial factory implementing RingFactory; Factory for n-variate ordered polynomials over C.
GenPolynomialTokenizer	GenPolynomial Tokenizer.
GenSolvablePolynomial<C extends RingElem<C>>	GenSolvablePolynomial generic solvable polynomials implementing RingElem.
GenSolvablePolynomialRing<C extends RingElem<C>>	GenSolvablePolynomialRing generic solvable polynomial factory implementing RingFactory and extending GenPolynomialRing factory.
GenWordPolynomial<C extends RingElem<C>>	GenWordPolynomial generic polynomials implementing RingElem.
GenWordPolynomialRing<C extends RingElem<C>>	GenWordPolynomialRing generic polynomial factory implementing RingFactory; Factory for non-commutative string polynomials over C.
Local<C extends RingElem<C>>	Local element based on RingElem pairs.
LocalRing<C extends RingElem<C>>	Local ring factory based on RingElem principal ideal.
ModuleList<C extends RingElem<C>>	List of vectors of polynomials.
Monomial<C extends RingElem<C>>	Monomial class.
OptimizedPolynomialList<C extends RingElem<C>>	Container for optimization results.
OrderedModuleList<C extends RingElem<C>>	Ordered list of vectors of polynomials.
OrderedPolynomialList<C extends RingElem<C>>	Ordered list of polynomials.
Overlap	Container for overlap words.
OverlapList	Container for lists of overlap words.
PolyIterator<C extends RingElem<C>>	Iterator over monomials of a polynomial.
PolynomialComparator<C extends RingElem<C>>	Comparator for polynomials.
PolynomialList<C extends RingElem<C>>	List of polynomials.
PolyUtil	Polynomial utilities, for example conversion between different representations, evaluation and interpolation.
Quotient<C extends RingElem<C>>	Quotient element based on RingElem pairs.
QuotientRing<C extends RingElem<C>>	Quotient ring factory using RingElem and RingFactory.
RecSolvablePolynomial<C extends RingElem<C>>	RecSolvablePolynomial generic recursive solvable polynomials implementing RingElem.
RecSolvablePolynomialRing<C extends RingElem<C>>	RecSolvablePolynomialRing generic recursive solvable polynomial factory implementing RingFactory and extending GenSolvablePolynomialRing factory.
RelationTable<C extends RingElem<C>>	RelationTable for solvable polynomials.
Residue<C extends RingElem<C>>	Residue element based on RingElem residue.
ResidueRing<C extends RingElem<C>>	Residue ring factory based on RingElem and RingFactory module.
TableRelation<C extends RingElem<C>>	TableRelation container for storage and printing in RelationTable.
TermOrder	Term order class for ordered polynomials.
TermOrder.EVComparator	Comparator for ExpVectors.
TermOrderOptimization	Term order optimization.
WeylRelations<C extends RingElem<C>>	Generate Relation Table for Weyl Algebras Adds the respective relations to the relation table of the given solvable ring factory.
WeylRelationsIterated<C extends RingElem<C>>	Generate Relation Table for Weyl Algebras Adds the respective relations to the relation table of the given solvable ring factory.
Word	Word implements strings of letters for polynomials.
WordFactory	WordFactory implements alphabet related methods.
WordFactory.WordComparator	Comparator for Words.
WordMonomial<C extends RingElem<C>>	WordMonomial class.
WordPolyIterator<C extends RingElem<C>>	Iterator over monomials of a polynomial.

Enum Summary

Enum	Description
ExpVector.StorUnit	Storage representation of exponent arrays.

Exception Summary

Exception	Description
AlgebraicNotInvertibleException	Algebraic number NotInvertibleException class.
InvalidExpressionException	Invalid expression exception class.

Package edu.jas.poly Description

Generic coefficients polynomial package.

This package contains classes for polynomial, solvable polynomial and free non-commutative polynomial arithmetic, e.g. GenPolynomial, GenSolvablePolynomial or GenWordPolynomial over coefficient rings which implement the RingElem interface. For arithmetic of commutative exponents and words over arbitrary alphabets are the classes ExpVector and Word with WordFactory. Other classes contained in this package are AlgebraicNumber, PolyUtil and a polynomial parser GenPolynomialTokenizer. Some classes implement quotient rings or residue class rings, etc., based only on the interfaces in the edu.jas.structure package.

Heinz Kredel

Last modified: Fri Sep 21 21:50:21 CEST 2012

$Id$