[Om] Consistency in ring1, field1

[Peter Horn]

Hi!

> Thank you for your prompt reply. Since my post I found another
> inconsistency (inversion in group1, and inverse in field1), but I guess
> it is the same story there.

It very much depends on the authors p.o.v.. Some people are thinking
in terms of 'operations' or 'commands' whilst others are focussing on
representation.

OpenMath is not perfect, but it's the best thing you'll get :)

Best, Peter