[Aldor-l] Functions and Expression trees

[W Naylor]

Hi,

my current work involves converting aldor objects to and from OpenMath 
format, via. the ExpressionTree type (from the algebra lib.). I'm a bit 
stuck when it comes to function objects, I don't seem to be able to get a 
handle on anything, the signatures of the functions or the body of the 
function. 

It would be really nice to have an extree(f) function from the 
PartialFunction domain, but I suspect that this is asking too much! Does 
anyone have any experience with decomposing function objects, I would be 
very grateful of any relevant experiences.

thanks,

Bill

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