Dear list,
I realize I wasn't clear before. My question is which one is supposed
to happen below for the limit of floor(x), under the assumption given.
Apparently it has something to do with the assumption, since it
"works" for variable y.
1) Returns und (similarly to how limit(x^2) and limit(sin(1/x)) return
the "correct" value)
2) Returns just limit, as below (in which case perhaps other limits at
x=0 should also just return the limit again)
3) Raises an error (in which case all of them should).
Thank you for any clarification! I am happy to report this as a bug,
but I don't know whether it is considered to be one, or which of 1)-3)
it is (hence, which line below IS the bug).
Maxima 5.19.1 http://maxima.sourceforge.net
Using Lisp SBCL 1.0.30
Distributed under the GNU Public License.
See the file COPYING.
Dedicated to the memory of William Schelter.
The function bug_report() provides bug reporting information.
(%i1) assume(x<-2);
(%o1) [x < - 2]
(%i2) limit(floor(y),y,0);
(%o2) und
(%i3) limit(x^2,x,0);
(%o3) 0
(%i4) limit(floor(x),x,0);
(%o4) limit floor(x)
x -> 0
(%i5) limit(sin(x)/x,x,0);
(%o5) 1