Module ^** ZZ -- tensor power

Module ^** ZZ -- tensor power

Synopsis:

Usage: N = M^**i

Operator: ^** -- a binary operator, usually used for tensor power

Input:

M, an instance of class Module.

i, an instance of class ZZ.

Output:

N, an instance of class Thing: the i-th tensor power of M

Code:

     -- ../../../Macaulay2/m2/varieties.m2:300
     Module        ^** ZZ := (F,n) -> binaryPower(F,n,tensor,() -> (ring F)^1, dual)