Express a parametrization of a curve $C$ as a function of $X$ and $Y$












3












$begingroup$


Express the curve $C$ with parametrization ${(cos 3t, sin 2t) : t in mathbb{R} }$ as a function of $X$ and $Y$.



Here's what I have (I don't know if this is helpful)



I let $X= cos 3t$ and $Y= sin 2t$. So I have $X= cos^3 t -3sin^2 t cos t$ and $Y=2 cos t sin t$.



I don't know how to go on from here. Please help. Thanks!






algebraic-geometry







share|cite|improve this question









$endgroup$












  • $begingroup$
    As a set of points, $C$ isn't a function from $mathbb R$ tp $mathbb R$.
    $endgroup$
    – Michael Hoppe
    Dec 3 '18 at 16:25
















3












$begingroup$


Express the curve $C$ with parametrization ${(cos 3t, sin 2t) : t in mathbb{R} }$ as a function of $X$ and $Y$.



Here's what I have (I don't know if this is helpful)



I let $X= cos 3t$ and $Y= sin 2t$. So I have $X= cos^3 t -3sin^2 t cos t$ and $Y=2 cos t sin t$.



I don't know how to go on from here. Please help. Thanks!






algebraic-geometry







share|cite|improve this question









$endgroup$












  • $begingroup$
    As a set of points, $C$ isn't a function from $mathbb R$ tp $mathbb R$.
    $endgroup$
    – Michael Hoppe
    Dec 3 '18 at 16:25














3












3








3





$begingroup$


Express the curve $C$ with parametrization ${(cos 3t, sin 2t) : t in mathbb{R} }$ as a function of $X$ and $Y$.



Here's what I have (I don't know if this is helpful)



I let $X= cos 3t$ and $Y= sin 2t$. So I have $X= cos^3 t -3sin^2 t cos t$ and $Y=2 cos t sin t$.



I don't know how to go on from here. Please help. Thanks!






algebraic-geometry







share|cite|improve this question









$endgroup$




Express the curve $C$ with parametrization ${(cos 3t, sin 2t) : t in mathbb{R} }$ as a function of $X$ and $Y$.



Here's what I have (I don't know if this is helpful)



I let $X= cos 3t$ and $Y= sin 2t$. So I have $X= cos^3 t -3sin^2 t cos t$ and $Y=2 cos t sin t$.



I don't know how to go on from here. Please help. Thanks!






algebraic-geometry




algebraic-geometry






share|cite|improve this question













share|cite|improve this question











share|cite|improve this question




share|cite|improve this question










asked Dec 3 '18 at 11:39









Mashed PotatoMashed Potato

866




866












  • $begingroup$
    As a set of points, $C$ isn't a function from $mathbb R$ tp $mathbb R$.
    $endgroup$
    – Michael Hoppe
    Dec 3 '18 at 16:25


















  • $begingroup$
    As a set of points, $C$ isn't a function from $mathbb R$ tp $mathbb R$.
    $endgroup$
    – Michael Hoppe
    Dec 3 '18 at 16:25
















$begingroup$
As a set of points, $C$ isn't a function from $mathbb R$ tp $mathbb R$.
$endgroup$
– Michael Hoppe
Dec 3 '18 at 16:25




$begingroup$
As a set of points, $C$ isn't a function from $mathbb R$ tp $mathbb R$.
$endgroup$
– Michael Hoppe
Dec 3 '18 at 16:25










1 Answer
1






active

oldest

votes


















2












$begingroup$

Answer:
$$
X^4 - X^2 + 4 Y^6 - 6 Y^4 + frac{9}{4} Y^2 = 0
$$



How I got it:



We can replace the trigonometric parametrization $(cos(u), sin(u))$ of the unit circle with a rational one: $left(frac{1-t^2}{1+t^2}, frac{2t}{1+t^2}right)$. So we equate $cos(u) = x = frac{1-t^2}{1+t^2}$ and $sin(u) = y =frac{1-t^2}{1+t^2}$. Your expressions for $X$ and $Y$ then become
begin{align*}
X &= cos^3(u) - 3 cos(u) sin^2(u) = x^3 - 3 xy^2 = frac{-t^{6} + 15 t^{4} - 15 t^{2} + 1}{(1+t^2)^3}\
Y &= 2 cos(u) sin(u) = 2 x y = frac{-4 t^{3} + 4 t}{(1+t^2)^2}
end{align*}



