[Om] [Om3] Math in office documents/Providing an implementation for a symbol

Paul Libbrecht paul at activemath.org
Fri Dec 26 22:06:24 CET 2008

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" ?


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.

-------------- 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/om/attachments/20081226/5876a501/attachment.bin 

More information about the Om mailing list