[Om3] binary vs n-ary relations

[Paul Libbrecht]

Making them n-ary doesn't solve the classical writing of
   a < b > c
which is used quite often still.
So another workaround is neither whatsoever and I think it should be  
at the notations' level.
I'm not against n-ary relations but just warn that the solution is  
partial.

paul

Le 21-sept.-08 à 06:16, Michael Kohlhase a écrit :

> Dear all,
>
> I have found a synchronization issue that I would like to discuss.
>
> In the OpenMath CD relation1.ocd most of the relations are given as
> binary (e.g. eq, lt, gt, leq, geq) and in the MathML2 spec they are
> given as n-ary. What do we do?
>
> In this case, I think that the soluton should be make them n-ary.
> @JAMES, is this OK with the CD extension rules?
>
> I have started a discussion item on the discussion page at
> http://wiki.openmath.org/?title=cd%3Arelation1.

-------------- next part --------------
A non-text attachment was scrubbed...
Name: smime.p7s
Type: application/pkcs7-signature
Size: 2203 bytes
Desc: not available
Url : http://openmath.org/pipermail/om3/attachments/20080924/20420f46/attachment.bin