Home Online Manual
Top
Back: getModuleGrading
Forward: imageLattice
FastBack:
FastForward:
Up: multigrading_lib
Top: Singular Manual
Contents: Table of Contents
Index: Index
About: About this document

D.15.25.15 isSublattice

Procedure from library multigrading.lib (see multigrading_lib).

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

Example:
 
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