D.2.8.23 isSubModule
Procedure from library
ring.lib
(see
ring_lib
).
Return:
1 if module(I) is in module(J), 0 otherwise
Example:
User manual for
Singular
version 3-1-7, Aug 2013, generated by
texi2html
.