[Om] Consistency in ring1, field1

Peter Horn hornp at math.uni-kassel.de
Sun Dec 20 19:55:01 CET 2009


> 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

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

Best, Peter

More information about the Om mailing list