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_LaurentSeriesRing, is_MPowerSeriesRing, is_PowerSeriesRing #38290

Merged
merged 37 commits into from
Aug 3, 2024

Conversation

mkoeppe
Copy link
Contributor

@mkoeppe mkoeppe commented Jun 27, 2024

Part of

📝 Checklist

  • The title is concise and informative.
  • 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 and checked the documentation preview.

⌛ Dependencies

Matthias Koeppe added 16 commits June 23, 2024 11:57
…FIX=_generic" "CLASS='MPolynomialRing';SUFFIX=_base" "CLASS='QuotientRing';SUFFIX=_nc" "CLASS='LaurentSeries|MPowerSeries|MPolynomialIdeal|PowerSeries';SUFFIX=" ; do eval "$a"; git --no-pager grep -l -E 'is_('$CLASS')' src/sage | xargs sed -E -i.bak 's/import is_('$CLASS')/import \1'$SUFFIX'/;/^ +/s/is_('$CLASS')[(]([^()]*([(][^()]*[)])?[^()]*)[)]/isinstance(\2, \1'$SUFFIX')/g'; done
… --no-pager grep -l -E 'is_('$CLASS')' src/sage | xargs sed -E -i.bak 's/import is_('$CLASS')/import \1'$SUFFIX'/;/^ +/s/is_('$CLASS')[(]([^()]*([(][^()]*[)])?[^()]*)[)]/isinstance(\2, \1'$SUFFIX')/g'; done
@mkoeppe mkoeppe changed the title Deprecate is_LaurentSeriesRing Deprecate is_LaurentSeriesRing, is_MPowerSeriesRing, is_PowerSeriesRing Jun 27, 2024
@mkoeppe mkoeppe self-assigned this Jun 27, 2024
Copy link

github-actions bot commented Jun 27, 2024

Documentation preview for this PR (built with commit 1fe1648; changes) is ready! 🎉
This preview will update shortly after each push to this PR.

@mkoeppe mkoeppe marked this pull request as ready for review June 27, 2024 06:22
Copy link
Collaborator

@kwankyu kwankyu left a comment

Choose a reason for hiding this comment

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

LGTM.

@mkoeppe
Copy link
Contributor Author

mkoeppe commented Jul 10, 2024

Thank you!

@vbraun
Copy link
Member

vbraun commented Jul 24, 2024

Merge conflict

@kwankyu
Copy link
Collaborator

kwankyu commented Jul 31, 2024

sage -t --warn-long 60.7 --random-seed=319961221341491227066743967340860018910 src/sage/dynamics/arithmetic_dynamics/projective_ds.py
**********************************************************************
File "src/sage/dynamics/arithmetic_dynamics/projective_ds.py", line 8391, in sage.dynamics.arithmetic_dynamics.projective_ds.?.normal_form
Failed example:
    f.normal_form()
Expected:
    Traceback (most recent call last):
    ...
    NotImplementedError: map is not a polynomial
Got:
    <BLANKLINE>
    Traceback (most recent call last):
      File "/Users/kwankyu/GitHub/sage-dev/src/sage/doctest/forker.py", line 715, in _run
        self.compile_and_execute(example, compiler, test.globs)
      File "/Users/kwankyu/GitHub/sage-dev/src/sage/doctest/forker.py", line 1147, in compile_and_execute
        exec(compiled, globs)
      File "<doctest sage.dynamics.arithmetic_dynamics.projective_ds.?.normal_form[2]>", line 1, in <module>
        f.normal_form()
      File "/Users/kwankyu/GitHub/sage-dev/src/sage/dynamics/arithmetic_dynamics/projective_ds.py", line 8476, in normal_form
        if is_MPolynomialRing(G.parent()):
    NameError: name 'is_MPolynomialRing' is not defined
**********************************************************************
File "src/sage/dynamics/arithmetic_dynamics/projective_ds.py", line 8403, in sage.dynamics.arithmetic_dynamics.projective_ds.?.normal_form
Failed example:
    g,m,psi = f.normal_form(return_conjugation=True); m
