Description: Ring multiplication operation. (Contributed by NM, 9-Jun-2013) (New usage is discouraged.)