|
7.5 PLURAL librariesThe content of libraries, created for PLURAL 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.
|