Every complex or complex map 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 : assert(ring C === S) |
i5 : ring id_C o5 = S o5 : PolynomialRing |
i6 : assert(ring id_C === S) |