i1 : S=QQ[x,y,z]; |
i2 : F=labeledModule(S^3) 3 o2 = S o2 : free S-module with labeled basis |
i3 : M=matrix{{1,2,3},{x,y,z},{3*x^2,x*y,z^2}} o3 = | 1 2 3 | | x y z | | 3x2 xy z2 | 3 3 o3 : Matrix S <--- S |
i4 : g=map(F,F,M) o4 = | 1 2 3 | | x y z | | 3x2 xy z2 | 3 3 o4 : Matrix S <--- S |
i5 : source g 3 o5 = S o5 : free S-module with labeled basis |