replaced Name -> String in _MAGMA_SetRing and Singular's RP!.SetInvolution