[Trac] [OpenMath] #31: containers are used as binding symbols in MathML2
OpenMath
trac at strawberry.eecs.jacobs-university.de
Tue Jan 29 05:36:53 CET 2008
#31: containers are used as binding symbols in MathML2
----------------------------+-----------------------------------------------
Reporter: kohlhase | Owner: jhd
Type: proposal | Status: new
Priority: major | Milestone: MathML3CD Draft1
Component: MathML CDs | Version:
Resolution: | Keywords:
Include_gantt: 0 | Dependencies:
Due_assign: YYYY/MM/DD | Due_close: YYYY/MM/DD
----------------------------+-----------------------------------------------
Comment (by kohlhase):
Replying to [comment:1 jhd]:
> > In MathML2, containers like vector are also used in binding form, and
if we have
> I am sorry - I don't understand this, can you give me a simple example?
quoting from MathML3 (internal)
For instance for the set constructor, the following two pragmatic content
MathML3 expressions are considered equivalent:
{{{
<set><ci>a</ci><ci>b</ci><ci>c</ci></set>
<apply><set/><ci>a</ci><ci>b</ci><ci>c</ci></apply>
}}}
Both are equivalent to the following strict Content MathML3 expression via
the equivalence in Section 4.3.1 Token Elements.
{{{
<apply><csymbol
cd="set1">set</csymbol><ci>a</ci><ci>b</ci><ci>c</ci></apply>
}}}
But the set constructor can also take a list that is given as an
expression with a bound variable. Consider for instance the collection of
all intervals from 0 to x. Here the expression
{{{
<set>
<bvar><ci>x</ci></bvar>
<interval><cn>0</cn><ci>x</ci></interval>
</set>
}}}
is considered equivalent to
{{{
<apply><set/>
<bvar><ci>x</ci></bvar>
<apply><interval/><cn>0</cn><ci>x</ci></apply>
</apply>
}}}
Both are equivalent to the following strict Content MathML3 expression via
the equivalences in Section 4.3.1 Token Elements and Section 4.3.2
Bindings with apply.
{{{
<bind>
<csymbol cd="set1">set</csymbol>
<bvar><ci>x</ci></bvar>
<apply>
<csmbol cd="interval1">interval</csymbol>
<cn>0</cn>
<ci>x</ci>
</apply>
</bind>
}}}
> > single roles, we have to introduce new symbols for the binding forms.
Furthermore, we have to disambiguate them in the strict2pragmatic
conversion.
> Do you mean pragmatic2strict?
yes, sorry for the mistake.
--
Ticket URL: <https://trac.kwarc.info/OM3/ticket/31#comment:2>
OpenMath <http://www.openmath.org>
The development of the OpenMath Standard and Content Dictionaries.
More information about the Trac
mailing list