Update Rains_isom_normal.sage