In the polynomial ring $mathbb{Q}[t,z,X,Y]$ we form the ideal
$$
I = ((1+t^2)^3 X -(-t^{6} + 15 t^{4} - 15 t^{2} + 1), (1+t^2)^2 Y - (-4 t^{3} + 4 t), (1+t^2)z - 1)
$$
and compute a Gröbner basis with respect to the elimination ordering $t > z > X > Y$. The last entry of this Gröbner basis is the desired polynomial in $X$ and $Y$.



The proof is in the pudding, though: here is a SageMathCell comparing the two plots.



Actually, a slightly better way is to instead compute a Gröbner basis for the ideal $(X - (x^3 - 3xy^2), Y - (2xy), x^2 + y^2 - 1)$ in $mathbb{Q}[x,y,X,Y]$ with respect to the elimination ordering $x > y > X > Y$. This yields the same answer.






share|cite|improve this answer











$endgroup$









  • 1




    $begingroup$
    Another way to get rid of fractions is to homogenize to I=ideal(X-(-t^6+15*t^4*u^2-15*t^2*u^4+u^6),Y-(-4*t^3*u+4*t*u^3)*(t^2+u^2),Z-(t^2+u^2)^3) and after taking the gröbner basis, set $Z=1$ in the resulting $16Y^6+4X^4Z^2-24Y^4Z^2-4X^2Z^4+9Y^2Z^4$. (+1)
    $endgroup$
    – Jan-Magnus Økland
    Dec 3 '18 at 18:21










  • $begingroup$
    Thanks for the detailed reply! However, we haven't encounterer Gröbner basis yet. Do you think there is still another way to get it without using Gröbner basis?
    $endgroup$
    – Mashed Potato
    Dec 3 '18 at 22:05










  • $begingroup$
    @MashedPotato Have you learned other tools from elimination theory? It is probably possible to do this with resultants instead of Gröbner bases. A more brute-force approach might also be possible. From a plot of the parametrization, we can see that the curve has degree $6$ (a generic line intersects it in $6$ points). So we write down a degree $6$ polynomial with $28$ undetermined coefficients. We can impose linear conditions conditions on these coefficients by plugging in points we obtain by substituting various values of $t$ into the parametrization, e.g., $t=0$ says $(1,0)$ lies on $C$.
    $endgroup$
    – André 3000
    Dec 3 '18 at 23:00










  • $begingroup$
    You can also plug the parametrization directly into the degree $6$ polynomial in $X$ and $Y$ and get linear relations that way. But this naïve method seems quite hard and tedious! The thing is, once you have a proposed answer, it's easy to check by substituting in the parametrization and seeing that the equation holds.
    $endgroup$
    – André 3000
    Dec 3 '18 at 23:00








  • 1




    $begingroup$
    I'm only taking an introductory course so I think what will really work for me are the brute force methods. Thanks for your help!!
    $endgroup$
    – Mashed Potato
    Dec 4 '18 at 2:59











Your Answer





StackExchange.ifUsing("editor", function () {
return StackExchange.using("mathjaxEditing", function () {
StackExchange.MarkdownEditor.creationCallbacks.add(function (editor, postfix) {
StackExchange.mathjaxEditing.prepareWmdForMathJax(editor, postfix, [["$", "$"], ["\\(","\\)"]]);
});
});
}, "mathjax-editing");

