[Trac] [OpenMath] #42: CD arith1

[OpenMath]

#42: CD arith1
----------------------------+-----------------------------------------------
     Reporter:  jauecker    |          Owner:  kohlhase  
         Type:  proposal    |         Status:  new       
     Priority:  major       |      Milestone:  CD3 Draft1
    Component:  CD3 Format  |        Version:            
   Resolution:              |       Keywords:            
Include_gantt:  0           |   Dependencies:            
   Due_assign:  YYYY/MM/DD  |      Due_close:  YYYY/MM/DD
----------------------------+-----------------------------------------------
Comment (by jhd):

 Replying to [ticket:42 jauecker]:
 > This appears a few times: 'The argument should be numerically valued.'
 > Meaning what exactly?  Distinct from 'must be a number?'
 > And why does it not appear for all arithmetic things?
 Actually, I only saw it once in arith1, on 'abs'.
 I suspect that the original intent was meant to distinguish operators like
 abs from a purely algebraic operation, which can be applied to
 indeterminates. But it is probably meaningless in practice.
 > ---------------
 >
 > Are the following supposed to be distinct mathematical concepts?
 > If so, how do I know which should be used?
 > This operator is used to construct an expression which represents the
 ...
 > This operator is used to construct the ...
 I believe they are identical

 James

-- 
Ticket URL: <https://trac.kwarc.info/OM3/ticket/42#comment:1>
OpenMath <http://www.openmath.org>
The development of the OpenMath Standard and Content Dictionaries.