Ring ^ List

R^{i,j, k, ...} -- produce a free module over R whose generators have degrees -i, -j, -k, ...

The degrees i, j, ... may themselves be multi-degrees, represented as lists of integers. The operator : may be used to indicate repetitions.

     i1 = R = ZZ/101[x,y,z]
     
     o1 = R
     
     o1 : PolynomialRing

     i2 = F = R^{1,4:2,3,3:4}
     
           9
     o2 = R
     
          R - module, free

     i3 = degrees F
     
     o3 = {{-1},{-2},{-2},{-2},{-2},{-3},{-4},{-4},{-4}}
     
     o3 : List