StackExchange.ready(function() {
var channelOptions = {
tags: "".split(" "),
id: "69"
};
initTagRenderer("".split(" "), "".split(" "), channelOptions);

StackExchange.using("externalEditor", function() {
// Have to fire editor after snippets, if snippets enabled
if (StackExchange.settings.snippets.snippetsEnabled) {
StackExchange.using("snippets", function() {
createEditor();
});
}
else {
createEditor();
}
});

function createEditor() {
StackExchange.prepareEditor({
heartbeatType: 'answer',
autoActivateHeartbeat: false,
convertImagesToLinks: true,
noModals: true,
showLowRepImageUploadWarning: true,
reputationToPostImages: 10,
bindNavPrevention: true,
postfix: "",
imageUploader: {
brandingHtml: "Powered by u003ca class="icon-imgur-white" href="https://imgur.com/"u003eu003c/au003e",
contentPolicyHtml: "User contributions licensed under u003ca href="https://creativecommons.org/licenses/by-sa/3.0/"u003ecc by-sa 3.0 with attribution requiredu003c/au003e u003ca href="https://stackoverflow.com/legal/content-policy"u003e(content policy)u003c/au003e",
allowUrls: true
},
noCode: true, onDemand: true,
discardSelector: ".discard-answer"
,immediatelyShowMarkdownHelp:true
});


}
});














draft saved

draft discarded


















StackExchange.ready(
function () {
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f3023939%2fexpress-a-parametrization-of-a-curve-c-as-a-function-of-x-and-y%23new-answer', 'question_page');
}
);

Post as a guest















Required, but never shown

























1 Answer
1






active

oldest

votes








1 Answer
1






active

oldest

votes









active

oldest

votes






active

oldest

votes









2












$begingroup$

Answer:
$$
X^4 - X^2 + 4 Y^6 - 6 Y^4 + frac{9}{4} Y^2 = 0
$$



How I got it:



We can replace the trigonometric parametrization $(cos(u), sin(u))$ of the unit circle with a rational one: $left(frac{1-t^2}{1+t^2}, frac{2t}{1+t^2}right)$. So we equate $cos(u) = x = frac{1-t^2}{1+t^2}$ and $sin(u) = y =frac{1-t^2}{1+t^2}$. Your expressions for $X$ and $Y$ then become
begin{align*}
X &= cos^3(u) - 3 cos(u) sin^2(u) = x^3 - 3 xy^2 = frac{-t^{6} + 15 t^{4} - 15 t^{2} + 1}{(1+t^2)^3}\
Y &= 2 cos(u) sin(u) = 2 x y = frac{-4 t^{3} + 4 t}{(1+t^2)^2}
end{align*}



In the polynomial ring $mathbb{Q}[t,z,X,Y]$ we form the ideal
$$
I = ((1+t^2)^3 X -(-t^{6} + 15 t^{4} - 15 t^{2} + 1), (1+t^2)^2 Y - (-4 t^{3} + 4 t), (1+t^2)z - 1)
$$
and compute a Gröbner basis with respect to the elimination ordering $t > z > X > Y$. The last entry of this Gröbner basis is the desired polynomial in $X$ and $Y$.



The proof is in the pudding, though: here is a SageMathCell comparing the two plots.



Actually, a slightly better way is to instead compute a Gröbner basis for the ideal $(X - (x^3 - 3xy^2), Y - (2xy), x^2 + y^2 - 1)$ in $mathbb{Q}[x,y,X,Y]$ with respect to the elimination ordering $x > y > X > Y$. This yields the same answer.






share|cite|improve this answer











