IsSingularRing -> IsSI_ring

comply with SingularInterface v0.7