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

i1 : R = GF(3^2,Variable => a);

i2 : random(R^3,R^4)

o2 = | 1    1   1  -a  |
     | -a+1 a   -1 -a  |
     | -1   a+1 0  a-1 |

             3       4
o2 : Matrix R  <--- R

i3 : T = R[x,y];

i4 : random(T^3,T^{4:-1})

o4 = | (a+1)x+(-a-1)y -ax+(-a-1)y -x+(-a-1)y (a-1)x+(a+1)y  |
     | (a-1)x+ay      -ax+(a+1)y  ax+(-a-1)y (-a+1)x-ay     |
     | -ax+(-a+1)y    (-a+1)y     ax+ay      (-a+1)x+(a+1)y |

             3       4
o4 : Matrix T  <--- T

i5 : S = R[p..z];

i6 : genericMatrix(S,t,3,2)

o6 = | t w |
     | u x |
     | v y |

             3       2
o6 : Matrix S  <--- S

i7 : genericSymmetricMatrix(S,s,3)

o7 = | s t u |
     | t v w |
     | u w x |

             3       3
o7 : Matrix S  <--- S

i8 : genericSymmetricMatrix(S,u,3)

o8 = | u v w |
     | v x y |
     | w y z |

             3       3
o8 : Matrix S  <--- S

i9 :