Hello Nils, thank you for your analysis!
You wrote:
> It should really be no surprise that inequalities don't play nice with
> "domain: complex"
>
Hm. "domain : complex" is set both in maxima_lib.py and maxima.py. Which
one is responsible here?
It has been in there "forever" (I followed it back to commit 0daf6b in
2009.) and I assume it is necessary for many Maxima calls.
Now I have two questions:
* How can Maxima be called without "domain : complex" as a workaround?
The following does not work, it still gives the "!= 0" terms:
maxima.eval("domain : real;")
solve(abs((x-1)/(x-5)) <= 1/3, x)
* What would happen if Maxima were called with the default "domain : real"?
--
You received this message because you are subscribed to the Google Groups
"sage-devel" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to sage-devel+unsubscr...@googlegroups.com.
To post to this group, send email to sage-devel@googlegroups.com.
Visit this group at http://groups.google.com/group/sage-devel.
For more options, visit https://groups.google.com/d/optout.
