Closed asmeurer closed 8 years ago
The readme says sqrt(x^2) = x. But this is not true in general (take x=-1). In general it's equal to +/- x.
It probably should say sqrt(x)^2 = x, which is always true, and can be taken as a "definition" of the square root.
PR at https://github.com/Jam3/math-as-code/pull/43
asmeurer
commented
8 years ago asmeurer
commented
8 years ago
The readme says sqrt(x^2) = x. But this is not true in general (take x=-1). In general it's equal to +/- x.
It probably should say sqrt(x)^2 = x, which is always true, and can be taken as a "definition" of the square root.