Chris > What would be its 'content model' and would it necessitate saying > something about Boolean values in Basic OpenMath (which may be useful > anyway)?
I think the content of OMC, if it were added, would be any openmath object wouldn't it? nowhere in OM do we restrict the kinds of object that can appear in any construct with the one exception attribution keys and bound variables which must be (possibly attributed) OMS rather than arbitrary objects. > and would it necessitate saying something about Boolean values in > Basic OpenMath I don't think so, if a condition can't be interpreted as a boolean it might cause problems for a system interpretting the OM, but I don't think that should be restricted by OpenMath itself. <OMC><OMSTR>condition in words</OMSTR></OMC> May even make sense... However haviing flirted with the idea of agreening with adding condition, after dscussions at the mathml face 2to face, and subsequently with James, I tink we can model condition adequately at the CD level, so we should probably do that. That has the advantage that we can then, if desired, restrict to boolean valued conditions using the existing mechanisms such as STS signatures, rather than requiring to talk about typing at the level of OpenMath itself which as you suggest would be one possible result of promoting conditions u from the CDlevel to a core OM feature. for what it's worth, my answers ot your questions > 2. More difficult, and probably needs Michael. Is its introduction > to Basic OpenMath: > -- essential? no > -- pragmatically necessary? no > -- useful? perhaps > -- tolerable? yes > -- impossibble? no > 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. ________________________________________________________________________ _______________________________________________ Om3 mailing list [email protected] http://openmath.org/mailman/listinfo/om3
