Create Rains_isom_normal.sage