This returns true if the ring is seminormal, otherwise it returns false.
i1 : R = QQ[x,y]/ideal(y^2 - x^3); |
i2 : isSeminormal(R) o2 = false |
i3 : S = ZZ/5[a,b]/ideal(a^2-b^2+a^3) o3 = S o3 : QuotientRing |
i4 : isSeminormal(R) o4 = false |
The object isSeminormal is a method function.