i7 : R = QQ[x]
o7 = R
o7 : PolynomialRing
|
i8 : f = vars R
o8 = | x |
1 1
o8 : Matrix R <-- R
|
i9 : M = image f
o9 = image | x |
1
o9 : R-module, submodule of R
|
i10 : g = Hom(M,f)
o10 = {-1} | x |
1 1
o10 : Matrix R <-- R
|
i11 : target g
1
o11 = R
o11 : R-module, free, degrees {-1}
|
i12 : source g
1
o12 = R
o12 : R-module, free
|