$endgroup$









  • 1




    $begingroup$
    Another way to get rid of fractions is to homogenize to I=ideal(X-(-t^6+15*t^4*u^2-15*t^2*u^4+u^6),Y-(-4*t^3*u+4*t*u^3)*(t^2+u^2),Z-(t^2+u^2)^3) and after taking the gröbner basis, set $Z=1$ in the resulting $16Y^6+4X^4Z^2-24Y^4Z^2-4X^2Z^4+9Y^2Z^4$. (+1)
    $endgroup$
    – Jan-Magnus Økland
    Dec 3 '18 at 18:21










  • $begingroup$
    Thanks for the detailed reply! However, we haven't encounterer Gröbner basis yet. Do you think there is still another way to get it without using Gröbner basis?
    $endgroup$
    – Mashed Potato
    Dec 3 '18 at 22:05










  • $begingroup$
    @MashedPotato Have you learned other tools from elimination theory? It is probably possible to do this with resultants instead of Gröbner bases. A more brute-force approach might also be possible. From a plot of the parametrization, we can see that the curve has degree $6$ (a generic line intersects it in $6$ points). So we write down a degree $6$ polynomial with $28$ undetermined coefficients. We can impose linear conditions conditions on these coefficients by plugging in points we obtain by substituting various values of $t$ into the parametrization, e.g., $t=0$ says $(1,0)$ lies on $C$.
    $endgroup$
    – André 3000
    Dec 3 '18 at 23:00










  • $begingroup$
    You can also plug the parametrization directly into the degree $6$ polynomial in $X$ and $Y$ and get linear relations that way. But this naïve method seems quite hard and tedious! The thing is, once you have a proposed answer, it's easy to check by substituting in the parametrization and seeing that the equation holds.
    $endgroup$
    – André 3000
    Dec 3 '18 at 23:00








  • 1




    $begingroup$
    I'm only taking an introductory course so I think what will really work for me are the brute force methods. Thanks for your help!!
    $endgroup$
    – Mashed Potato
    Dec 4 '18 at 2:59
















2












$begingroup$

Answer:
$$
X^4 - X^2 + 4 Y^6 - 6 Y^4 + frac{9}{4} Y^2 = 0
$$



How I got it:



We can replace the trigonometric parametrization $(cos(u), sin(u))$ of the unit circle with a rational one: $left(frac{1-t^2}{1+t^2}, frac{2t}{1+t^2}right)$. So we equate $cos(u) = x = frac{1-t^2}{1+t^2}$ and $sin(u) = y =frac{1-t^2}{1+t^2}$. Your expressions for $X$ and $Y$ then become
begin{align*}
X &= cos^3(u) - 3 cos(u) sin^2(u) = x^3 - 3 xy^2 = frac{-t^{6} + 15 t^{4} - 15 t^{2} + 1}{(1+t^2)^3}\
Y &= 2 cos(u) sin(u) = 2 x y = frac{-4 t^{3} + 4 t}{(1+t^2)^2}
end{align*}



In the polynomial ring $mathbb{Q}[t,z,X,Y]$ we form the ideal
$$
I = ((1+t^2)^3 X -(-t^{6} + 15 t^{4} - 15 t^{2} + 1), (1+t^2)^2 Y - (-4 t^{3} + 4 t), (1+t^2)z - 1)
$$
and compute a Gröbner basis with respect to the elimination ordering $t > z > X > Y$. The last entry of this Gröbner basis is the desired polynomial in $X$ and $Y$.



The proof is in the pudding, though: here is a SageMathCell comparing the two plots.



Actually, a slightly better way is to instead compute a Gröbner basis for the ideal $(X - (x^3 - 3xy^2), Y - (2xy), x^2 + y^2 - 1)$ in $mathbb{Q}[x,y,X,Y]$ with respect to the elimination ordering $x > y > X > Y$. This yields the same answer.






share|cite|improve this answer











