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

[OpenMath]

#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
------------------------------+---------------------------------------------
Old description:

> James Davenport suggested that option 3 might be made more palatable by
> introducing a new kind of FMP to content dictionaries, so that we could
> write
>
> {{{<FMP type="alias">
>   <OMOBJ>
>     <OMA>
>       <OMS cd="relation1" name="eq"/>
>       <OMS cd="arith1" name="sum"/>
>       <OMS cd="XXX" name="YYY"/>
>     </OMA>
>   </OMOBJ>
> </FMP>}}}
>
> This would presumably reside in the old arith1.ocd and allow people to
> transparently (and maybe automatically) move over to the new joint CDs.

New description:

 James Davenport suggested that option 3 might be made more palatable by
 introducing a new kind of FMP to content dictionaries, so that we could
 write

 {{{

 <FMP type="alias">
   <OMOBJ>
     <OMA>
       <OMS cd="relation1" name="eq"/>
       <OMS cd="arith1" name="sum"/>
       <OMS cd="XXX" name="YYY"/>
     </OMA>
   </OMOBJ>
 </FMP>
 }}}


 This would presumably reside in the old arith1.ocd and allow people to
 transparently (and maybe automatically) move over to the new joint CDs.

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