What about... another symbol?Just one that says something such as "the expression on the left *can be* computed with the expression on the right" ?
paul Le 25-déc.-08 à 18:45, Bryce L Nordgren a écrit :
There is indeed a very real difference between providing an object/ symbol's implementation and defining it's properties. The properties essentially articulate an interface contract and it is the responsibility of the implementation to obey the contract. As you confirmed, the semantics of property definition utilizes an "AND" (e.g., ALL properties must be satisfied). Providing one or more implementations utilizes an "OR". (e.g., you may choose this expression or this expression or this expression, any one of which should satisfy ALL of the symbol's properties.) In my view, trying to provide a "defining expression" as a property abuses the semantics of symbol definition. Another tool is needed.
smime.p7s
Description: S/MIME cryptographic signature
_______________________________________________ Om mailing list [email protected] http://openmath.org/mailman/listinfo/om
