Skip to content

Comments

sage.{dynamics,schemes}: Modularization fixes, docstring cosmetics, update # needs#36271

Merged
vbraun merged 35 commits intosagemath:developfrom
mkoeppe:needs_for_sage_schemes_sage_dynamics
Oct 31, 2023
Merged

sage.{dynamics,schemes}: Modularization fixes, docstring cosmetics, update # needs#36271
vbraun merged 35 commits intosagemath:developfrom
mkoeppe:needs_for_sage_schemes_sage_dynamics

Conversation

@mkoeppe
Copy link
Contributor

@mkoeppe mkoeppe commented Sep 16, 2023

📝 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.

⌛ Dependencies

Matthias Koeppe added 28 commits September 16, 2023 11:39
@mkoeppe
sage.schemes: Update # needs
5257002
@mkoeppe
Fix # needs for sagemath-pari
26bda85
@mkoeppe
sage.schemes: Update # needs
796265f
@mkoeppe
src/sage/dynamics/complex_dynamics/mandel_julia.py: Use lazy_import
75b8262
@mkoeppe
sage.schemes: Doctest cosmetics, update # needs
0284add
@mkoeppe
src/sage/schemes/hyperelliptic_curves/hypellfrob.pyx: Docstring cosme…
d962ea5 
…tics, add # needs
@mkoeppe
sage.schemes.projective: Add # needs
420ca2b
@mkoeppe
sage.dynamics: Doctest cosmetics
1391f91
@mkoeppe
Massive modularization fixes
6e08d6f
@mkoeppe
sage.dynamics.arithmetic_dynamics: Modularization fixes for imports
230b734
@mkoeppe
Update # optional / # needs
0d6869a
@mkoeppe
Fix up imports
565663e
@mkoeppe
src/sage/dynamics: sage -fixdoctests --only-tags
53e8a00
@mkoeppe
src/sage/dynamics/complex_dynamics/mandel_julia_helper.pyx: Add # needs
d41ca2a
@mkoeppe
sage.dynamics: Add # needs
a7ad632
@mkoeppe
sage.schemes: Update # needs
a0379b5
@mkoeppe
sage.schemes: Update # needs
92489a4
@mkoeppe
sage.schemes: Update # needs
c3b7079
@mkoeppe
sage.schemes: Update # needs
d8141b2
@mkoeppe
projective_morphism.py, projective_ds.py: Test for QQbar using sage.r…
3538ede 
…ings.abc
@mkoeppe
sage.schemes: Modularization fixes
3e74476
@mkoeppe
sage.schemes: Modularization fixes for imports
23fecb1
@mkoeppe
sage.schemes, sage.dynamics.arithmetic_dynamics: Modularization fixes
67b279f
@mkoeppe
sage.{rings,schemes}: Simplify some tests for number fields
dce871a
@mkoeppe
sage.schemes, sage.dynamics.arithmetic_dynamics: Modularization fixes
d78e78a
@mkoeppe
Merge tag '10.2.beta4' into needs_for_sage_schemes_sage_dynamics
4703d09 
SageMath version 10.2.beta4, Release Date: 2023-09-24
@mkoeppe
sage.schemes: Update # needs
b39df39
@mkoeppe
sage.schemes: Update # needs
a1195b0
dcoudert
dcoudert suggested changes Sep 30, 2023
View reviewed changes
src/sage/dynamics/arithmetic_dynamics/berkovich_ds.py Outdated
sage: B = Berkovich_Cp_Projective(P, ideal)
sage: f = DynamicalSystem_Berkovich([x^2 + y^2, 2*x*y], B)
sage: f.scale_by(2); f
sage: A.<a> = NumberField(z^3 + 20) # needs sage.rings.number_field
Copy link
Contributor

@dcoudert dcoudert Sep 30, 2023

Choose a reason for hiding this comment

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

block scope

Copy link
Contributor Author

@mkoeppe mkoeppe Oct 1, 2023 •
edited
Loading

Choose a reason for hiding this comment

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

Thanks. I've redone this file in e38afeb with a file tag for "sage.rings.padics" and block tags for "sage.rings.number_field"

src/sage/dynamics/arithmetic_dynamics/projective_ds.py Outdated
[(1 : 1), (4/3 : 1), (1 : 0), (0 : 1)]

::

sage: K.<v> = QuadraticField(2)
sage: P.<x,y> = ProjectiveSpace(K,1)
sage: K.<v> = QuadraticField(2) # needs sage.rings.number_field
Copy link
Contributor

@dcoudert dcoudert Sep 30, 2023

Choose a reason for hiding this comment

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

block scope (and many other places in this file)

Copy link
Contributor Author

@mkoeppe mkoeppe Oct 1, 2023

Choose a reason for hiding this comment

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

Done in 8443583

