assuming zerob < 0 & zeroa > 0 gives bugs for some limits

[rtoy]

Imported from SourceForge on 2024-07-09 19:34:20
Created by willisbl on 2021-06-04 20:04:46
Original: https://sourceforge.net/p/maxima/bugs/3794

---

Correct:

(%i1)	limit(atan2(x^2-2,x^3-2*x),x,sqrt(2),minus);
(%o1)	atan(1/sqrt(2))\-%pi
(%i2)	assume(zeroa > 0, zerob < 0);
(%o2)	[zeroa>0,zerob<0]

Rubbish:

(%i1)	assume(zeroa > 0, zerob < 0);
(%o1)	[zeroa>0,zerob<0]
(%i2)	limit(atan2(x^2-2,x^3-2*x),x,sqrt(2),minus);
(%o2)	\-%pi

[rtoy]

Imported from SourceForge on 2024-07-09 19:34:21
Created by robert_dodier on 2021-06-17 06:25:30
Original: https://sourceforge.net/p/maxima/bugs/3794/#2f12

---

• labels: --> limit, assume, infinitesimals