[om] Q: Content Dictionary calculus1, partialdiff

Matthias Berth berth at uni-greifswald.de
Fri Jul 30 13:59:18 CEST 1999


I have questions regarding the definition of partial derivatives in the
calculus1 CD:


There is an example

In TeX:      \partial^2{xyz}/\partial{x}\partial{z} 
In OpenMath: partialdiff(list(1,3), lambda[x y z].(times(x,y,z)))(y) 

As far as I understand it, here partialdiff is applied to an operator,
giving another operator, which is then applied to y. 

My first question is: Shouldn't the result of the differentiation be an
operator of the same "signature", taking three arguments, not just one

My second question is: How is the PDE u_xx+x*u_t=0 expressed using



Matthias Berth
berth at uni-greifswald.de
om at openmath.org  -  general discussion on OpenMath
Post public announcements to om-announce at openmath.org
Automatic list maintenance software at majordomo at openmath.org
Mail om-owner at openmath.org for assistance with any problems

More information about the Om mailing list