[om] Q: Content Dictionary calculus1, partialdiff

[David Carlisle]

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

I think yes. (Which means the example in the file is wrong.)

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

if `u' here is a function of two variables x and t, then you can
directly apply partialdiff, and then apply the resulting expression
to variables x and t and equate to 0. If `u' is an expression involving
x and t then you'd need to lambda abstract first to get something of
function type, then work as above.

David
--
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