Re: Questions about MathML 3.0 domainofapplication

On 24/07/2011 15:36, Christian Lerch wrote:
> Hello www-math@w3.org,
> I have a few questions regarding the following piece from the MathML 3.0
> spec (section 4.3.3.1 Uses of <domainofapplication>, <interval>,
> <condition>, <lowlimit> and <uplimit>)
> ----
> The general technique of using a condition element together with
> domainofapplication is quite powerful. For example, to extend the
> previous example to a multivariate domain, one may use an extra bound
> variable and a domain of application corresponding to a cartesian product:
>
> <apply><int/>
> <bvar><ci>x</ci></bvar>
> <bvar><ci>y</ci></bvar>
> <domainofapplication>
> <set>
> <bvar><ci>t</ci></bvar>
> <bvar><ci>u</ci></bvar>
> <condition>
> <apply><and/>
> <apply><leq/><cn>0</cn><ci>t</ci></apply>
> <apply><leq/><ci>t</ci><cn>1</cn></apply>
> <apply><leq/><cn>0</cn><ci>u</ci></apply>
> <apply><leq/><ci>u</ci><cn>1</cn></apply>
> </apply>
> </condition>
> <list><ci>t</ci><ci>u</ci></list>
> </set>
> </domainofapplication>
> <apply><times/>
> <apply><power/><ci>x</ci><cn>2</cn></apply>
> <apply><power/><ci>y</ci><cn>3</cn></apply>
> </apply>
> </apply>
>
> Note that the order of the inner and outer bound variables is significant.
> ----
> My questions:
>
>  1. Does this exaple try to denote a double integral ?

yes

>  If yes, is this
>     the recommended way to do it ?

well it's a way, probably the recommended way if it is over an arbitrary 
domain


>  2. Why is the <set> wrapper inside <domainofapplication> necessary at
>     all?  Only because the later happens to just take a single argument ?

well because it doesn't take the qualifiers, in particular condition, 
used here. One could always extend the set of elements that take 
qualifiers but  it doesn't always make things clearer and here I think 
having an extended version of domainofapplication that took qualifiers 
wouldn't really make things clearer would it?

>     In a set, however, I could put arbitrary elements. From the example
>     I conclude that this use of <set> is very specific to the
>     <domainofapplication> parent and hence requires a very specific
>     element list. I could not find any specification about the required
>     structure of this <set>.
Not sure I understand this question, perhaps the answer to the next 
question will make it clearer.


>  3. What purpose serves the last <set> element <list>... ? We already
>     have declared <bvar> t and u (in that order) as set element 1 and 2.
>     Why list them again ? Does the final note of this section refer in
>     any way to the use of the <list> element ?

In MathML1 there were a few examples given that used constructors 
without the final clause but it's ambiguous (and was never I think 
allowed by the text of the specification), so at MathML2 (and so 3) we 
made sure all the examples of set and similar constructs had the main 
body (not just teh bvar and condition qualifiers).

<set>
bvars
condition
term
</set>

Is the subset of the set of all terms (over an implied domain) 
restricted by the condition.

So here the <set> is constructing a list of pairs (ie its a subset of 
R^2). The bvars and the condition specify the restriction that 
determines the subset.
>
> Any comments or expalantions would be greatly appreciated.
>
> Thank you in advance,
> Chris
>
> <http://km-works.eu>
>

David



-- 
google plus: https:/profiles.google.com/d.p.carlisle

Received on Sunday, 24 July 2011 15:46:17 UTC