v = random M
i1 : R = ZZ/7[x,y] o1 = R o1 : PolynomialRing
i2 : E = End R^{-1,1} 4 o2 = R o2 : R-module, free, degrees {0, -2, 2, 0}
i3 : h = homomorphism random E o3 = {1} | 3 0 | {-1} | x2+3xy 0 | 2 2 o3 : Matrix R <-- R