Every complex has a base ring. This function access that information.
i1 : S = ZZ/101[a,b,c,d]; |
i2 : C = freeResolution coker vars S
1 4 6 4 1
o2 = S <-- S <-- S <-- S <-- S
0 1 2 3 4
o2 : Complex
|
i3 : ring C o3 = S o3 : PolynomialRing |
i4 : ring C === S o4 = true |