Delete Rains_isom_normal.sage