$endgroup$









  • 1




    $begingroup$
    Another way to get rid of fractions is to homogenize to I=ideal(X-(-t^6+15*t^4*u^2-15*t^2*u^4+u^6),Y-(-4*t^3*u+4*t*u^3)*(t^2+u^2),Z-(t^2+u^2)^3) and after taking the gröbner basis, set $Z=1$ in the resulting $16Y^6+4X^4Z^2-24Y^4Z^2-4X^2Z^4+9Y^2Z^4$. (+1)
    $endgroup$
    – Jan-Magnus Økland
    Dec 3 '18 at 18:21










  • $begingroup$
    Thanks for the detailed reply! However, we haven't encounterer Gröbner basis yet. Do you think there is still another way to get it without using Gröbner basis?
    $endgroup$
    – Mashed Potato
    Dec 3 '18 at 22:05










  • $begingroup$
    @MashedPotato Have you learned other tools from elimination theory? It is probably possible to do this with resultants instead of Gröbner bases. A more brute-force approach might also be possible. From a plot of the parametrization, we can see that the curve has degree $6$ (a generic line intersects it in $6$ points). So we write down a degree $6$ polynomial with $28$ undetermined coefficients. We can impose linear conditions conditions on these coefficients by plugging in points we obtain by substituting various values of $t$ into the parametrization, e.g., $t=0$ says $(1,0)$ lies on $C$.
    $endgroup$
    – André 3000
    Dec 3 '18 at 23:00










  • $begingroup$
    You can also plug the parametrization directly into the degree $6$ polynomial in $X$ and $Y$ and get linear relations that way. But this naïve method seems quite hard and tedious! The thing is, once you have a proposed answer, it's easy to check by substituting in the parametrization and seeing that the equation holds.
    $endgroup$
    – André 3000
    Dec 3 '18 at 23:00








  • 1




    $begingroup$
    I'm only taking an introductory course so I think what will really work for me are the brute force methods. Thanks for your help!!
    $endgroup$
    – Mashed Potato
    Dec 4 '18 at 2:59














2












2








2





$begingroup$

Answer:
$$
X^4 - X^2 + 4 Y^6 - 6 Y^4 + frac{9}{4} Y^2 = 0
$$



How I got it:



We can replace the trigonometric parametrization $(cos(u), sin(u))$ of the unit circle with a rational one: $left(frac{1-t^2}{1+t^2}, frac{2t}{1+t^2}right)$. So we equate $cos(u) = x = frac{1-t^2}{1+t^2}$ and $sin(u) = y =frac{1-t^2}{1+t^2}$. Your expressions for $X$ and $Y$ then become
begin{align*}
X &= cos^3(u) - 3 cos(u) sin^2(u) = x^3 - 3 xy^2 = frac{-t^{6} + 15 t^{4} - 15 t^{2} + 1}{(1+t^2)^3}\
Y &= 2 cos(u) sin(u) = 2 x y = frac{-4 t^{3} + 4 t}{(1+t^2)^2}
end{align*}



In the polynomial ring $mathbb{Q}[t,z,X,Y]$ we form the ideal
$$
I = ((1+t^2)^3 X -(-t^{6} + 15 t^{4} - 15 t^{2} + 1), (1+t^2)^2 Y - (-4 t^{3} + 4 t), (1+t^2)z - 1)
$$
and compute a Gröbner basis with respect to the elimination ordering $t > z > X > Y$. The last entry of this Gröbner basis is the desired polynomial in $X$ and $Y$.



The proof is in the pudding, though: here is a SageMathCell comparing the two plots.



Actually, a slightly better way is to instead compute a Gröbner basis for the ideal $(X - (x^3 - 3xy^2), Y - (2xy), x^2 + y^2 - 1)$ in $mathbb{Q}[x,y,X,Y]$ with respect to the elimination ordering $x > y > X > Y$. This yields the same answer.






share|cite|improve this answer











$endgroup$



Answer:
$$
X^4 - X^2 + 4 Y^6 - 6 Y^4 + frac{9}{4} Y^2 = 0
$$



How I got it:



We can replace the trigonometric parametrization $(cos(u), sin(u))$ of the unit circle with a rational one: $left(frac{1-t^2}{1+t^2}, frac{2t}{1+t^2}right)$. So we equate $cos(u) = x = frac{1-t^2}{1+t^2}$ and $sin(u) = y =frac{1-t^2}{1+t^2}$. Your expressions for $X$ and $Y$ then become
begin{align*}
X &= cos^3(u) - 3 cos(u) sin^2(u) = x^3 - 3 xy^2 = frac{-t^{6} + 15 t^{4} - 15 t^{2} + 1}{(1+t^2)^3}\
Y &= 2 cos(u) sin(u) = 2 x y = frac{-4 t^{3} + 4 t}{(1+t^2)^2}
end{align*}



