[om] DefMP elements

[Professor James Davenport]

On Mon, 8 Dec 2003, Andreas Strotmann wrote:
> Jacques Carette wrote:
> >I find that Andreas Strotmann's email eloquently voices many concerns that
> >are similar to mine.  Thanks!
> >  
> >
> You're welcome :-)
> 
> > On the specific recommendations:
> >
> >I definitely agree with those first 3.
> >
> >As to the fourth:
> >d) use signatures in definitions: this might prevent a definition from 
> >being misapplied in an application that doesn't know any better. This 
> >may well be done in the simple way of using universal quantifiers and 
> >set memberships inside the defining FMPs, so that this may simply be 
> >added as a recommendation to CD writers.
But the symbol being defined has a signature in STS, which is why the sin 
on matrices is not the sin from transc1.
James
--
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