(quote ^,Ring,ZZ)
R^n
-- produce a free module of rank
n
over the ring
R
See also
^
,
isFreeModule
, and
Ring ^ List
.
