|  |  D.3.1.24 linear_relations Procedure from librarymatrix.lib(see  matrix_lib).
 
Example:Usage:
linear_relations(M);
M: a module
 
Assume:
All non-zero entries of M are homogeneous polynomials of the same
positive degree. The base field must be an exact field (not real
or complex).
It is not checked whether these assumptions hold.
 
Return:
a maximal module R such that M*R is formed by zero vectors.
 |  | LIB "matrix.lib";
ring r = (3,w), (a,b,c,d),dp;
minpoly = w2-w-1;
module M = [a2,b2],[wab,w2c2+2b2],[(w-2)*a2+wab,wb2+w2c2];
module REL = linear_relations(M);
pmat(REL);
==> (-w-1), 
==> -1,     
==> 1
pmat(matrix(M)*matrix(REL));
==> 0, 
==> 0
 | 
 
 |