Sollya User's Manual

Name:

diff differentiation operator

diff(function) : function -> function

diff(function) returns the symbolic derivative of the function function by the global free variable.

If function represents a function symbol that is externally bound to some code by library, the derivative is performed as a symbolic annotation to the returned expression tree.

> diff(sin(x));
cos(x)

> diff(x);
1

> diff(x^x);
x^x * (1 + log(x))