(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 = {0} | x2 0  |

     {0} | 0  y2 |



             2       2

o2 : Matrix R  <--- R

i3 : isHomogeneous p



o3 = true