Home Online Manual
Back: oneDimBelongSemigroup
Forward: isCI
FastBack: assprimeszerodim_lib
FastForward: elim_lib
Up: cisimplicial_lib
Top: Singular Manual
Contents: Table of Contents
Index: Index
About: About this document

D.4.4.4 cardGroup

Procedure from library cisimplicial.lib (see cisimplicial_lib).

cardGroup(A[,n]); A is a matrix with integral coefficients.

It returns a bigint. If we denote by ZA the group generated by the columns of the matrix A, then it returns the number of elements of the group of Z^m / ZA, where m = number of rows of A. If a second parameter n is introduced, it will
only consider the first n columns of A. It returns 0 if Z^m / ZA is infinite; this is, when rank ZA < m.

LIB "cisimplicial.lib";
intmat A[3][5] = 24,  0,  0,  8, 3,
0, 24,  0, 10, 6,
0,  0, 24,  5, 9;
==> 72