Skip to content

Conversation

fchapoton
Copy link
Contributor

One avoids using Algebra and CommutativeAlgebra in the polynomial classes.

And the general method is_commutative is delegated to the categories of Rings and CommutativeRings.

📝 Checklist

  • The title is concise, informative, and self-explanatory.
  • The description explains in detail what this PR is about.
  • I have linked a relevant issue or discussion.
  • I have created tests covering the changes.
  • I have updated the documentation accordingly.

@fchapoton fchapoton force-pushed the avoid_Algebra_in_polynomials branch from 8afc307 to 16353f6 Compare February 14, 2024 12:31
@mantepse
Copy link
Contributor

Is there a good reason to re-introduce is_commutative? Is the recommended alternative not working?

@fchapoton
Copy link
Contributor Author

just because I am not cleaning away all calls to is_commutative everywhere right now.. One could aim to remove entirely the method is_commutative for rings, but this will take much more work. I take the temporary solution to put that in the category of rings for the moment. My main aim here is to get rid of one Algebra and one CommutativeAlgebra

Copy link

Documentation preview for this PR (built with commit 53b69df; changes) is ready! 🎉

Copy link
Contributor

@mantepse mantepse left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

♥️

vbraun pushed a commit to vbraun/sage that referenced this pull request Feb 18, 2024
sagemathgh-37341: Avoid algebra in polynomials
    
One avoids using `Algebra` and `CommutativeAlgebra` in the polynomial
classes.

And the general method `is_commutative` is delegated to the categories
of Rings and CommutativeRings.

### 📝 Checklist

- [x] The title is concise, informative, and self-explanatory.
- [x] The description explains in detail what this PR is about.
- [ ] I have linked a relevant issue or discussion.
- [ ] I have created tests covering the changes.
- [x] I have updated the documentation accordingly.
    
URL: sagemath#37341
Reported by: Frédéric Chapoton
Reviewer(s): Martin Rubey
vbraun pushed a commit to vbraun/sage that referenced this pull request Feb 19, 2024
sagemathgh-37341: Avoid algebra in polynomials
    
One avoids using `Algebra` and `CommutativeAlgebra` in the polynomial
classes.

And the general method `is_commutative` is delegated to the categories
of Rings and CommutativeRings.

### 📝 Checklist

- [x] The title is concise, informative, and self-explanatory.
- [x] The description explains in detail what this PR is about.
- [ ] I have linked a relevant issue or discussion.
- [ ] I have created tests covering the changes.
- [x] I have updated the documentation accordingly.
    
URL: sagemath#37341
Reported by: Frédéric Chapoton
Reviewer(s): Martin Rubey
@vbraun vbraun merged commit a451b65 into sagemath:develop Feb 25, 2024
@fchapoton fchapoton deleted the avoid_Algebra_in_polynomials branch February 25, 2024 12:25
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

Successfully merging this pull request may close these issues.

4 participants