[Trac] [OpenMath] #60: CD limit1

[OpenMath]

#60: CD limit1
------------------------------+---------------------------------------------
     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:'''


 >The limits need functions on a totally ordered set (and some toplogy on
 the codomain).

 as above, it needs that for the limit to exist, but it doesn't need that
 to create the expression term.

 ><null/> is usually equivalent to <bothsides/>.

 yes agreed, I think it was added to OpenMath to round trip mathml
 expressions
 that did or didn't hae explict tendsto type attribute

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