In the polynomial ring $mathbb{Q}[t,z,X,Y]$ we form the ideal
$$
I = ((1+t^2)^3 X -(-t^{6} + 15 t^{4} - 15 t^{2} + 1), (1+t^2)^2 Y - (-4 t^{3} + 4 t), (1+t^2)z - 1)
$$
and compute a Gröbner basis with respect to the elimination ordering $t > z > X > Y$. The last entry of this Gröbner basis is the desired polynomial in $X$ and $Y$.



The proof is in the pudding, though: here is a SageMathCell comparing the two plots.



Actually, a slightly better way is to instead compute a Gröbner basis for the ideal $(X - (x^3 - 3xy^2), Y - (2xy), x^2 + y^2 - 1)$ in $mathbb{Q}[x,y,X,Y]$ with respect to the elimination ordering $x > y > X > Y$. This yields the same answer.







share|cite|improve this answer














share|cite|improve this answer



share|cite|improve this answer








edited Dec 3 '18 at 17:28

























answered Dec 3 '18 at 17:07









André 3000André 3000

12.5k22143




12.5k22143








  • 1




    $begingroup$
    Another way to get rid of fractions is to homogenize to I=ideal(X-(-t^6+15*t^4*u^2-15*t^2*u^4+u^6),Y-(-4*t^3*u+4*t*u^3)*(t^2+u^2),Z-(t^2+u^2)^3) and after taking the gröbner basis, set $Z=1$ in the resulting $16Y^6+4X^4Z^2-24Y^4Z^2-4X^2Z^4+9Y^2Z^4$. (+1)
    $endgroup$
    – Jan-Magnus Økland
    Dec 3 '18 at 18:21










  • $begingroup$
    Thanks for the detailed reply! However, we haven't encounterer Gröbner basis yet. Do you think there is still another way to get it without using Gröbner basis?
    $endgroup$
    – Mashed Potato
    Dec 3 '18 at 22:05










  • $begingroup$
    @MashedPotato Have you learned other tools from elimination theory? It is probably possible to do this with resultants instead of Gröbner bases. A more brute-force approach might also be possible. From a plot of the parametrization, we can see that the curve has degree $6$ (a generic line intersects it in $6$ points). So we write down a degree $6$ polynomial with $28$ undetermined coefficients. We can impose linear conditions conditions on these coefficients by plugging in points we obtain by substituting various values of $t$ into the parametrization, e.g., $t=0$ says $(1,0)$ lies on $C$.
    $endgroup$
    – André 3000
    Dec 3 '18 at 23:00










  • $begingroup$
    You can also plug the parametrization directly into the degree $6$ polynomial in $X$ and $Y$ and get linear relations that way. But this naïve method seems quite hard and tedious! The thing is, once you have a proposed answer, it's easy to check by substituting in the parametrization and seeing that the equation holds.
    $endgroup$
    – André 3000
    Dec 3 '18 at 23:00








  • 1




    $begingroup$
    I'm only taking an introductory course so I think what will really work for me are the brute force methods. Thanks for your help!!
    $endgroup$
    – Mashed Potato
    Dec 4 '18 at 2:59














  • 1




    $begingroup$
    Another way to get rid of fractions is to homogenize to I=ideal(X-(-t^6+15*t^4*u^2-15*t^2*u^4+u^6),Y-(-4*t^3*u+4*t*u^3)*(t^2+u^2),Z-(t^2+u^2)^3) and after taking the gröbner basis, set $Z=1$ in the resulting $16Y^6+4X^4Z^2-24Y^4Z^2-4X^2Z^4+9Y^2Z^4$. (+1)
    $endgroup$
    – Jan-Magnus Økland
    Dec 3 '18 at 18:21










  • $begingroup$
    Thanks for the detailed reply! However, we haven't encounterer Gröbner basis yet. Do you think there is still another way to get it without using Gröbner basis?
    $endgroup$
    – Mashed Potato
    Dec 3 '18 at 22:05










  • $begingroup$
    @MashedPotato Have you learned other tools from elimination theory? It is probably possible to do this with resultants instead of Gröbner bases. A more brute-force approach might also be possible. From a plot of the parametrization, we can see that the curve has degree $6$ (a generic line intersects it in $6$ points). So we write down a degree $6$ polynomial with $28$ undetermined coefficients. We can impose linear conditions conditions on these coefficients by plugging in points we obtain by substituting various values of $t$ into the parametrization, e.g., $t=0$ says $(1,0)$ lies on $C$.
    $endgroup$
    – André 3000
    Dec 3 '18 at 23:00










  • $begingroup$
    You can also plug the parametrization directly into the degree $6$ polynomial in $X$ and $Y$ and get linear relations that way. But this naïve method seems quite hard and tedious! The thing is, once you have a proposed answer, it's easy to check by substituting in the parametrization and seeing that the equation holds.
    $endgroup$
    – André 3000
    Dec 3 '18 at 23:00








  • 1




    $begingroup$
    I'm only taking an introductory course so I think what will really work for me are the brute force methods. Thanks for your help!!
    $endgroup$
    – Mashed Potato
    Dec 4 '18 at 2:59








