#843 1-arg limit: limit(a*inf-inf) => minf

closed
nobody
5
2009-09-12
2005-12-19
No

assume(a>1)$
limit(a*inf-inf) => minf

Should be inf assuming the inf's represent the same
variable (limit's usual behavior here). Should be und
if they represent different variables.

Discussion

  • Robert Dodier

    Robert Dodier - 2006-04-09
    • labels: --> Lisp Core - Limit
     
  • Dan Gildea

    Dan Gildea - 2009-09-12
    • status: open --> closed
     
  • Dan Gildea

    Dan Gildea - 2009-09-12

    in limit.lisp rev 1.82:

    (%i1) assume(a>1);
    (%o1) [a > 1]
    (%i2) limit(a*inf-inf);
    (%o2) minf + inf

     

Log in to post a comment.

Get latest updates about Open Source Projects, Conferences and News.

Sign up for the SourceForge newsletter:

JavaScript is required for this form.





No, thanks