# Fraction must have unit denominator when studying Elliptic Curve over complex field? [closed]

I have the following elliptic curves defined over $\mathbb{C}$ depending on a parameter $a \in \mathbb{C}$:

$$E_1: y^2 + xy = x^3 + ax + a$$ $$E_2: y^2 + xy = x^3 + \frac{1}{a}x + \frac{1}{a}$$

That translated to code should look like this:

QQbar_a = QQbar['a']
QQbar_a.inject_variables()

E1 = EllipticCurve(QQbar_a, [1, 0, 0, a, a])
print(E1)

E2 = EllipticCurve(QQbar_a, [1, 0, 0, 1/a, 1/a])
print(E2)


While defining $E_1$ works fine, defining $E_2$ returns the following error:

TypeError: fraction must have unit denominator


I do not understand if the problem is that I have not specified that $a \neq 0$ (if so, how can I specify it?) or something else. Do you have any guess?

edit retag reopen merge delete

### Closed for the following reason the question is answered, right answer was accepted by lsage close date 2021-03-13 21:21:02.291740

Sort by » oldest newest most voted

When you write QQbar['a'] you get a polynomial ring over QQbar with variable named a, so an elliptic curve over QQbar['a'] must have coefficients polynomial in a.

To use coefficients like 1/a, you can define instead QQbar_a = QQbar['a'].fraction_field(), or QQbar_a.<a> = FunctionField(QQbar).

more