[Trac] [OpenMath] #32: FMP type=alias

OpenMath trac at strawberry.eecs.jacobs-university.de
Mon Jan 28 22:34:20 CET 2008

#32: FMP type=alias
     Reporter:  kohlhase      |          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 jhd):

 That wasn't the only motivation for making this proposal, by any means.
 It implies that a DefMP (FMP type="defining") which was merely an equality
 could be explicitly flagged as such, so a system coulld reasonably "only
 understand" these FMPs, whereas a more general DefMP would require more
 I hope that this partially answers polx's point: more genrally the idea of
 'defining' is to say that this is more than just equality - see the
 LandauIn discussion.

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

More information about the Trac mailing list