Ring ^ ZZ -- make a free module

Ring ^ ZZ -- make a free module

Synopsis:

Usage: F = R^n

Operator: ^ -- a binary operator, usually used for exponents

Input:

R, an instance of class Ring: a ring

n, an instance of class ZZ.

Output:

F, an instance of class Module: a new free R-module of rank n.

The new free module has basis elements of degree zero. To specify the degrees explicitly, see Ring ^ {...}.

Code:

     -- ../../../Macaulay2/m2/modules.m2:369-377
          (R,n) -> (
               if R.?Engine and R.Engine
               then (
                    sendgg(ggPush R, ggPush n, ggfree);
                    new Module from R
                    )
               else notImplemented()
               )
          )