Package edu.jas.gbmod

Module Groebner base package.

See: Description

Interface Summary

Interface	Description
ModGroebnerBase<C extends RingElem<C>>	Module Groebner Bases interface.
ModSolvableGroebnerBase<C extends RingElem<C>>	Module solvable Groebner Bases interface.
SolvableSyzygy<C extends RingElem<C>>	Syzygy interface for solvable polynomials.
Syzygy<C extends RingElem<C>>	Syzygy interface.

Class Summary

Class	Description
ModGroebnerBaseAbstract<C extends GcdRingElem<C>>	Module Groebner Bases abstract class.
ModSolvableGroebnerBaseAbstract<C extends RingElem<C>>	Module solvable Groebner Bases class.
QuotSolvablePolynomial<C extends GcdRingElem<C>>	QuotSolvablePolynomial generic recursive solvable polynomials implementing RingElem.
QuotSolvablePolynomialRing<C extends GcdRingElem<C>>	QuotSolvablePolynomialRing generic recursive solvable polynomial factory implementing RingFactory and extending GenSolvablePolynomialRing factory.
SolvableQuotient<C extends GcdRingElem<C>>	SolvableQuotient, that is a (left) rational function, based on GenSolvablePolynomial with RingElem interface.
SolvableQuotientRing<C extends GcdRingElem<C>>	SolvableQuotient ring factory based on GenPolynomial with RingElem interface.
SolvableSyzygyAbstract<C extends RingElem<C>>	Syzygy class for solvable polynomials.
SyzygyAbstract<C extends GcdRingElem<C>>	SyzygyAbstract class.

Package edu.jas.gbmod Description

Module Groebner base package.

This package contains classes for module Groebner bases and syzygies over polynomials and solvable polynomials, e.g. ModGroebnerBase or SolvableSyzygy.

Heinz Kredel

Last modified: Mon Jul 9 20:54:52 CEST 2007

$Id$