The Weierstrass(f, t, x, x(t), p) command computes the Weierstrass excess function

The output is unsimplified. There are many techniques that can be used to simplify the output: factor, collect, combine, or complete the square.

If  is positive when  is the extremal, except when , the extremal provides a strong local minimum.

The Cauchy-Schwarz inequality can be used to determine the sign of the expression.