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.
AlgebraicNumberModTest	AlgebraicNumber modular Test using JUnit.
AlgebraicNumberRing<C extends RingElem<C>>	Algebraic number factory.
AlgebraicNumberTest	AlgebraicNumber Test using JUnit.
ANumGenPolynomialTest	AlgebraicNumber coefficients GenPolynomial tests with JUnit.
Complex<C extends RingElem<C>>	Generic Complex class implementing the RingElem interface.
ComplexGenPolynomialTest	Complex coefficients GenPolynomial tests with JUnit.
ComplexRing<C extends RingElem<C>>	Generic Complex ring factory implementing the RingFactory interface.
ComplexTest	Complex test with JUnit.
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.
ExpVectorTest	ExpVector tests with JUnit.
GaloisFieldTest	Galois field tests with JUnit.
GenMatrixTest	GenMatrix tests with JUnit
GenPolynomial<C extends RingElem<C>>	GenPolynomial generic polynomials implementing RingElem. n-variate ordered polynomials over C.
GenPolynomialRing<C extends RingElem<C>>	GenPolynomialRing generic polynomial factory implementing RingFactory; Factory for n-variate ordered polynomials over C.
GenPolynomialTest	GenPolynomial tests with JUnit.
GenPolynomialTokenizer	GenPolynomial Tokenizer.
GenPolynomialTokenizerTest	GenPolynomialTokenizer tests with JUnit.
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.
GenSolvablePolynomialTest	GenSolvablePolynomial Test using JUnit.
GenVectorTest	GenVector tests with JUnit
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.
GenWordPolynomialTest	GenWordPolynomial tests with JUnit.
GFGenPolynomialTest	Galois field coefficients GenPolynomial tests with JUnit.
IntGenPolynomialTest	BigInteger coefficients GenPolynomial tests with JUnit.
Local<C extends RingElem<C>>	Local element based on RingElem pairs.
LocalRing<C extends RingElem<C>>	Local ring factory based on RingElem principal ideal.
LocalTest	Local tests with JUnit.
ModGenPolynomialTest	ModInteger coefficients GenPolynomial tests with JUnit.
ModGenSolvablePolynomialTest	ModInteger coefficients GenSolvablePolynomial tests with JUnit.
ModuleList<C extends RingElem<C>>	List of vectors of polynomials.
ModuleListTest	ModuleList tests with JUnit.
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.
PolynomialComparator<C extends RingElem<C>>	Comparator for polynomials.
PolynomialList<C extends RingElem<C>>	List of polynomials.
PolynomialListTest	PolynomialList Test using JUnit.
PolyUtil	Polynomial utilities, for example conversion between different representations, evaluation and interpolation.
PolyUtilTest	PolyUtil tests with JUnit.
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.
QuatGenPolynomialTest	BigQuaternion coefficients GenPolynomial tests with JUnit.
QuatGenSolvablePolynomialTest	BigQuaternion coefficients GenSolvablePolynomial tests with JUnit.
Quotient<C extends RingElem<C>>	Quotient element based on RingElem pairs.
QuotientRing<C extends RingElem<C>>	Quotient ring factory using RingElem and RingFactory.
QuotientTest	Quotient tests with JUnit.
RatGenPolynomialTest	BigRational coefficients GenPolynomial tests with JUnit.
RatGenSolvablePolynomialTest	BigRational coefficients GenSolvablePolynomial tests with JUnit.
RatPolyGenPolynomialTest	BigRational coefficients GenPolynomial coefficients GenPolynomial tests with JUnit.
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.
RecSolvablePolynomialTest	BigRational coefficients RecSolvablePolynomial tests with JUnit.
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.
RecSolvableWordPolynomialTest	BigRational coefficients RecSolvableWordPolynomial tests with JUnit.
RelationTable<C extends RingElem<C>>	RelationTable for solvable polynomials.
RelationTableTest	RelationTable tests with JUnit.
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.
ResidueTest	Residue test with JUnit.
SolvableModuleListTest	SolvableModuleList tests using JUnit.
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.
TermOrderByNameTest	TermOrderByName tests with JUnit.
TermOrderOptimization	Term order optimization.
TermOrderOptimizationTest	TermOrderOptimization tests with JUnit.
TermOrderTest	TermOrder tests with JUnit.
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.
WordTest	Word and WordFactory tests with JUnit.

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.

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.

Polynomial overview

Polynomial ring overview

Heinz Kredel

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

$Id: package.html 4925 2014-09-24 21:59:14Z kredel $