|
D.3.1.25 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:
|