src/sage/dynamics/arithmetic_dynamics/wehlerK3.py Outdated
They are defined as:
`G^*_k = \left(L^*_j\right)^2Q^*_{ii}-L^*_iL^*_jQ^*_{ij}+\left(L^*_i\right)^2Q^*_{jj}`\
`G^*_k = \left(L^*_j\right)^2Q^*_{ii}-L^*_iL^*_jQ^*_{ij}+\left(L^*_i\right)^2Q^*_{jj}`
where {i, j, k} is some permutation of (0, 1, 2) and * is either
Copy link
Contributor

@dcoudert dcoudert Sep 30, 2023

Choose a reason for hiding this comment

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

math mode ?

Copy link
Contributor Author

@mkoeppe mkoeppe Oct 1, 2023

Choose a reason for hiding this comment

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

Done in 869d776

src/sage/dynamics/arithmetic_dynamics/wehlerK3.py
PP = self.ambient_space()
if PP.base_ring() in _NumberFields or is_NumberFieldOrder(PP.base_ring()):
if PP.base_ring() != ZZ and PP.base_ring() != QQ:
if PP.base_ring() != ZZ and PP.base_ring() != QQ:
Copy link
Contributor

@dcoudert dcoudert Sep 30, 2023

Choose a reason for hiding this comment

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

I'm not sure of that this change is correct. You changed the order of the tests but not of the error messages...

Copy link
Contributor Author

@mkoeppe mkoeppe Oct 1, 2023

Choose a reason for hiding this comment

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

Thanks, I've rephrased it in 869d776

