Ask Your Question

# Defining a general curve

Hey, I am relatively new to Sage, so this question might be very simple: I want to define a projective curve in $\mathbb{P}^2$ given by $x^3=y^3-Az^3$, where $A$ is an arbitrary non-zero element of an algebraically closed field, say C. I tried the following:

x,y,z=ProjectiveSpace(2,CC,'xyz').gens();

var('A',domain=CC);

C=Curve(x^3+y^3-A*z^3);

But I get TypeError: F (=-A*z^3 + x^3 + y^3) must be a multivariate polynomial.

Is it possible to define the curve I want in Sage? All examples of algebraic geometry in Sage I saw deal with explicitly defined curves.

edit retag close merge delete

## 1 answer

Sort by » oldest newest most voted

In this case A would be a variable. You might do the following

sage: K=QQ['A'].fraction_field()
sage: K.inject_variables()
Defining A
sage: R=K['x,y,z']
sage: R.inject_variables()
Defining x, y, z
sage: F=-A*z^3 + x^3 + y^3
sage: Curve(F)
Projective Curve over Fraction Field of Univariate Polynomial Ring in A over Rational Field defined by x^3 + y^3 + (-A)*z^3


But I am not sure if this is what you really want. I am afraid that curves defined over transcendental fields will have few working methods.

more

## Comments

( 2013-03-27 05:51:23 -0500 )edit

## Your Answer

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

Add Answer

## Stats

Asked: 2013-03-22 06:48:07 -0500

Seen: 68 times

Last updated: Mar 26 '13