[Om3] binary vs n-ary relations

[David Carlisle]

> With the OpenMath currently suggested for a=b=c (namely a=b/\b=c) I will
> have to check whether the OpenMath subexpression is "the same" for the
> b's (that is strip whitespace around XML elements, possibly strip spaces
> inside OMIs, and string-compare the result). 

see the use of OMR that Michael suggested later in the thread that would
remove the need to compare fragments in thsi way.

David

________________________________________________________________________
The Numerical Algorithms Group Ltd is a company registered in England
and Wales with company number 1249803. The registered office is:
Wilkinson House, Jordan Hill Road, Oxford OX2 8DR, United Kingdom.

This e-mail has been scanned for all viruses by Star. The service is
powered by MessageLabs. 
________________________________________________________________________