Re: Volume integrals in Content MathML

It seems to me that the following captures the intended meaning:

<apply>
   <int/>
      <domainofapplication>  
         <ci type=''vector''>r</ci>
      </domainofapplication>
      <apply>
         <ci type=''function>&rho</ci>
         <ci type=''vector''>r</ci>
      </apply>
   </apply>
</apply>

i.e., integrate the function, &rho, over its whole domain.
Do you agree?
R/jbc
--- On Tue, 11/4/08, David Carlisle <davidc@nag.co.uk> wrote:
From: David Carlisle <davidc@nag.co.uk>
Subject: Re: Volume integrals in Content MathML
To: joebmath@yahoo.com
Cc: www-math@w3.org
Date: Tuesday, November 4, 2008, 4:14 PM

> It would be useful to have a way to abstractly refer, in a basis free
> manner, to curves, surfaces, volumes, etc., over which integrals are
> to be evaluated. 

I think 
<apply>
 <int/>
 <domainofapplication>
    specifcation of surface, volume etc
 </domainofapplication>
 lambda term representing the function to be integrated
</apply>

should do this.

David



________________________________________________________________________
The Numerical Algorithms Group Ltd is a company registered in England
and Wales with company number 1249803. The registered office is:
Wilkinson House, Jordan Hill Road, Oxford OX2 8DR, United Kingdom.

This e-mail has been scanned for all viruses by Star. The service is
powered by MessageLabs. 
________________________________________________________________________