where psi is declared anticommuting with Setup(anticommutativeprefix={psi}).

When I work with expressions that are differential polynomials in u with coefficients arbitrary functions of u, the EulerLagrange operator behaves correctly. The same is true if I multiply these expressions by psi or by psi_1 ...

Is there a way to find out what packages (i.e. statistics, or calculus, etc.) that are in my Maple installation?
I bought a student version of Maple, now I need to use Statistics (with (Statistics): ) but don't really know If I have Statistics package installed or not. Thanks

Is there a way to find out what packages (i.e. statistics, or calculus, etc.) that are in my Maple installation?
I bought a student version of Maple, now I need to use Statistics (with (Statistics): ) but don't really know If I have Statistics package installed or not. Thanks

This blog will contain postings documenting some of my mathematical travels. In particular it will chronicle my experiences and problems in learning maple and the mathematics I am studying along the way.

I seems that Maple doesn't know anything about the convexity of functions.

It would be nice to have a command to check the convexity of (real) functions in Maple, also Maple should have knowledge on the convexity of known functions: for example: constant function, linear function , abs, sin (convex on a specific region) etc.
To deal with the calculus of convex functions: for example Maple should know such theorems: if f(x) and g(x) are convex functions and g(x) is non-decreasing then g(f(x)) is convex, etc.