Ask Your Question
0

rational parameterization for a octic curve

asked 2026-03-11 05:14:30 +0100

vlbz gravatar image

updated 2026-03-23 19:52:17 +0100

Max Alekseyev gravatar image

.

A.<x,y> = AffineSpace(QQ, 2)

C = Curve([(x^2+y^2)^4 - 3*(x^2+y^2)^2 - 2*(x^2-y^2)], A)

C.genus()

C.genus() is zero, but C.parameterization() give error.

The given curve resamble (but differ) with "Durer-folium" and I study a family of these curves. How to get a (rational) parametrization for it? Thanks!

edit retag flag offensive close merge delete

1 Answer

Sort by ยป oldest newest most voted
0

answered 2026-03-23 21:36:16 +0100

Max Alekseyev gravatar image

First off, the method is called .rational_parameterization() not just .parameterization(), but nevertheless it gives an error.

You can try to start with

P2.<x,y,z> = ProjectiveSpace(QQ, 2)
f = (x^2+y^2)^4 - 3*(x^2+y^2)^2 - 2*(x^2-y^2)
C = Curve( f.homogenize(z) )

and then proceed as in this answer.

edit flag offensive delete link more

Your Answer

Please start posting anonymously - your entry will be published after you log in or create a new account.

Add Answer

Question Tools

1 follower

Stats

Asked: 2026-03-11 05:14:30 +0100

Seen: 22 times

Last updated: Mar 23