[Axiom-developer] Understanding Axiom.

[Grigory Sarnitskiy]

I think I don't understand some aspects of Axiom.

Imagine I want to have a function that returns the derivative of real-valued 
function of one real variable, something like

Deriv  : ((Float) -> Float) -> ((Float) -> Float)

I want Deriv to handle symbolic computation, not (Deriv f) to be some numeric 
algorithm to return value for every point.
So may be for symbolic computation I need another type, not ((Float) -> Float) 
-> ((Float) -> Float) ?

What type should I use to deal symbolically with real valued functions of real 
valuables? I guess most natural type like (Float -> Float) won't help.