| 
 | 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. 
 
 | 
|   |  |  |  |  |  |  |  |  |  |