search for:
Module _ ZZ
-- get a generator
Synopsis:
Operator:
_
Input:
an instance of class
Module
.
an instance of class
ZZ
.
Output:
an instance of class
Vector
.
M_i
-- get the
i
-th generator of a module
M
i1 : (ZZ^5)_2
o1 = <2>
5
o1 : ZZ
search for: