Menu

#4813 is(equal(1/z, 0)) = unknown for complex z

None
open
nobody
5
4 days ago
4 days ago
No
(%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".

Discussion


Log in to post a comment.

Auth0 Logo