Singular

D.15.10.15 isSublattice

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