[Maxima-bugs] [maxima:bugs] #4813 is(equal(1/z, 0)) = unknown for complex z

[David S. <tom...@us...>]

---

**[bugs:#4813] is\(equal\(1/z, 0\)\) = unknown for complex z**

**Status:** open
**Group:** None
**Labels:** complex equal 
**Created:** Wed Jul 08, 2026 08:26 AM UTC by David Scherfgen
**Last Updated:** Wed Jul 08, 2026 08:26 AM UTC
**Owner:** nobody


~~~
(%i1) declare(z, complex)$
(%i2) is(equal(1/z, 0));
(%o2) unknown
~~~

I guess that's because `csign` has no way to say "complex, but not zero".


---

Sent from sourceforge.net because max...@li... is subscribed to https://sourceforge.net/p/maxima/bugs/

To unsubscribe from further messages, a project admin can change settings at https://sourceforge.net/p/maxima/admin/bugs/options.  Or, if this is a mailing list, you can unsubscribe from the mailing list.