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
|