|
7.7 Non-commutative librariesThe content of libraries, created for non-commutative extensions of SINGULAR like PLURAL and LETTERPLACE is described in the following subsections.
Use the Note: For any computation in PLURAL, the monomial ordering must be a global ordering. See also jacobson_lib for the diagonalization of matrices over Ore Euclidean domains.
|