Home Online Manual
Top
Back: printGroup
Forward: isGroupHomomorphism
FastBack: modular_lib
FastForward: numerAlg_lib
Up: multigrading_lib
Top: Singular Manual
Contents: Table of Contents
Index: Index
About: About this document

D.15.14.9 isGroup

Procedure from library multigrading.lib (see multigrading_lib).

Usage:
isGroup(G); G a list

Purpose:
checks whether G is a valid group

Note:
G should be created by createGroup
(or createQuotientGroup, createTorsionFreeGroup)

Return:
int, 1 if G is a valid group and 0 otherwise

Example:
 
LIB "multigrading.lib";
intmat S[3][3] =
1, 0, 0,
0, 1, 0,
0, 0, 1;
intmat L[3][2] =
1, 1,
1, 3,
1, 5;
def G = createGroup(S, L); // (S+L)/L
isGroup(G);
==> 1
printGroup(G);
==> Generators: 
==>      1     0     0
==>      0     1     0
==>      0     0     1
==> Relations: 
==>      1     1
==>      1     3
==>      1     5