|
D.2.6.5 is_zero
Procedure from library poly.lib (see poly_lib).
- Usage:
- is_zero(M[,any]); M=poly/ideal/vector/module/matrix
- Return:
- integer, 1 if coker(M)=0 resp. 0 if coker(M)!=0, where M is
considered as matrix.
If a second argument is given, return a list:
L[1] = 1 if coker(M)=0 resp. 0 if coker(M)!=0
L[2] = dim(M)
Example:
|