- From: Stan Devitt <jsdevitt@stratumtek.com>
- Date: Sat, 19 Jul 2003 18:58:56 -0400
- To: "Roger L. Costello" <costello@mitre.org>
- CC: www-math@w3.org
This type of set constructor should have a final argument which is
a sample of the thing being constructed as in
<set>
<bvar><ci>i</ci></bvar>
<bvar><ci>c</ci></bvar>
<condition>
<apply><eq/>
<ci>c</ci>
<apply><times/>
<ci>i</ci>
<cn>2.54</cn>
</apply>
</apply>
</condition>
<list><ci>i</ci><ci>c</ci></list>
</set>
They should be grouped in some way, for example, using a set,
list or vector.
Stan Devitt
StratumTek
Roger L. Costello wrote:
>Hi Folks,
>
>Suppose that I want to represent the set of all inch/centimeter pairs,
>e.g,
>
> {i, c | c = i * 2.54}
>
>Examples in this set include:
>
> (1.0, 2.54), (2.0, 5.08), etc
>
>Is this the correct way to represent this set in MathML:
>
><math>
> <declare type="set">
> <ci>S<ci>
> <set>
> <bvar><ci>i</ci></bvar>
> <bvar><ci>c</ci></bvar>
> <condition>
> <apply>
> <eq/>
> <ci>c</ci>
> <apply>
> <times/>
> <ci>i</ci>
> <cn>2.54</cn>
> </apply>
> </apply>
> </condition>
> </set>
> </declare>
></math>
>
>I think that this is correct. My only hesitation is that perhaps I need
>parentheses around (i,c)? e.g.,
>
> {(i, c) | c = i * 2.54}
>
>And likewise in the MathML representation place parentheses? /Roger
>
>
>
Received on Saturday, 19 July 2003 18:56:53 UTC