[Trac] [OpenMath] #80: Missing / Discrepancies

OpenMath trac at strawberry.eecs.jacobs-university.de
Sun Sep 21 14:08:46 CEST 2008


#80: Missing / Discrepancies
------------------------------+---------------------------------------------
     Reporter:  jauecker      |          Owner:  kohlhase  
         Type:  proposal      |         Status:  new       
     Priority:  major         |      Milestone:  CD3 Draft1
    Component:  OM3 Standard  |        Version:            
   Resolution:                |       Keywords:            
Include_gantt:  0             |   Dependencies:            
   Due_assign:  YYYY/MM/DD    |      Due_close:  YYYY/MM/DD
------------------------------+---------------------------------------------
Comment (by jauecker):

 '''Peter:'''


 There are tons of stuff missing
    * a unary ^-1 (arith2.inverse *may* be understood in that way)
    * rational functions
    * accessors to numerator, denominator
    * solve-commands
    * simplification-commands (which tend to have a rather unspecified
 semantic, sure)
    * normalization-commands
    * a reasonable factor-command (we started developing one)
    * evaluation-commands

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


More information about the Trac mailing list