1 | initial version |
This has to do with how implicit_plot
works.
In order to decide where the desired expression is zero, it samples values of the expression on the desired rectangle, and when there is a sign change, decides that it must be zero in between.
That is why implicit_plot
does not work when you take
the square of the expression, as the zero locus no longer
corresponds to a sign change.