Class | Description |
---|---|
CGBSeqTest |
Comprehenssive Groebner base sequential tests with JUnit.
|
ColoredSystem<C extends GcdRingElem<C>> |
Container for a condition, a corresponding colored polynomial list and a
Groebner base pair list.
|
ColorPolynomial<C extends RingElem<C>> |
Colored Polynomials with green, red and white coefficients.
|
ComplexRootTest |
RootUtil tests with JUnit.
|
ComprehensiveGroebnerBaseSeq<C extends GcdRingElem<C>> |
Comprehensive Groebner Base sequential algorithm.
|
Condition<C extends GcdRingElem<C>> |
Condition.
|
CPair<C extends RingElem<C>> |
Serializable subclass to hold pairs of colored polynomials.
|
CReductionSeq<C extends GcdRingElem<C>> |
Polynomial parametric ring reduction sequential use algorithm.
|
Dimension |
Container for dimension parameters.
|
Examples |
Examples for application usage.
|
ExamplesGeoTheorems |
ExamplesGeoTheorems for Groebner base usage.
|
ExtensionFieldBuilder |
Builder for extension field towers.
|
ExtensionFieldBuilderTest |
ExtensionFieldBuilder tests with JUnit.
|
FactorAlgebraicPrim<C extends GcdRingElem<C>> |
Algebraic number coefficients factorization algorithms.
|
FactorAlgebraicPrimTest |
Factor algebraic tests with JUnit.
|
FactorFactory |
Factorization algorithms factory.
|
FactorRealReal<C extends GcdRingElem<C> & Rational> |
Real algebraic number coefficients factorization algorithms.
|
FactorRealRealTest |
Factor real algebraic tests with JUnit.
|
FactorTest |
Factor tests with JUnit.
|
GBAlgorithmBuilder<C extends GcdRingElem<C>> |
Builder for commutative Gröbner bases algorithm implementations.
|
GBAlgorithmBuilderTest |
GBAlgorithmBuilder tests with JUnit.
|
GroebnerSystem<C extends GcdRingElem<C>> |
Container for a Groebner system.
|
HenselMultUtilTest |
HenselMultUtil tests with JUnit.
|
Ideal<C extends GcdRingElem<C>> |
Ideal implements some methods for ideal arithmetic, for example intersection,
quotient and zero and positive dimensional ideal decomposition.
|
IdealTest |
Ideal tests with JUnit.
|
IdealWithComplexAlgebraicRoots<D extends GcdRingElem<D> & Rational> |
Container for Ideals together with univariate polynomials and complex algebraic
roots.
|
IdealWithRealAlgebraicRoots<D extends GcdRingElem<D> & Rational> |
Container for Ideals together with univariate polynomials and real algebraic
roots.
|
IdealWithRealRoots<C extends GcdRingElem<C>> |
Container for Ideals together with univariate polynomials and real roots.
|
IdealWithUniv<C extends GcdRingElem<C>> |
Container for Ideals together with univariate polynomials.
|
Local<C extends GcdRingElem<C>> |
Local ring element based on GenPolynomial with RingElem interface.
|
LocalRing<C extends GcdRingElem<C>> |
Local ring class based on GenPolynomial with RingElem interface.
|
LocalTest |
Local tests with JUnit.
|
OrderedCPairlist<C extends GcdRingElem<C>> |
Pair list management.
|
PolyUtilApp<C extends RingElem<C>> |
Polynomial utilities for applications, for example conversion ExpVector to
Product or zero dimensional ideal root computation.
|
PolyUtilAppTest |
PolyUtilApp tests with JUnit.
|
PrimaryComponent<C extends GcdRingElem<C>> |
Container for primary components of ideals.
|
PrimitiveElement<C extends GcdRingElem<C>> |
Container for primitive elements.
|
RealAlgebraicNumber<C extends GcdRingElem<C> & Rational> |
Complex algebraic number class based on bi-variate real algebraic numbers.
|
RealAlgebraicRing<C extends GcdRingElem<C> & Rational> |
Real algebraic number factory class based on bi-variate real algebraic
numbers.
|
RealAlgebraicTest |
RealAlgebraicNumber Test using JUnit.
|
ReductionTest |
Reduction tests with JUnit.
|
Residue<C extends GcdRingElem<C>> |
Residue ring element based on GenPolynomial with RingElem interface.
|
ResidueRing<C extends GcdRingElem<C>> |
Residue ring factory based on GenPolynomial with RingFactory interface.
|
ResidueTest |
Residue tests with JUnit.
|
RingFactoryTokenizer |
RingFactory Tokenizer.
|
RootFactory |
Roots factory.
|
RunGB |
Simple setup to run a GB example.
|
RunSGB |
Simple setup to run a solvable GB example.
|
Enum | Description |
---|---|
Condition.Color |
Colors.
|
This package contains classes with applications of Groebner bases
such as ideal intersections, ideal quotients or ideal dimension are
implemented in Ideal
and SolvableIdeal
.
Class Residue
provides polynomials residues modulo an
ideal defined in ResidueRing
. Comprehensive Groebner
bases for polynomial rings over parameter rings are implemented in
ComprehensiveGroebnerBaseSeq
.
Last modified: Fri Dec 24 15:00:18 CET 2010
$Id: package.html 3430 2010-12-24 14:01:57Z kredel $