[bug]Calculate a conditional re-integration

[yangyongkang]

Not much to say, directly on the code

Code:

∫(∫(min(x^2,y^2),y,0,1),x,0,3)

The XCAS terminal gives a big push warning

Code:

Warning, integration of abs or sign assumes constant sign by intervals (correct if the argument is real):
Check [abs(taylorx10^2-taylorx11^2)]
Discontinuities at zeroes of taylorx10^2-taylorx11^2 were not checked
No checks were made for singular points of antiderivative (taylorx10^2*taylorx11+(taylorx11^3)/3-(-(taylorx11^3)/3+taylorx10^2*taylorx11)*sign(taylorx10^2-taylorx11^2))/2 for definite integration in [0,1]
Warning, integration of abs or sign assumes constant sign by intervals (correct if the argument is real):
Check [sign(taylorx10^2-1)]
Discontinuities at zeroes of taylorx10^2-1 were not checked
Warning, integration of abs or sign assumes constant sign by intervals (correct if the argument is real):
Check [sign(taylorx10^2-1)]
Discontinuities at zeroes of taylorx10^2-1 were not checked

XCAS also gives the answer

Code:

1

But it is the wrong answer

WolframAlpha: ∫(∫(min(x^2,y^2),y,0,1),x,0,3)

Wolfram Alpha is right


Looking forward to the update of hp prime firmware in 2019