|
7.6.5 Release notes of LETTERPLACEWith this functionality it is possible to compute two-sided Groebner basis of a graded two-sided ideal (that is, an ideal, generated by homogeneous polynomials) in a free associative algebra up to a given degree. It is assumed, that each variable has degree $1$. Restrictions of the LETTERPLACE package:
Further functionality is provided in the libraries for the LETTERPACE subsystem. In the freegb_lib one finds e.g. letterplace arithmetics procedures, conversion tools, procedures for creating some common ideals of relations as well as the normal form procedure, providing effective ideal memnership test. The fpadim_lib contains procedures for computations with vector space basis of a factor algebra including finiteness check and dimension computation. |