[om] DefMP elements
Professor James Davenport
jhd at cs.bath.ac.uk
Sun Dec 7 19:48:45 CET 2003
On Fri, 5 Dec 2003, Jacques Carette wrote:
> On the multiple facets of sin: could one instead use trig1, trig2, trig3,
> ..., trig10 CDs, each with different syntactic FMPs (and correspondingly
> different used CDs) to build 'equivalent' systems? One for high-school
> definitions, one for the exp definition, one for the series definition, etc,
> etc. I understood that to be the original OM design of having multiple CDs.
> Each OM application could then use the 'right' CD and not worry about math
> it does not know (or want).
That wasn't the original idea - different definitions of the same sin
should be different FMPs of the same object.
The sin in transc3 is intrinsically different from that of transc1: it is
om at openmath.org - general discussion on OpenMath
Post public announcements to om-announce at openmath.org
Automatic list maintenance software at majordomo at openmath.org
Mail om-owner at openmath.org for assistance with any problems
More information about the Om