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 = | x y |
     
                  1       2
     o2 : Matrix R  <--- R
     
     i3 = q = map(R^{3},p)
     
     o3 = | 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
     

See also map and matrix.

Go to main index.

Go to concepts index.