[om] DefMP elements

Professor James Davenport jhd at cs.bath.ac.uk
Thu Dec 4 12:01:51 CET 2003

On Wed, 3 Dec 2003, Bill Naylor wrote:
> 1) Dissallowing self reference during a defining FMP, therefore
> dissallowing recursive definition.
Quite so, in a defining FMP. An evaluating FMP does allow recursive 
references. The distinction is made so that a system knows whether the 
expansion of the FMP will always terminate, or will only terminate on 
concrete nstances (and therefore, if the instance is not concrete, a 
fixed-point operator will be required, which is probably beyond the scope 
of most OM-capable applications. 
> 2) Dissallowing multiple defining FMPs, therefore dissallowing different
> but logically equivalent FMPs, e.g. a definition in terms of integrals
> versus a definition in terms of recurence relations.
One could have several FMPs, but the point of the unique defining one is 
that the author of the CD is saying that this particular FMP can be used 
to eliminate this concept in favour of "simpler" ones.
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 mailing list