map(Module,Module,List)

map(M,N,v) -- produces a map (matrix) from the module N to the module M whose entries are obtained from the doubly-nested list v of ring elements.

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

     i2 = p = map(R^2,R^{-2,-2},{{x^2,0},{0,y^2}})
     
     o2 = | x2 0  |
          | 0  y2 |
     
                  2       2
     o2 : Matrix R  <--- R

     i3 = isHomogeneous p
     
     o3 = true