|
D.3.1.7 is_complex
Procedure from library matrix.lib (see matrix_lib).
- Usage:
- is_complex(c); c = list of size-compatible modules or matrices
- Return:
- 1 if c[i]*c[i+1]=0 for all i, 0 if not, hence checking whether the
list of matrices forms a complex.
- Note:
- Ideals are treated internally as 1-line matrices.
If printlevel > 0, the position where c is not a complex is shown.
Example:
|