Exception raised:
    Traceback (most recent call last):
      File "/Users/kwankyu/GitHub/sage-dev/src/sage/doctest/forker.py", line 715, in _run
        self.compile_and_execute(example, compiler, test.globs)
      File "/Users/kwankyu/GitHub/sage-dev/src/sage/doctest/forker.py", line 1147, in compile_and_execute
        exec(compiled, globs)
      File "<doctest sage.dynamics.arithmetic_dynamics.projective_ds.?.normal_form[7]>", line 1, in <module>
        g,m,psi = f.normal_form(return_conjugation=True); m
      File "/Users/kwankyu/GitHub/sage-dev/src/sage/dynamics/arithmetic_dynamics/projective_ds.py", line 8476, in normal_form
        if is_MPolynomialRing(G.parent()):
    NameError: name 'is_MPolynomialRing' is not defined
**********************************************************************
File "src/sage/dynamics/arithmetic_dynamics/projective_ds.py", line 8406, in sage.dynamics.arithmetic_dynamics.projective_ds.?.normal_form
Failed example:
    f.change_ring(psi).conjugate(m) == g
Exception raised:
    Traceback (most recent call last):
      File "/Users/kwankyu/GitHub/sage-dev/src/sage/doctest/forker.py", line 715, in _run
        self.compile_and_execute(example, compiler, test.globs)
      File "/Users/kwankyu/GitHub/sage-dev/src/sage/doctest/forker.py", line 1147, in compile_and_execute
        exec(compiled, globs)
      File "<doctest sage.dynamics.arithmetic_dynamics.projective_ds.?.normal_form[8]>", line 1, in <module>
        f.change_ring(psi).conjugate(m) == g
      File "/Users/kwankyu/GitHub/sage-dev/src/sage/dynamics/arithmetic_dynamics/generic_ds.py", line 305, in change_ring
        F = f.change_ring(R)
      File "/Users/kwankyu/GitHub/sage-dev/src/sage/schemes/generic/morphism.py", line 1519, in change_ring
        T = self.domain().change_ring(R)
      File "/Users/kwankyu/GitHub/sage-dev/src/sage/schemes/projective/projective_space.py", line 935, in change_ring
        return ProjectiveSpace(self.dimension_relative(), R,
      File "/Users/kwankyu/GitHub/sage-dev/src/sage/schemes/projective/projective_space.py", line 278, in ProjectiveSpace
        raise TypeError("R (=%s) must be a commutative ring" % R)
    TypeError: R (=<function psi at 0x1659a65e0>) must be a commutative ring
**********************************************************************
File "src/sage/dynamics/arithmetic_dynamics/projective_ds.py", line 8413, in sage.dynamics.arithmetic_dynamics.projective_ds.?.normal_form
Failed example:
    f.normal_form()                                                       # needs sage.libs.pari
Exception raised:
    Traceback (most recent call last):
      File "/Users/kwankyu/GitHub/sage-dev/src/sage/doctest/forker.py", line 715, in _run
        self.compile_and_execute(example, compiler, test.globs)
      File "/Users/kwankyu/GitHub/sage-dev/src/sage/doctest/forker.py", line 1147, in compile_and_execute
        exec(compiled, globs)
      File "<doctest sage.dynamics.arithmetic_dynamics.projective_ds.?.normal_form[11]>", line 1, in <module>
        f.normal_form()                                                       # needs sage.libs.pari
      File "/Users/kwankyu/GitHub/sage-dev/src/sage/dynamics/arithmetic_dynamics/projective_ds.py", line 8476, in normal_form
        if is_MPolynomialRing(G.parent()):
    NameError: name 'is_MPolynomialRing' is not defined
**********************************************************************
File "src/sage/dynamics/arithmetic_dynamics/projective_ds.py", line 8424, in sage.dynamics.arithmetic_dynamics.projective_ds.?.normal_form
Failed example:
    f.normal_form()
Exception raised:
    Traceback (most recent call last):
      File "/Users/kwankyu/GitHub/sage-dev/src/sage/doctest/forker.py", line 715, in _run
        self.compile_and_execute(example, compiler, test.globs)
      File "/Users/kwankyu/GitHub/sage-dev/src/sage/doctest/forker.py", line 1147, in compile_and_execute
        exec(compiled, globs)
      File "<doctest sage.dynamics.arithmetic_dynamics.projective_ds.?.normal_form[15]>", line 1, in <module>
        f.normal_form()
      File "/Users/kwankyu/GitHub/sage-dev/src/sage/dynamics/arithmetic_dynamics/projective_ds.py", line 8476, in normal_form
        if is_MPolynomialRing(G.parent()):
    NameError: name 'is_MPolynomialRing' is not defined
**********************************************************************
File "src/sage/dynamics/arithmetic_dynamics/projective_ds.py", line 8434, in sage.dynamics.arithmetic_dynamics.projective_ds.?.normal_form
Failed example:
    g,m,psi = f.normal_form(return_conjugation=True); psi                 # needs sage.rings.finite_rings
Exception raised:
    Traceback (most recent call last):
      File "/Users/kwankyu/GitHub/sage-dev/src/sage/doctest/forker.py", line 715, in _run
        self.compile_and_execute(example, compiler, test.globs)
      File "/Users/kwankyu/GitHub/sage-dev/src/sage/doctest/forker.py", line 1147, in compile_and_execute
        exec(compiled, globs)
      File "<doctest sage.dynamics.arithmetic_dynamics.projective_ds.?.normal_form[18]>", line 1, in <module>
        g,m,psi = f.normal_form(return_conjugation=True); psi                 # needs sage.rings.finite_rings
      File "/Users/kwankyu/GitHub/sage-dev/src/sage/dynamics/arithmetic_dynamics/projective_ds.py", line 8476, in normal_form
        if is_MPolynomialRing(G.parent()):
    NameError: name 'is_MPolynomialRing' is not defined
**********************************************************************
File "src/sage/dynamics/arithmetic_dynamics/projective_ds.py", line 8444, in sage.dynamics.arithmetic_dynamics.projective_ds.?.normal_form
Failed example:
    f.normal_form()
Exception raised:
    Traceback (most recent call last):
      File "/Users/kwankyu/GitHub/sage-dev/src/sage/doctest/forker.py", line 715, in _run
        self.compile_and_execute(example, compiler, test.globs)
      File "/Users/kwankyu/GitHub/sage-dev/src/sage/doctest/forker.py", line 1147, in compile_and_execute
        exec(compiled, globs)
      File "<doctest sage.dynamics.arithmetic_dynamics.projective_ds.?.normal_form[21]>", line 1, in <module>
        f.normal_form()
      File "/Users/kwankyu/GitHub/sage-dev/src/sage/dynamics/arithmetic_dynamics/projective_ds.py", line 8476, in normal_form
        if is_MPolynomialRing(G.parent()):
    NameError: name 'is_MPolynomialRing' is not defined
**********************************************************************
1 item had failures:
   7 of  23 in sage.dynamics.arithmetic_dynamics.projective_ds.?.normal_form
    [1536 tests, 7 failures, 83.49 s]
----------------------------------------------------------------------
sage -t --warn-long 60.7 --random-seed=319961221341491227066743967340860018910 src/sage/dynamics/arithmetic_dynamics/projective_ds.py  # 7 doctests failed

@mkoeppe
Copy link
Contributor Author

mkoeppe commented Jul 31, 2024

Thanks, I need to merge the updated dependency

@mkoeppe
Copy link
Contributor Author

mkoeppe commented Aug 1, 2024

Thanks again.

vbraun pushed a commit to vbraun/sage that referenced this pull request Aug 2, 2024
…ing`, `is_PowerSeriesRing`

    
<!-- ^ Please provide a concise and informative title. -->
<!-- ^ Don't put issue numbers in the title, do this in the PR
description below. -->
<!-- ^ For example, instead of "Fixes sagemath#12345" use "Introduce new method
to calculate 1 + 2". -->
<!-- v Describe your changes below in detail. -->
<!-- v Why is this change required? What problem does it solve? -->
<!-- v If this PR resolves an open issue, please link to it here. For
example, "Fixes sagemath#12345". -->

Part of
- sagemath#32414

### 📝 Checklist

<!-- Put an `x` in all the boxes that apply. -->

- [x] The title is concise and informative.
- [ ] 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 and checked the documentation
preview.

### ⌛ Dependencies

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

- Depends on sagemath#38266 (merged here)
    
URL: sagemath#38290
Reported by: Matthias Köppe
Reviewer(s): Kwankyu Lee
@vbraun vbraun merged commit 8bc2d84 into sagemath:develop Aug 3, 2024
19 checks passed
@mkoeppe mkoeppe added this to the sage-10.5 milestone Aug 3, 2024
@mkoeppe mkoeppe deleted the is_PowerSeriesRing_deprecation branch August 3, 2024 17:18
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.

3 participants