Dear All,
here is a brief status update on this issue. TL;DR: Laurent Polynomial Ring
does not provide a gcd implementation.
Recall that we are in this situation:
sage: L = LaurentPolynomialRing(LaurentPolynomialRing(ZZ,'t'),'x')
sage: R = L.fraction_field()
sage: R.inject_variables()
Defining x
I think I slightly misspoke about the gcd. See the details on
http://trac.sagemath.org/ticket/16993.
Best,
Travis
On Friday, October 9, 2015 at 4:12:12 PM UTC-5, Travis Scrimshaw wrote:
>
> Hey Salvatore,
>I would say this is the same problem as simplifying scalars of fraction
> fields of
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
