rename everything to Singular and mathserver