Skip to content

Commit 9e077a4

Browse files
committed
src/sage/symbolic/integration/integral.py: delete a few giac doctests
Several tests in this file are computing integrals that "can only be solved by giac." But since re-enabling abs_integrate for maxima, that is no longer true: maxima is able to solve them, and the answer is often an improvement (defined on a larger set, for example). Since these examples were meant to demonstrate the fallback to giac, we delete them rather than update the expected output to conform with maxima's. We have enough trouble updating the existing maxima expressions every time a new version of maxima is released.
1 parent 4cdd703 commit 9e077a4

File tree

1 file changed

+0
-40
lines changed

1 file changed

+0
-40
lines changed

src/sage/symbolic/integration/integral.py

Lines changed: 0 additions & 40 deletions
Original file line numberDiff line numberDiff line change
@@ -999,46 +999,6 @@ def integrate(expression, v=None, a=None, b=None, algorithm=None, hold=False):
999999
sage: bool(actual == expected)
10001000
True
10011001
1002-
::
1003-
1004-
sage: # needs sage.libs.giac
1005-
sage: result = integrate(cos(x + abs(x)), x)
1006-
...
1007-
sage: result
1008-
sin(x*sgn(x) + x)/(sgn(x) + 1)
1009-
1010-
::
1011-
1012-
sage: # needs sage.libs.giac
1013-
sage: result = integrate(1/(1 + abs(x)), x)
1014-
...
1015-
sage: result
1016-
log(abs(x*sgn(x) + 1))/sgn(x)
1017-
1018-
::
1019-
1020-
sage: # needs sage.libs.giac
1021-
sage: result = integrate(1/sqrt(abs(x)), x)
1022-
...
1023-
sage: result
1024-
2*sqrt(x*sgn(x))/sgn(x)
1025-
1026-
::
1027-
1028-
sage: # needs sage.libs.giac
1029-
sage: result = integrate(1/(1 + abs(x)), x)
1030-
...
1031-
sage: result
1032-
log(abs(x*sgn(x) + 1))/sgn(x)
1033-
1034-
::
1035-
1036-
sage: # needs sage.libs.giac
1037-
sage: result = integrate(cos(x + abs(x)), x)
1038-
...
1039-
sage: result
1040-
sin(x*sgn(x) + x)/(sgn(x) + 1)
1041-
10421002
Some tests for :issue:`17468`::
10431003
10441004
sage: integral(log(abs(2*sin(x))), x, 0, pi/3)

0 commit comments

Comments
 (0)