Ask Your Question
1

Defining Hessian Curve

asked 2020-08-17 13:05:26 +0200

klx gravatar image

How do we define a Hessian Curve on SageMath. I've failed to find a source about this. The curve equation is this

$$X^3 + Y^3 + cZ^3 = dXYZ$$ and paremetrazied with $c$ and $d$ over the field $GF(p)$

edit retag flag offensive close merge delete

1 Answer

Sort by » oldest newest most voted
1

answered 2020-08-18 14:19:04 +0200

FrédéricC gravatar image

updated 2020-08-19 09:54:01 +0200

Like this

sage: X,Y,Z=polygens(GF(7),'X,Y,Z')                                             
sage: C = Curve(X**3+Y**3+4*Z**3-2*X*Y*Z)                                       
sage: C.genus()                                                                 
1

EDIT:

sage: EllipticCurve_from_cubic(X**3+Y**3+4*Z**3-2*X*Y*Z)                        
Scheme morphism:
  From: Projective Plane Curve over Finite Field of size 7 defined by X^3 + Y^3 - 2*X*Y*Z - 3*Z^3
  To:   Elliptic Curve defined by y^2 + x*y + 3*y = x^3 + 6*x^2 + 4*x + 4 over Finite Field of size 7
  Defn: Defined on coordinates by sending (X : Y : Z) to
        (-Z : X : 2*X + Y - 2*Z)
sage: _.codomain()                                                              
Elliptic Curve defined by y^2 + x*y + 3*y = x^3 + 6*x^2 + 4*x + 4 over Finite Field of size 7
edit flag offensive delete link more

Comments

OK, This defines a general curve. Now it is hard to use the Elliptic curves over finite fields tools. Is there a way?

klx gravatar imageklx ( 2020-08-18 21:50:50 +0200 )edit

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: 2020-08-17 13:05:26 +0200

Seen: 522 times

Last updated: Aug 19 '20