[Trac] [OpenMath] #44: CD linalg1

[OpenMath]

#44: CD linalg1
------------------------------+---------------------------------------------
     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 clange):

 @Jakob, here are my ideas about copying the discussion to the
 [http://wiki.openmath.org wiki] – Thanks!  (''Additional comments that
 cannot easily be put into practice are in italics as a to-do for my own
 modelling of the
 [http://kwarc.info/projects/swim/pubs/lwa08-argumentation.pdf
 argumentation ontology]; you can ignore them for copying.'')

  * Chris's original post: an Issue with the CD linalg1.  ''Actually it's
 even an issue with all linalg-related CDs, so we'd either need CDGroups
 with associated discussion pages in the wiki, where issues files with a
 CDGroup would, where appropriate, propagate down to the CDs or even to the
 symbols, or an easy user interface for adding further CDs or symbols
 affected by one discussion post. – It might even make sense to split off
 the last sentence ("the first line …") into a Justification reply, but no
 author of a discussion post would actually make this effort.''
   * James's reply: for now, as I do not yet have appropriate types in the
 argumentation ontology, a plain reply to the Issue.  (Note that I re-
 enabled the possibility of replying to Issues with plain comments.)
 ''Later I need to give this reply a more appropriate type, maybe some
 negative = challenging Argument or Justification?''

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