(quote ^,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

o2 : R - module, free
i3 : degrees F

o3 = {{-1}, {-2}, {-2}, {-2}, {-2}, {-3}, {-4}, {-4}, {-4}}

o3 : List

See also degrees and ^.


topindexpreviousupnext