cannot multiply elements in polynomial ring over a field of fractions

[matthias314]

I would expect the following to work:

julia> R, x = polynomial_ring(QQ, :x)
(Univariate polynomial ring in x over rationals, x)

julia> F = total_ring_of_fractions(R)
Total ring of fractions of R

julia> S, y = polynomial_ring(F, :y)
(Univariate polynomial ring in y over F, y)

julia> 2*y*y
2*y^2

julia> y*y
ERROR: MethodError: Cannot `convert` an object of type AbstractAlgebra.Generic.TotFrac{AbstractAlgebra.Generic.Poly{Rational{BigInt}}} to an object of type AbstractAlgebra.Generic.Poly{Rational{BigInt}}

I'm using AbstractAlgebra v0.41.5. The same error occurs with Nemo v0.45.1.

[joschmitt]

Thanks for the report. Should be fixed with #1711.