Comment by exe34
13 hours ago
so there's an unconditionally correct answer (it's also equal to abs(x) for x>0), and then there is an answer that is only correct for half the domain, which requires an additional assumption.
13 hours ago
so there's an unconditionally correct answer (it's also equal to abs(x) for x>0), and then there is an answer that is only correct for half the domain, which requires an additional assumption.
sqrt(square(i)) != abs(i)
So no, it’s not unconditionally correct either.