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 |