[Om] Content-dictionary notations draft

[W Naylor]

> 
> doesn't have this complication as the partialdiff operator takes a
> lambda term, and then refers to the variables against which teh
> derivatives are to be taken by integer position (possibly repeated)
> rather than by name and degree, this means as far as I can see you can't
> encode a variable number of degrees. d^{x+y}/d^x d^y.
> 
>  the calculus1 CD says of partialdiff
> 
> 
>    It has two arguments, the first is a list of 
>    integers which index the variables of the function, the second is the
>    function.
> 
> In order to encode d^{x+y}/d^xd^y the first argument to partialdiff
> would need to be a list of intgers consisting of x 1's followed by y
> 2's, I think that could be specified with some suitable set of operators
> from the list CD, although getting a stylesheet to spot the pattern in
> such a constructed list would be "challenging" I think.
> 

It was exactly this difficulty in the encoding which led me to contribute 
the CD containing an nthpartialdiff symbol:

http://www.openmath.org/cd/contrib/cd/new_calculus1.xhtml#nthpartialdiff

thoughts?

Bill

> David
> _______________________________________________
> Om mailing list
> Om at openmath.org
> http://openmath.org/mailman/listinfo/om
> 
> 
> 

-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*
-
-                  Dr. W.A. Naylor
-
-                  http://www.cs.bath.ac.uk/~wn
-
-                  work tel: +44 1225 386183
-
-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*-*