#862 integrate(sin(x)/cos(x)^2,x,0,%pi/3) not simplified

closed
nobody
5
2008-02-17
2006-01-29
Raymond Toy
No

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.

Discussion

  • Robert Dodier

    Robert Dodier - 2006-04-10
    • labels: --> Lisp Core - Integration
     
  • Robert Dodier

    Robert Dodier - 2006-08-15

    Logged In: YES
    user_id=501686

    Observed in 5.9.3.99rc1 / Clisp 2.38.

     
  • Dan Gildea

    Dan Gildea - 2008-02-17

    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

     
  • Dan Gildea

    Dan Gildea - 2008-02-17
    • status: open --> closed
     

Log in to post a comment.