Home Online Manual
Top
Back: colred
Forward: rm_unitrow
FastBack:
FastForward:
Up: matrix_lib
Top: Singular Manual
Contents: Table of Contents
Index: Index
About: About this document

D.3.1.24 linear_relations

Procedure from library matrix.lib (see matrix_lib).

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.

Example:
 
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