i1 : S = QQ[w,x,y,z]; |
i2 : vars S
o2 = | w x y z |
1 4
o2 : Matrix S <--- S
|
i3 : ideal vars S o3 = ideal (w, x, y, z) o3 : Ideal of S |
i4 : coker vars S
o4 = cokernel | w x y z |
1
o4 : S-module, quotient of S
|
i5 : res coker vars S
1 4 6 4 1
o5 = S <-- S <-- S <-- S <-- S <-- 0
0 1 2 3 4 5
o5 : ChainComplex
|
i6 : R = S/(x^2-w*y, x*y-w*z, x*z-y^2); |
i7 : vars R
o7 = | w x y z |
1 4
o7 : Matrix R <--- R
|
i8 : use S; |
i9 : Q = S/(x^2-w*y, z); |
i10 : vars S
o10 = | w x y z |
1 4
o10 : Matrix S <--- S
|