|  |  D.15.25.15 isSublattice Procedure from librarymultigrading.lib(see  multigrading_lib).
 
Example:Usage:
isSublattice(L, S); L, S are of tpye intmat
Purpose:
checks whether the lattice created by L is a
sublattice of the lattice created by S.
 The procedure checks whether each generator of L is
 contained in S.
 
Return:
integer, 0 if false, 1 if true
 |  | LIB "multigrading.lib";
//ring R = 0,(x,y),dp;
intmat S2[3][3]=
0, 2, 3,
0, 1, 1,
3, 0, 2;
intmat S1[3][2]=
0, 6,
0, 2,
3, 4;
isSublattice(S1,S2); // Yes!
==> 1
intmat S3[3][1] =
0,
0,
1;
not(isSublattice(S3,S2)); // Yes!
==> 1
 | 
 
 |