cZeros(z^2+1=0,z) `[-i,i]`cZeros(z^2+1=z,z) `[12 (1+i3 ),12 (1-i3 )]`assume(x,'real') `DOM_FLOAT`assume(y,'real') `DOM_FLOAT`f := (z)->z^2+1 ` (z)->z^2+1`f(x+(i)*y) `(x+iy)2+1`evalc(f(x+(i)*y)) `x2-y2+1+iyx*2`evalc(f(x-(i)*y)) `x2-y2+1+iy (-(2x) )`evalc(f(-x-(i)*y)) `x2-y2+1+iyx*2`@`@`@`@`@`@`@`@`