I have some problems understanding circles.
$x^2+y^2 = 1$ is a circle. It defines equivalence class where all (x,y) points belonging to the circle are in the same equivalence class. $(\cos a, \sin a)$ breaks that equivalence class, and allows us to enumerate the (x,y) points in the circle by varying the $a$ parameter. $x=\cos a, y=\sin a$ links $x^2+y^2=1$ and $(\cos a, \sin a)$ and does substitution to get $\cos(a)^2+\sin(a)^2=1$.
Another representation for the circle is $f(x,y)=c$ implicit function. Choosing $f(x,y)=x^2+y^2$ and $c=1$ brings us to the same circle as before. But what if we wanted $f$ to be some other function, and wanted to break the equivalence class in same way as with the case of circle. Basically, given unknown function $f(x,y)$, how can we find the representation like $(\cos a, \sin a)$ that allows breaking the equivalence class represented by $f(x,y)=c$ implicit function?
The obvious use case for this is that it allows us to use implicit functions without enumerating the whole (x,y) space and testing every point in the space whether it belongs to the subset. This requirement for enumerating the whole space comes from inverse image: $(k\rightarrow m) \rightarrow (m \rightarrow 2) \rightarrow (k \rightarrow 2)$, which is implemented simply by function composition. Applying this to the circle case gives us way to assign $k=(x,y)$, $m=R$ to get $((x,y) \rightarrow R) \rightarrow (R \rightarrow 2) \rightarrow ((x,y) \rightarrow 2)$. The main problem that this solution has, is that it requires enumerating the $(x,y)$ space to discover all values of $2$ which maps to each $(x,y)$ point, when we really wanted to enumerate just one dimension $a$.
So is there any ideas what methods there are to discover things like $(\cos a, \sin a)$ for generic implicit functions like $f(x,y)$? Obvious difficult case is $f(x,y) = g_1(x,y) + g_2(x,y)$.
I found myself one solution to the problem. It uses substitution $y=f(x)$, and keeps f(x) as unknown function, which can be calculated from the equation. Steps go as follows:
$$ f(x,y)=c $$ $$ f(x,f(x))=c $$ For circle, $f(x,y) = x^2+y^2$, so $$ x^2 + f(x)^2 = c $$ $$ f(x)^2 = c - x^2 $$ $$ f(x) = \sqrt{(c-x^2)} \vee f(x)=-\sqrt{(c-x^2)} $$
So basically this reduces the number of dimensions in the problem.