imagpart(rrcc) => imagpart(rrcc) <<< should be 0
carg(rrcc^2+1) => atan2(...) <<< should be rrcc^2+1
In other words, when something is declared both real and complex, it presumably should be treated as real (the intersection of the reals and the complexes). But it is not.
What is less clear is whether featurep(rrcc,complex) should be true (which it curently is).
Log in to post a comment.