[om] Manipulating Structured Data

[David Carlisle]

I wrote

            <OMBIND>
              <OMS cd="fns1" name="lambda"/>
              <OMBVAR>
               <OMV name="x"/>
              </OMBVAR>
              <OMA>
                <OMS cd="relation1" name="gt"/>
                <OMV>name="x"/>
                <OMI>0</OMI>
              </OMA>
            </OMBIND>           


actually in this case you don't need the binder you can just use

<OMS cd="relation1" name="gt"/>

as filtering with
lambda x . f(x) 
is the same as filtering with
f


Sorry I just edited the more complicated example from the CD which does
use lambda binding to construct a more complicated predicate.

David

_____________________________________________________________________
This message has been checked for all known viruses by Star Internet
delivered through the MessageLabs Virus Scanning Service. For further
information visit http://www.star.net.uk/stats.asp or alternatively call
Star Internet for details on the Virus Scanning Service.
--
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