Hey Salvatore,
I would say this is the same problem as simplifying scalars of fraction
fields of polynomials over QQ, that gcd(x, x) = 1 rather than x because x
is a unit. I don't think we have a way around this currently other than
doing some kind of explicit coercion.
Best,
Travis
On
Dear all,
I just noted the following odd behaviour:
sage: L = LaurentPolynomialRing(ZZ, 'x').fraction_field()
sage: L.inject_variables()
Defining x
sage: x/x
1
As one should expect but if we change the base ring then things get messy:
sage: L =