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

multivar polynomials over poly fraction fields don't simplify #15971

Closed
rwst opened this issue Mar 18, 2014 · 1 comment · Fixed by #35220
Closed

multivar polynomials over poly fraction fields don't simplify #15971

rwst opened this issue Mar 18, 2014 · 1 comment · Fixed by #35220

Comments

@rwst
Copy link

rwst commented Mar 18, 2014

sage: F=FractionField(PolynomialRing(QQ,'t'))
sage: R=PolynomialRing(F,'x,y')
sage: R.inject_variables() 
Defining x, y
sage: x/x 
x/x

whereas simpler fraction fields for F yield 1

CC: @sagetrac-jakobkroeker

Component: commutative algebra

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

@rwst rwst added this to the sage-6.2 milestone Mar 18, 2014
@sagetrac-vbraun-spam sagetrac-vbraun-spam mannequin modified the milestones: sage-6.2, sage-6.3 May 6, 2014
@sagetrac-vbraun-spam sagetrac-vbraun-spam mannequin modified the milestones: sage-6.3, sage-6.4 Aug 10, 2014
@sagetrac-jakobkroeker
Copy link
Mannequin

sagetrac-jakobkroeker mannequin commented Mar 4, 2017

comment:3

Seems fixed now. Needs a test, then review

@mkoeppe mkoeppe removed this from the sage-6.4 milestone Dec 29, 2022
videlec added a commit to videlec/sage that referenced this issue Mar 1, 2023
vbraun pushed a commit that referenced this issue Apr 1, 2023
    
### 📚 Description

Add a simple test for #15971.

Closes #15971.

### 📝 Checklist

- [x] I have made sure that the title is self-explanatory and the
description concisely explains the PR.
- [x] I have linked an issue or discussion.
- [x] I have created tests covering the changes.
- [x] I have updated the documentation accordingly.
    
URL: #35220
Reported by: Vincent Delecroix
Reviewer(s): Frédéric Chapoton
@mkoeppe mkoeppe added this to the sage-10.0 milestone Apr 1, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

Successfully merging a pull request may close this issue.

2 participants