isNormal -- determine whether a reduced ring is normal

Ways to use isNormal :

• isNormal(Ring) -- determine whether a reduced ring is normal