Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

gcd returns incorrect answer for polynomials in some fraction fields #32286

Open
saliola opened this issue Jul 27, 2021 · 0 comments
Open

gcd returns incorrect answer for polynomials in some fraction fields #32286

saliola opened this issue Jul 27, 2021 · 0 comments

Comments

@saliola
Copy link
Contributor

saliola commented Jul 27, 2021

gcd in multivariate polynomial rings over RR (as well as CC, CIF, CDF, etc.) does not return the correct answer:

sage: F = PolynomialRing(RR, 'x,y').fraction_field()
sage: F.inject_variables()
Defining x, y
sage: gcd(x, x)
1.00000000000000

Note that the answer is correct for univariate polynomial rings over RR:

sage: F = PolynomialRing(RR, 'x').fraction_field()
sage: F.inject_variables()
Defining x
sage: gcd(x, x)
x

This might be related to #32285. See also #23909, #10771.

Component: algebra

Keywords: gcd, polynomials, fraction field

Issue created by migration from https://trac.sagemath.org/ticket/32286

@saliola saliola added this to the sage-9.4 milestone Jul 27, 2021
@mkoeppe mkoeppe modified the milestones: sage-9.4, sage-9.5 Aug 22, 2021
@mkoeppe mkoeppe modified the milestones: sage-9.5, sage-9.6 Dec 18, 2021
@mkoeppe mkoeppe modified the milestones: sage-9.6, sage-9.7 May 3, 2022
@mkoeppe mkoeppe modified the milestones: sage-9.7, sage-9.8 Sep 19, 2022
@mkoeppe mkoeppe removed this from the sage-9.8 milestone Jan 29, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

No branches or pull requests

2 participants