Home Online Manual
Top
Back: isQuotientRing
Forward: changeordTo
FastBack: random_lib
FastForward: Linear algebra
Up: ring_lib
Top: Singular Manual
Contents: Table of Contents
Index: Index
About: About this document

D.2.8.24 isSubModule

Procedure from library ring.lib (see ring_lib).

Return:
1 if module(I) is in module(J), 0 otherwise

Example:
 
LIB "ring.lib";
ring r=0,x,dp;
ideal I1=x2;
ideal I2=x3;
isSubModule(I1, I2);
==> 0
isSubModule(I2, I1);
==> 1