Ring ^ ZZ
R ^ n
-- produce a free module of rank n over the ring R
See also
^
,
isFreeModule
, and
Ring ^ List
.
Go to
main index
.
Go to
concepts index
.