1




1




$begingroup$
Another way to get rid of fractions is to homogenize to I=ideal(X-(-t^6+15*t^4*u^2-15*t^2*u^4+u^6),Y-(-4*t^3*u+4*t*u^3)*(t^2+u^2),Z-(t^2+u^2)^3) and after taking the gröbner basis, set $Z=1$ in the resulting $16Y^6+4X^4Z^2-24Y^4Z^2-4X^2Z^4+9Y^2Z^4$. (+1)
$endgroup$
– Jan-Magnus Økland
Dec 3 '18 at 18:21




$begingroup$
Another way to get rid of fractions is to homogenize to I=ideal(X-(-t^6+15*t^4*u^2-15*t^2*u^4+u^6),Y-(-4*t^3*u+4*t*u^3)*(t^2+u^2),Z-(t^2+u^2)^3) and after taking the gröbner basis, set $Z=1$ in the resulting $16Y^6+4X^4Z^2-24Y^4Z^2-4X^2Z^4+9Y^2Z^4$. (+1)
$endgroup$
– Jan-Magnus Økland
Dec 3 '18 at 18:21












$begingroup$
Thanks for the detailed reply! However, we haven't encounterer Gröbner basis yet. Do you think there is still another way to get it without using Gröbner basis?
$endgroup$
– Mashed Potato
Dec 3 '18 at 22:05




$begingroup$
Thanks for the detailed reply! However, we haven't encounterer Gröbner basis yet. Do you think there is still another way to get it without using Gröbner basis?
$endgroup$
– Mashed Potato
Dec 3 '18 at 22:05












$begingroup$
@MashedPotato Have you learned other tools from elimination theory? It is probably possible to do this with resultants instead of Gröbner bases. A more brute-force approach might also be possible. From a plot of the parametrization, we can see that the curve has degree $6$ (a generic line intersects it in $6$ points). So we write down a degree $6$ polynomial with $28$ undetermined coefficients. We can impose linear conditions conditions on these coefficients by plugging in points we obtain by substituting various values of $t$ into the parametrization, e.g., $t=0$ says $(1,0)$ lies on $C$.
$endgroup$
– André 3000
Dec 3 '18 at 23:00




$begingroup$
@MashedPotato Have you learned other tools from elimination theory? It is probably possible to do this with resultants instead of Gröbner bases. A more brute-force approach might also be possible. From a plot of the parametrization, we can see that the curve has degree $6$ (a generic line intersects it in $6$ points). So we write down a degree $6$ polynomial with $28$ undetermined coefficients. We can impose linear conditions conditions on these coefficients by plugging in points we obtain by substituting various values of $t$ into the parametrization, e.g., $t=0$ says $(1,0)$ lies on $C$.
$endgroup$
– André 3000
Dec 3 '18 at 23:00












