- labels: --> Lisp Core - Integration
If we apply the fix from Bug 137470
(http://sourceforge.net/tracker/index.php?func=detail&aid=1374704&group_id=4933&atid=104933)
The result is
1/cos(%pi/3)-1/cos(0).
This is right but is not simplified to 1.
Logged In: YES
user_id=501686
Observed in 5.9.3.99rc1 / Clisp 2.38.
Logged In: YES
user_id=1797506
Originator: NO
Removed binding of $%piargs to nil in sin-cos-intsubs1 in defint.lisp rev 1.55.
I think this was intended to prevent division by zero, but I don't think it was really doing anything useful.
(%i2) integrate(sin(x)/cos(x)^2,x,0,%pi/3);
Is cos(x) positive, negative, or zero?
p;
(%o2) 1
Log in to post a comment.