definite_integral of max function

asked 2022-09-13 17:05:54 +0200

Max Alekseyev gravatar image

The following code returns 1/2, however it can be easily verified that $$\int_0^1 \max(x,\ 1-x)\,{\rm d}x = \frac34.$$ What's wrong?

from sage.symbolic.integration.integral import definite_integral
edit retag flag offensive close merge delete



use max_symbolic

FrédéricC gravatar imageFrédéricC ( 2022-09-13 19:11:47 +0200 )edit

Thanks! max_symbolic does lead to the correct answer, but I worry that using max silently produces an incorrect answer - should Sage give an error or a warning about the issue at least?

Max Alekseyev gravatar imageMax Alekseyev ( 2022-09-13 19:57:59 +0200 )edit

This is a common pitfall. You could have tried to see what max(x,1-x) answers.

FrédéricC gravatar imageFrédéricC ( 2022-09-13 20:37:20 +0200 )edit

This is weird - both max(x,1-x) and min(x,1-x) return x. At very least this breaks the identity $\max(x,1-x) + \min(x,1-x) = 1$.

Max Alekseyev gravatar imageMax Alekseyev ( 2022-09-13 20:56:34 +0200 )edit

With symbolic arguments, max and min return the first argument. Hence:

sage: max(x,1-x) + min(x,1-x)                                                   


sage: max(x,1-x) + min(1-x,x)                                                   
Juanjo gravatar imageJuanjo ( 2022-09-14 03:17:22 +0200 )edit