Top
Back: Example of use of Letterplace
Forward: Non-commutative libraries
FastBack: Graded commutative algebras (SCA)
FastForward: Non-commutative libraries
Up: LETTERPLACE
Top: Singular Manual
Contents: Table of Contents
Index: Index
About: About this document

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

Top Back: Example of use of Letterplace Forward: Non-commutative libraries FastBack: Graded commutative algebras (SCA) FastForward: Non-commutative libraries Up: LETTERPLACE Top: Singular Manual Contents: Table of Contents Index: Index About: About this document
            User manual for Singular version 3-1-2, Oct 2010, generated by texi2html.