search for:
Module ^ ZZ
-- make a direct sum of several copies of a module
Synopsis:
Usage:
Y = M^n
Operator:
^
-- a binary operator, usually used for exponents
Input:
M
, an instance of class
Module
: a module
n
, an instance of class
ZZ
.
Output:
Y
, an instance of class
Module
: the direct sum of
n
copies of
M
Code:
-- ../m2/modules.m2:328 Module ^ ZZ := Module => (M,i) -> directSum (i:M)
search for: