The ring elements appearing in v should be be in R, or in a base ring of R.
Each list in v gives a row of the matrix. The length of the list v should be the number of generators of M, and the length of each element of v (which is itself a list of ring elements) should be the number of generators of the source module N.
i1 : R = ZZ/101[x,y,z] o1 = R o1 : PolynomialRing |
i2 : p = map(R^2,,{{x^2,0,3},{0,y^2,5}}) o2 = | x2 0 3 | | 0 y2 5 | 2 3 o2 : Matrix R <--- R |
i3 : isHomogeneous p o3 = true |
i4 : p = matrix {{x^2,0,3},{0,y^2,5}} o4 = | x2 0 3 | | 0 y2 5 | 2 3 o4 : Matrix R <--- R |
The absence of the second argument indicates that the source of the map is to be a free module constructed with an attempt made to assign degrees to its basis elements so as to make the map homogeneous of degree zero.
i5 : R = ZZ/101[x,y] o5 = R o5 : PolynomialRing |
i6 : f = map(R^2,,{{x^2,y^2},{x*y,0}}) o6 = | x2 y2 | | xy 0 | 2 2 o6 : Matrix R <--- R |
i7 : degrees source f o7 = {{2}, {2}} o7 : List |
i8 : isHomogeneous f o8 = true |