Ring ^ {...} -- make a free module

Ring ^ {...} -- make a free module

Synopsis:

Usage: M = R^{i,j,k,...}

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

Input:

R, an instance of class Ring.

{i,j,k, ...}, an instance of class List: a list of integers or lists of integers

Output:

M, an instance of class Module: a free module over R whose generators have degrees -i, -j, -k, ...

If i, j, ... are lists of integers, then they represent multi-degrees, as in multi-graded polynomial rings.

See also:

degrees -- degrees of generators