Field of fractions of a quotient ring

asked 2023-07-30 10:54:19 +0200

hypathius gravatar image

I have a polynomial ring defined over another polynomial ring.

_.<a1,a2,a3,a4,a6> = PolynomialRing(RR)
PR.<x,y> = PolynomialRing(RR)

I defined a variable as follows.

x3 = (-x^3 + y^2)/x^2

What I want to do is to coerce this variable to a quotient ring so that the numerator of x3 becomes x and finally x3 becomes 1/x.

To do that, I tried to define a field of fractions over the quotient ring like this

_.<x,y> = Frac(PR.quo(y^2-x^3-x))

which has failed.

I was able to do it in Magma. I am new to Sage, so sorry if there is an obvious mistake.

edit retag flag offensive close merge delete