-- -*- M2-comint -*- {* hash: -515514946 *}

i1 : R = GF(9,Variable=>a)[x,y,z];

i2 : f = map(R^1, 3, (i,j) -> (a^j * x - y)^(j+1))

o2 = | x-y (a+1)x2+axy+y2 (-a-1)x3-y3 |

             1       3
o2 : Matrix R  <--- R

i3 : source f

      3
o3 = R

o3 : R-module, free, degrees {1, 2, 3}

i4 : isHomogeneous f

o4 = true

i5 :