Ask Your Question

Revision history [back]

This is indeed unfortunate, and the whole source code seems not to allow more than one undeterminate anyway. As a workaround, you can construct F as the fraction field of a polynomial ring:

sage: R.<a,b> = PolynomialRing(QQ) ; R
Multivariate Polynomial Ring in a, b over Rational Field
sage: F = R.fraction_field() ; F
Fraction Field of Multivariate Polynomial Ring in a, b over Rational Field
sage: a+b^2+1/b
(b^3 + a*b + 1)/b