$begingroup$
You can also plug the parametrization directly into the degree $6$ polynomial in $X$ and $Y$ and get linear relations that way. But this naïve method seems quite hard and tedious! The thing is, once you have a proposed answer, it's easy to check by substituting in the parametrization and seeing that the equation holds.
$endgroup$
– André 3000
Dec 3 '18 at 23:00






$begingroup$
You can also plug the parametrization directly into the degree $6$ polynomial in $X$ and $Y$ and get linear relations that way. But this naïve method seems quite hard and tedious! The thing is, once you have a proposed answer, it's easy to check by substituting in the parametrization and seeing that the equation holds.
$endgroup$
– André 3000
Dec 3 '18 at 23:00






1




1




$begingroup$
I'm only taking an introductory course so I think what will really work for me are the brute force methods. Thanks for your help!!
$endgroup$
– Mashed Potato
Dec 4 '18 at 2:59




$begingroup$
I'm only taking an introductory course so I think what will really work for me are the brute force methods. Thanks for your help!!
$endgroup$
– Mashed Potato
Dec 4 '18 at 2:59


















draft saved

draft discarded




















































Thanks for contributing an answer to Mathematics Stack Exchange!


  • Please be sure to answer the question. Provide details and share your research!

But avoid …



  • Asking for help, clarification, or responding to other answers.

  • Making statements based on opinion; back them up with references or personal experience.


Use MathJax to format equations. MathJax reference.


To learn more, see our tips on writing great answers.




draft saved


draft discarded














StackExchange.ready(
function () {
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f3023939%2fexpress-a-parametrization-of-a-curve-c-as-a-function-of-x-and-y%23new-answer', 'question_page');
}
);

Post as a guest















Required, but never shown





















































Required, but never shown














Required, but never shown












Required, but never shown







Required, but never shown

































Required, but never shown














Required, but never shown












Required, but never shown







Required, but never shown







-

Popular posts from this blog

Quarter-circle Tiles

Image
up vote 0 down vote favorite I have $99$ identical square tiles, each with a quarter-circle drawn on it like this: [asy] size(1.5cm); draw(Arc((2,0),1,90,180),red+1); draw((0,0)--(2,0)--(2,2)--(0,2)--(0,0)); [/asy] When I arrange the tiles in a $9times 11$ rectangular grid, each with a random orientation, what is the expected value of the number of full circles I form? I think this problem has to do with finding the chance any given 2x2 square has a circle, but I can't find it. expected-value share | cite | improve this question asked Nov 20 at 15:03 6minecraftninja 1 2
Read more

build a pushdown automaton that recognizes the reverse language of a given pushdown automaton?

Image
0 I think it's similiar to NFAs. I replace the finite states of the given automaton for start-states for my new automaton. I do it with $epsilon$ -transition from the start state to the actual finite states of the given automaton. The start state of the given automaton will be my accepting(finite) state of my new one. All transitions will be reversed of course to recognize the reversed word. But how do I have to change the stack of the pushdown automaton? That's tricky. formal-languages automata context-free-grammar share | cite | improve this question edited Nov 29 '18 at 14:20 joee
Read more

Mont Emei

Image
Mont Emei.mw-parser-output .entete.map{background-image:url("//upload.wikimedia.org/wikipedia/commons/7/7a/Picto_infobox_map.png")} Vue du sommet Wanfo du mont Emei Géographie Altitude 3 099  m , Wanfo Coordonnées 29° 31′ 11″ nord, 103° 19′ 57″ est Administration Pays   Chine Province Sichuan Ville-préfecture Leshan Géolocalisation sur la carte : Sichuan Mont Emei Géolocalisation sur la carte : Chine Mont Emei modifier   Paysage panoramique du mont Emei, incluant le paysage panoramique du grand Bouddha de Leshan *   Patrimoine mondial de l'UNESCO Passerelle en bois sur le versant ouest Pays   Chine Subdivision Sichuan Type Mixte Critères (iv) (vi) (x) Superficie 15 400 ha Numéro d’identification 779 Zone géographique Asie et Pacifique  ** Année d’inscription 1996 (20 e session) * Descriptif officiel UNESCO ** Classification géog
Read more