[Om] Consistency in ring1, field1

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


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


More information about the Om mailing list