Package edu.jas.poly

package edu.jas.poly

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.

Polynomial overview

Polynomial ring overview

Heinz Kredel

Last modified: Mon Sep 22 00:25:48 CEST 2014

$Id$

Class	Description
AlgebraicNotInvertibleException	Algebraic number NotInvertibleException class.
AlgebraicNumber<C extends RingElem<C>>	Algebraic number class.
AlgebraicNumberRing<C extends RingElem<C>>	Algebraic number factory.
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.
ExpVector.StorUnit	Storage representation of exponent arrays.
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.
GenExteriorPolynomial<C extends RingElem<C>>	GenExteriorPolynomial generic polynomials implementing RingElem.
GenExteriorPolynomialRing<C extends RingElem<C>>	GenExteriorPolynomialRing generic antisymmetric polynomial factory implementing RingFactory; Factory for antisymmetric polynomials (in fact vectors) over C.
GenPolynomial<C extends RingElem<C>>	GenPolynomial generic polynomials implementing RingElem. n-variate ordered polynomials over coefficients C.
GenPolynomialRing<C extends RingElem<C>>	GenPolynomialRing generic polynomial factory.
GenPolynomialTokenizer	GenPolynomial Tokenizer.
GenSolvablePolynomial<C extends RingElem<C>>	GenSolvablePolynomial generic solvable polynomials implementing RingElem. n-variate ordered solvable polynomials over C.
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.
IndexFactory	IndexList factory implements a factory for index lists for exterior polynomials.
IndexFactory.IndexListComparator	Comparator for IndexLists.
IndexList	IndexList implements index lists for exterior polynomials.
IndexListMonomial<C extends RingElem<C>>	IndexListMonomial class.
IndexListPolyIterator<C extends RingElem<C>>	Iterator over monomials of a polynomial.
InvalidExpressionException	Invalid expression exception class.
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.
OptimizedModuleList<C extends RingElem<C>>	Container for optimization results.
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.
Polynomial<C extends RingElem<C>>	Polynomial interface.
PolynomialComparator<C extends RingElem<C>>	Comparator for polynomials.
PolynomialList<C extends RingElem<C>>	List of polynomials.
PolynomialRing<C extends RingElem<C>>	Polynomial factory interface.
PolySpliterator<C extends RingElem<C>>	Spliterator over monomials of a polynomial.
PolyUtil	Polynomial utilities, for example conversion between different representations, evaluation and interpolation.
QLRSolvablePolynomial<C extends GcdRingElem<C> & QuotPair<GenPolynomial<D>>, D extends GcdRingElem<D>>	QLRSolvablePolynomial generic recursive solvable polynomials implementing RingElem. n-variate ordered solvable polynomials over solvable quotient, local and local-residue coefficients.
QLRSolvablePolynomialRing<C extends GcdRingElem<C> & QuotPair<GenPolynomial<D>>, D extends GcdRingElem<D>>	QLRSolvablePolynomialRing generic recursive solvable polynomial factory implementing RingFactory and extending GenSolvablePolynomialRing factory.
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. n-variate ordered solvable polynomials over solvable polynomial coefficients.
RecSolvablePolynomialRing<C extends RingElem<C>>	RecSolvablePolynomialRing generic recursive solvable polynomial factory implementing RingFactory and extending GenSolvablePolynomialRing factory.
RecSolvableWordPolynomial<C extends RingElem<C>>	RecSolvableWordPolynomial generic recursive solvable polynomials implementing RingElem. n-variate ordered solvable polynomials over non-commutative word polynomial coefficients.
RecSolvableWordPolynomialRing<C extends RingElem<C>>	RecSolvableWordPolynomialRing generic recursive solvable polynomial factory implementing RingFactory and extending GenSolvablePolynomialRing factory.
RelationGenerator<C extends RingElem<C>>	Generate Relation Tables for solvable polynomial rings.
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.
TermOrderByName	Term order names for ordered polynomials.
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.