Introduce computational FMPs

[jbs1]

migrated from Trac, where originally posted by clange on 24-Aug-2010 3:13pm

Definitional FMPs are not enough in practice. When they define a symbol implicitly, they are not usable for computation. Therefore, Michael suggested to introduce, in addition to definitional FMPs, computational FMPs. These must have the form

<OMA>
  <OMS cd="relation1" name="eq"/>
  <OMA>
    <OMS cd="the" name="symbol"/>
    arg1
    ...
    argn
  </OMA>
  f(arg1, ..., argn)
</OMA>

(Michael, is there any other possible form?)

See http://arxiv.org/abs/1006.4057, last page of section 2, and the remark on FMPs in section 3 for a practical use case.

[jbs1]

migrated from Trac, where originally posted by clange on 16-May-2014 1:07am

Still a valid concern IMHO, but maybe it's hard enough to finally introduce definitional FMPs and stop there.

[kohlhase]

moved to OpenMath/OMSTD#33