D.4.7.13 isLocallyFree
Procedure from library
homolog.lib
(see
homolog_lib
).
Usage:
isLocallyFree(M,r); M module, r int
Return:
1 if M'=coker(M) is locally free of constant rank r;
0 if this is not the case.
Example:
User manual for
Singular
version 3-1-6, Dec 2012, generated by
texi2html
.