up previous next
GensAsCols, GensAsRows

matrix of generators of a module

Syntax
GensAsRows(M: MODULE): MAT
GensAsCols(M: MODULE): MAT

Description
These functions returns a matrix which generate the module M with the components as row (or colums) of a matrix.

The generators are not necessarily minimal.

Example
/**/  use R ::= QQ[x,y,z];
/**/  R3 := NewFreeModule(R, 3);
/**/  L := [[x,y,z], [x-1,0,z]];
/**/  M := SubmoduleRows(R3, mat(L));
/**/  gens(M);
[[x, y, z], [x -1, 0, z]]
/**/ shape(It);
[MODULEELEM, MODULEELEM]

/**/ GensAsRows(M);
matrix( /*RingDistrMPolyClean(QQ, 3)*/
 [[x, y, z],
  [x -1, 0, z]])

/**/ GensAsCols(M);
matrix( /*RingDistrMPolyClean(QQ, 3)*/
 [[x, x -1],
  [y, 0],
  [z, z]])

See Also