[Trac] [OpenMath] #61: CD list1

[OpenMath]

#61: CD list1
------------------------------+---------------------------------------------
     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):

 '''David:'''


 ><list/> tells me very little about how I should think of a list; I
 suspect that they are a bit like ordered sets (which probably also need
 defining somewhere).

 I think "list" is  synonymous with ^ordered set".

 >Is 'list' a mathematical idea at all?

 well ordered set is, it's just spelled "list" here:-)


 ><suchthat/> for lists looks subtly wrong to me, but what is a list?

 isn't it just a filter on the list so the result is the original list
 with items for which teh filter is false remvoved?
 like foo[@name='david'] in xpath?

 http://www.openmath.org/cd/contrib/cd/list1.xhtml#suchthat

 oops the CD rendering is completely broken for list1 CD.

 >I could follow it if it started from a list,

 Ah, now I see. I think that's a typo, it should start from a lst.

 Also while it's needed in the CD I don't think we need add a new mathml
 element as it is really just <condition>

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