|
7.6.5 Release notes of LETTERPLACE
With this functionality it is possible to compute two-sided Groebner basis
of a graded two-sided ideal (that is, generated by homogeneous polynomials)
in a free associative algebra up to a given degree.
Restrictions of the LETTERPLACE package:
- At the moment we provide stable implementation for the homogeneous input only,
computations with inhomogeneous ideals are under development. (There are no automatic checks.)
- Since free algebra is not Noetherian, one has to define an explicit degree bound,
up to which a partial Groebner basis will be computed.
- the options
option(redSB); option(redTail); must be always activated
- we advise to run the computations with the options
option(prot);option(mem);
in order to see the activity journal as well as the memory usage
|