(map,Module,Matrix)

map(M,p) -- recasts a matrix p to a map whose target is M by tensoring p with a graded free module of rank 1.

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



o1 = R



o1 : PolynomialRing

i2 : p = matrix{{x,y}}



o2 = {0} | x y |



             1       2

o2 : Matrix R  <--- R

i3 : q = map(R^{3},p)



o3 = {-3} | x y |



             1       2

o3 : Matrix R  <--- R

i4 : degrees target q



o4 = {{-3}}



o4 : List

i5 : degrees source q



o5 = {{-2}, {-2}}



o5 : List