I have a system of equations for algebraic curve given by the zero locus of some polynomial encoded in the system of equations:
$$ y = \frac{z^{1+a}}{z-x},$$ $$1= \frac{(x-z) x^a z^{-1-2a+b}}{z-1}$$
I want to eliminate variable $z$ to get equation for zero locus of some polynomial in $x$ and $y$. We can assume for constants $a,b$ to be integers (or even positive). I first tried to multiply first equation by the second but this doesn't really do much.
I would appreciate any good ideas.
With $a,b$ non-negative integers, you can rewrite the two equations in polynomial form as:
$$ \begin{align} y(z-x) - z^{a+1} & = 0 \\ z^{2a+1}(z-1) - (x-z) x^a z^{b} & = 0 \end{align} $$
Then eliminating $z$ between the two equations can be technically done using polynomial resultants but the calculations are rather heavy, and the results not too pretty. For example:
$a=1, b=1\,$: $\;x^2 y^2 (x^4 + 2 x^3 y + x^2 y^2 - x^2 y - x y^2 + x y) = 0$
$a=1, b=2\,$: $\;-x^3 y^3 (x^5 y - 2 x^3 y + x^2 y^2 + 3 x^2 y - x y^2 + x y - y + 1) = 0$
$a=2, b=1\,$: $\;x^2 y^2 (-x^9 + 3 x^7 y + x^5 y^3 - 3 x^5 y^2 + x^4 y^4 - x^3 y^4 + x^3 y^3)=0$
$a=2, b=2\,$: $\;x^4 y^4 (-x^9 - x^6 y + x^5 y + 3 x^4 y - 2 x^3 y + x^2 y^2 - x y^2 + x y)=0$
$a=3, b=5\,$: $$ -x^7 y^7 (x^{19} y^3 - 6 x^{13} y^3 + 7 x^{12} y^3 + x^{10} y^4 + 2 x^{10} y^2 - x^9 y^4 - 13 x^9 y^2 + 14 x^8 y^2 + 3 x^7 y^3 - 3 x^6 y^3 - 4 x^5 y + 3 x^4 y^2 + 7 x^4 y - 3 x^3 y^2 + x y - y + 1)=0$$