|
D.15.23.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
|
|