Rename convert.sage to Rains_isom_normal.sage