(warning: this text contains unicode character) Hello group,
yesterday, at the MathML face-to-face we did discuss three possible avenues to answer the need for a condition element, here is a short synopsis for them:
#1 condition elementBasically add, in OpenMath and strict MathML, an element called condition or omcond that mimics the current condition element.
#2 condition symbolInvent a new symbol called condition which would do a very similar function. For example, if it was called c, one would write a conditional function as
λ.x,y: c(x ≠ y, x / (x-y) ) #3 conditional symbol variantsFor each binder-like symbol, add a variant symbol which does accept an extra argument, the condition. The function above would be written:
λ.x,y: x ≠ y, x / (x-y)comments welcome. Stan, could you repeat some of the comments in favour of #1 in this list please?
thanks in advance paul
smime.p7s
Description: S/MIME cryptographic signature
_______________________________________________ Om3 mailing list [email protected] http://openmath.org/mailman/listinfo/om3
