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

Deprecate is_FiniteField etc., make sage.rings.finite_rings a namespace package #35119

Conversation

mkoeppe
Copy link
Contributor

@mkoeppe mkoeppe commented Feb 13, 2023

📚 Description

Fixes #32664.

📝 Checklist

  • I have made sure that the title is self-explanatory and the description concisely explains the PR.
  • I have linked an issue or discussion.
  • I have created tests covering the changes.
  • I have updated the documentation accordingly.

⌛ Dependencies

@codecov-commenter
Copy link

codecov-commenter commented Feb 14, 2023

Codecov Report

Patch coverage: 100.00% and project coverage change: -0.02 ⚠️

Comparison is base (f449b14) 88.62% compared to head (e62066f) 88.61%.

Additional details and impacted files
@@             Coverage Diff             @@
##           develop   #35119      +/-   ##
===========================================
- Coverage    88.62%   88.61%   -0.02%     
===========================================
  Files         2148     2148              
  Lines       398653   398659       +6     
===========================================
- Hits        353308   353255      -53     
- Misses       45345    45404      +59     
Impacted Files Coverage Δ
...c/sage/rings/finite_rings/finite_field_ntl_gf2e.py 96.29% <ø> (ø)
src/sage/crypto/lfsr.py 95.08% <100.00%> (ø)
src/sage/crypto/mq/rijndael_gf.py 80.09% <100.00%> (-0.05%) ⬇️
src/sage/dynamics/arithmetic_dynamics/affine_ds.py 94.89% <100.00%> (ø)
...rc/sage/dynamics/arithmetic_dynamics/generic_ds.py 83.91% <100.00%> (ø)
...sage/dynamics/arithmetic_dynamics/projective_ds.py 85.95% <100.00%> (+0.01%) ⬆️
src/sage/groups/cubic_braid.py 90.83% <100.00%> (ø)
src/sage/groups/matrix_gps/orthogonal.py 97.46% <100.00%> (ø)
src/sage/groups/matrix_gps/symplectic.py 97.87% <100.00%> (ø)
src/sage/groups/matrix_gps/unitary.py 91.78% <100.00%> (ø)
... and 24 more

... and 23 files with indirect coverage changes

Help us with your feedback. Take ten seconds to tell us how you rate us. Have a feature suggestion? Share it here.

☔ View full report in Codecov by Sentry.
📢 Do you have feedback about the report comment? Let us know in this issue.

@@ -1753,7 +1753,7 @@ def intmod_gap_to_sage(x):
sage: b.parent()
Ring of integers modulo 65537
"""
from sage.rings.finite_rings.all import FiniteField
from sage.rings.finite_rings.finite_field_constructor import FiniteField
Copy link
Member

Choose a reason for hiding this comment

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

I suppose this should be finite_field_base?

Copy link
Contributor Author

Choose a reason for hiding this comment

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

No, line 1762 uses the constructor function, not the class

@mkoeppe
Copy link
Contributor Author

mkoeppe commented Feb 16, 2023

Thanks for the review!

@github-actions
Copy link

Documentation preview for this PR is ready! 🎉
Built with commit: e62066f

@vbraun vbraun merged commit a9d9420 into sagemath:develop Mar 19, 2023
vbraun pushed a commit that referenced this pull request Mar 19, 2023
…forms}: Replace imports from sage.*.all for namespace packages

    
<!-- ^^^^^
Please provide a concise, informative and self-explanatory title.
Don't put issue numbers in there, do this in the PR body below.
For example, instead of "Fixes #1234" use "Introduce new method to
calculate 1+1"
-->
### 📚 Description
Fixes #34955

<!-- Describe your changes here in detail -->
<!-- Why is this change required? What problem does it solve? -->
<!-- If it resolves an open issue, please link to the issue here. For
example "Closes #1337" -->

### 📝 Checklist

<!-- Put an `x` in all the boxes that apply. -->
<!-- If your change requires a documentation PR, please link it
appropriately -->
<!-- If you're unsure about any of these, don't hesitate to ask. We're
here to help! -->

- [ ] 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.
- [ ] I have created tests covering the changes.
- [ ] I have updated the documentation accordingly.

### ⌛ Dependencies
<!-- List all open pull requests that this PR logically depends on -->
<!--
- #xyz: short description why this is a dependency
- #abc: ...
-->

Depends on #35119
    
URL: #35106
Reported by: Matthias Köppe
Reviewer(s): Dima Pasechnik, Matthias Köppe, Tobias Diez
vbraun pushed a commit that referenced this pull request Apr 1, 2023
    
<!-- ^^^^^
Please provide a concise, informative and self-explanatory title.
Don't put issue numbers in there, do this in the PR body below.
For example, instead of "Fixes #1234" use "Introduce new method to
calculate 1+1"
-->
### 📚 Description
- We split out `.derivations` (which uses modules) from `.maps` (which
doesn't).
- We separate the implementation of rational function fields (which do
not need Singular for Gröbner basis calculations) from the
implementation of more complicated function fields (which do).
- We move some imports into methods.

This is for modularization purposes:
- Part of #29705



<!-- Describe your changes here in detail -->
<!-- Why is this change required? What problem does it solve? -->
<!-- If it resolves an open issue, please link to the issue here. For
example "Closes #1337" -->

### 📝 Checklist

<!-- Put an `x` in all the boxes that apply. -->
<!-- If your change requires a documentation PR, please link it
appropriately -->
<!-- If you're unsure about any of these, don't hesitate to ask. We're
here to help! -->

- [x] I have made sure that the title is self-explanatory and the
description concisely explains the PR.
- [ ] I have linked an issue or discussion.
- [ ] I have created tests covering the changes.
- [ ] I have updated the documentation accordingly.

### ⌛ Dependencies
<!-- List all open pull requests that this PR logically depends on -->
<!--
- #xyz: short description why this is a dependency
- #abc: ...
-->
- Depends on #35237 (for the feature `sage.libs.singular`)
- Depends on #35119 (to preempt merge conflicts)
    
URL: #35230
Reported by: Matthias Köppe
Reviewer(s): Kwankyu Lee, Matthias Köppe
@mkoeppe mkoeppe deleted the t/32664/add_sage_rings_abc_finitefield__deprecate_is_finitefield branch April 7, 2023 19:01
vbraun pushed a commit that referenced this pull request Apr 23, 2023
    
<!-- ^^^^^
Please provide a concise, informative and self-explanatory title.
Don't put issue numbers in there, do this in the PR body below.
For example, instead of "Fixes #1234" use "Introduce new method to
calculate 1+1"
-->
### 📚 Description
We move the `...MatrixGroup_gap` classes to separate modules named
`..._gap`.

This is part of:
- #29705
<!-- Describe your changes here in detail -->
<!-- Why is this change required? What problem does it solve? -->
<!-- If it resolves an open issue, please link to the issue here. For
example "Closes #1337" -->

### 📝 Checklist

<!-- Put an `x` in all the boxes that apply. -->
<!-- If your change requires a documentation PR, please link it
appropriately -->
<!-- If you're unsure about any of these, don't hesitate to ask. We're
here to help! -->

- [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.
- [ ] I have created tests covering the changes.
- [ ] I have updated the documentation accordingly.

### ⌛ Dependencies
<!-- List all open pull requests that this PR logically depends on -->
<!--
- #xyz: short description why this is a dependency
- #abc: ...
-->
- Depends on #35099
- Depends on #35119
    
URL: #35306
Reported by: Matthias Köppe
Reviewer(s): Kwankyu Lee, Matthias Köppe
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.

Deprecate is_FiniteField etc., make sage.rings.finite_rings a namespace package
4 participants