Description: Ring multiplication operation for the constructed partial vector space A. (Contributed by NM, 11-Oct-2013)