(%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".
csign
Log in to post a comment.