src/sage/schemes/hyperelliptic_curves/monsky_washnitzer.py Outdated
def lift(x):
r"""
Try to call x.lift(), presumably from the `p`-adics to ZZ.
Try to call ``x.lift()``, presumably from the `p`-adics to ``ZZ``.
Copy link
Contributor

@dcoudert dcoudert Sep 30, 2023

Choose a reason for hiding this comment

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

In other places you used \ZZ, but both are ok I think.

Copy link
Contributor Author

@mkoeppe mkoeppe Oct 1, 2023

Choose a reason for hiding this comment

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

I've changed it, as part of 1b873b9

@dcoudert
Copy link
Contributor

dcoudert commented Oct 2, 2023

The CI reports the following error

  /sage/src/sage/dynamics/arithmetic_dynamics/projective_ds.py:1741:20 - error: "tuple[Type[TypeError], Unknown | tuple[()]]" is not valid exception class

However, I can compile without error on my laptop.

@github-actions
Copy link

github-actions bot commented Oct 21, 2023

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

dcoudert
dcoudert approved these changes Oct 22, 2023
View reviewed changes
Copy link
Contributor

@dcoudert dcoudert left a comment

Choose a reason for hiding this comment

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

all tests pass on my macOS laptop. LGTM.

@mkoeppe
Copy link
Contributor Author

mkoeppe commented Oct 22, 2023

Thank you!

vbraun pushed a commit to vbraun/sage that referenced this pull request Oct 24, 2023
a5a4187 
sagemathgh-36271: `sage.{dynamics,schemes}`: Modularization fixes, docstring cosmetics, update `# needs`
    
<!-- ^^^^^
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 sagemath#1234" use "Introduce new method to
calculate 1+1"
-->
<!-- Describe your changes here in detail -->

<!-- Why is this change required? What problem does it solve? -->
<!-- If this PR resolves an open issue, please link to it here. For
example "Fixes sagemath#12345". -->
- Part of: sagemath#29705
- Cherry-picked from: sagemath#35095
<!-- If your change requires a documentation PR, please link it
appropriately. -->

### 📝 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! -->
<!-- Feel free to remove irrelevant items. -->

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

### ⌛ Dependencies

<!-- List all open PRs that this PR logically depends on
- sagemath#12345: short description why this is a dependency
- sagemath#34567: ...
-->

<!-- If you're unsure about any of these, don't hesitate to ask. We're
here to help! -->
    
URL: sagemath#36271
Reported by: Matthias Köppe
Reviewer(s): David Coudert, Matthias Köppe
vbraun pushed a commit to vbraun/sage that referenced this pull request Oct 26, 2023
dcfbf5b 
sagemathgh-36271: `sage.{dynamics,schemes}`: Modularization fixes, docstring cosmetics, update `# needs`
    
<!-- ^^^^^
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 sagemath#1234" use "Introduce new method to
calculate 1+1"
-->
<!-- Describe your changes here in detail -->

<!-- Why is this change required? What problem does it solve? -->
<!-- If this PR resolves an open issue, please link to it here. For
example "Fixes sagemath#12345". -->
- Part of: sagemath#29705
- Cherry-picked from: sagemath#35095
<!-- If your change requires a documentation PR, please link it
appropriately. -->

### 📝 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! -->
<!-- Feel free to remove irrelevant items. -->

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

### ⌛ Dependencies

<!-- List all open PRs that this PR logically depends on
- sagemath#12345: short description why this is a dependency
- sagemath#34567: ...
-->

<!-- If you're unsure about any of these, don't hesitate to ask. We're
here to help! -->
    
URL: sagemath#36271
Reported by: Matthias Köppe
Reviewer(s): David Coudert, Matthias Köppe
vbraun pushed a commit to vbraun/sage that referenced this pull request Oct 28, 2023
0e21181 
sagemathgh-36271: `sage.{dynamics,schemes}`: Modularization fixes, docstring cosmetics, update `# needs`
    
<!-- ^^^^^
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 sagemath#1234" use "Introduce new method to
calculate 1+1"
-->
<!-- Describe your changes here in detail -->

<!-- Why is this change required? What problem does it solve? -->
<!-- If this PR resolves an open issue, please link to it here. For
example "Fixes sagemath#12345". -->
- Part of: sagemath#29705
- Cherry-picked from: sagemath#35095
<!-- If your change requires a documentation PR, please link it
appropriately. -->

### 📝 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! -->
<!-- Feel free to remove irrelevant items. -->

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

### ⌛ Dependencies

<!-- List all open PRs that this PR logically depends on
- sagemath#12345: short description why this is a dependency
- sagemath#34567: ...
-->

<!-- If you're unsure about any of these, don't hesitate to ask. We're
here to help! -->
    
URL: sagemath#36271
Reported by: Matthias Köppe
Reviewer(s): David Coudert, Matthias Köppe
vbraun pushed a commit to vbraun/sage that referenced this pull request Oct 28, 2023
dd02443 
sagemathgh-36271: `sage.{dynamics,schemes}`: Modularization fixes, docstring cosmetics, update `# needs`
    
<!-- ^^^^^
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 sagemath#1234" use "Introduce new method to
calculate 1+1"
-->
<!-- Describe your changes here in detail -->

<!-- Why is this change required? What problem does it solve? -->
<!-- If this PR resolves an open issue, please link to it here. For
example "Fixes sagemath#12345". -->
- Part of: sagemath#29705
- Cherry-picked from: sagemath#35095
<!-- If your change requires a documentation PR, please link it
appropriately. -->

### 📝 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! -->
<!-- Feel free to remove irrelevant items. -->

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

### ⌛ Dependencies

<!-- List all open PRs that this PR logically depends on
- sagemath#12345: short description why this is a dependency
- sagemath#34567: ...
-->

<!-- If you're unsure about any of these, don't hesitate to ask. We're
here to help! -->
    
URL: sagemath#36271
Reported by: Matthias Köppe
Reviewer(s): David Coudert, Matthias Köppe
vbraun pushed a commit to vbraun/sage that referenced this pull request Oct 29, 2023
8d91ee0 
sagemathgh-36271: `sage.{dynamics,schemes}`: Modularization fixes, docstring cosmetics, update `# needs`
    
<!-- ^^^^^
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 sagemath#1234" use "Introduce new method to
calculate 1+1"
-->
<!-- Describe your changes here in detail -->

<!-- Why is this change required? What problem does it solve? -->
<!-- If this PR resolves an open issue, please link to it here. For
example "Fixes sagemath#12345". -->
- Part of: sagemath#29705
- Cherry-picked from: sagemath#35095
<!-- If your change requires a documentation PR, please link it
appropriately. -->

### 📝 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! -->
<!-- Feel free to remove irrelevant items. -->

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

### ⌛ Dependencies

<!-- List all open PRs that this PR logically depends on
- sagemath#12345: short description why this is a dependency
- sagemath#34567: ...
-->

<!-- If you're unsure about any of these, don't hesitate to ask. We're
here to help! -->
    
URL: sagemath#36271
Reported by: Matthias Köppe
Reviewer(s): David Coudert, Matthias Köppe
@vbraun vbraun merged commit 6afeae8 into sagemath:develop Oct 31, 2023
@tobiasdiez
Copy link
Contributor

tobiasdiez commented Nov 1, 2023

Pyright check fails because of this PR.

@dcoudert
Copy link
Contributor

dcoudert commented Nov 2, 2023

Do we have any indication of what's going on / the localisation of the problem ?

@dcoudert
Copy link
Contributor

dcoudert commented Nov 2, 2023

I see, it's this change in src/sage/dynamics/arithmetic_dynamics/projective_ds.py

try:
    from sage.libs.pari.all import PariError
except ImportError:
    PariError = ()

that makes Pyright unhappy with

            try:
                res = (f.lc() ** (d - g.degree()) * g.lc() ** (d - f.degree())
                       * f.__pari__().polresultant(g, x))
                return self.domain().base_ring()(res)
            except (TypeError, PariError):
                pass

What should be the correct default value for PariError ?

@tobiasdiez tobiasdiez mentioned this pull request Nov 3, 2023
Merged
2 tasks
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Reviewers

1 more reviewer

@dcoudert dcoudert dcoudert approved these changes

Reviewers whose approvals may not affect merge requirements

Assignees

@mkoeppe mkoeppe

Labels

c: algebraic geometry t: refactoring

Projects

None yet

Milestone

sage-10.2

Development

Successfully merging this pull request may close these issues.

4 participants

@mkoeppe @dcoudert @tobiasdiez @vbraun