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

User manual for Singular version 4.4.1, 2025, generated by texi2html.