sage.rings.abc: Add pAdicRing, pAdicField; deprecate is_pAdic...
Closed this issue · 30 comments
This change will allow use to eliminate imports from sage.rings.padics in sage.rings.polynomial.polynomial_element.
Part of Meta-ticket #32414.
Depends on #32665
CC: @EnderWannabe @bhutz
Component: refactoring
Author: Matthias Koeppe, Alexander Galarraga
Branch/Commit: 03b24bd
Reviewer: Jonathan Kliem
Issue created by migration from https://trac.sagemath.org/ticket/32750
Commit: e1412c7
Branch pushed to git repo; I updated commit sha1. New commits:
1893620 | src/sage/dynamics/arithmetic_dynamics/projective_ds.py: Use sage.rings.abc.pAdicRing, pAdicField |
8422015 | src/sage/modular/overconvergent/genus0.py: Use sage.rings.abc.pAdicField |
c32b3a2 | src/sage/schemes/berkovich: Use sage.rings.abc.pAdicField |
96a778b | src/sage/schemes/elliptic_curves/constructor.py: Use sage.rings.abc.pAdicField |
b672836 | src/sage/schemes/hyperelliptic_curves: Use sage.rings.abc.pAdicField |
e1412c7 | src/sage/schemes/projective/projective_morphism.py: Use sage.rings.abc.pAdicField |
Description changed:
---
+++
@@ -1,2 +1,4 @@
-This change will allow use to eliminate the imports from `sage.rings.padics` in `sage.rings.polynomial.polynomial_element`
+This change will allow use to eliminate imports from `sage.rings.padics` in `sage.rings.polynomial.polynomial_element`.
+Part of Meta-ticket #32414.
+Author: Matthias Koeppe
Branch pushed to git repo; I updated commit sha1. New commits:
fc7025a | src/sage/rings/padics/generic_nodes.py: Update doctests with deprecation warning output |
Branch pushed to git repo; I updated commit sha1. New commits:
070d05b | src/sage/schemes/projective/projective_morphism.py: Avoid merge conflict |
Added missing imports in src/sage/modular/overconvergent/genus0.py and src/sage/schemes/hyperelliptic_curves/constructor.py. Hopefully this passes patchbot now; the rest of the changes looked good to me.
New commits:
59271be | 32750: added missing imports |
Thanks for fixing this!
The remaining failure, from src/sage/rings/integer.pyx, is not from this ticket. It is fixed in #32737.
pyflakes detects that the import from sage.rings.ring import EuclideanDomain, Field in generic_nodes.py can probably be removed now.
Rebased on top of gh-EnderWannabe's fixes.
Branch pushed to git repo; I updated commit sha1. Last 10 new commits:
b484d51 | src/sage/symbolic/callable.py: Fixup |
fad87c0 | Expression.is_callable: New |
4bc059b | src/sage/ext/fast_callable.pyx: Remove use of is_CallableSymbolicExpression |
8624925 | src/sage/symbolic/ring.pyx: Update doctest output with deprecation warning |
37da733 | src/sage/sets/condition_set.py: Remove use of is_CallableSymbolicExpression |
80a8f9e | sage.plot: Remove use of is_CallableSymbolicExpression, is_SymbolicEquation |
a287531 | src/sage/schemes/elliptic_curves/constructor.py: Remove use of SR, is_SymbolicEquation; add test for symbolic input |
c9861d1 | src/sage/interfaces/qepcad.py: Remove use of is_SymbolicEquation |
341337a | src/sage/ext/fast_callable.pyx: Remove use of is_SymbolicVariable |
c46eb46 | Merge #32665 |
If we are touching this line anyway, we might as well add the second space before #:
+ elif isinstance(base, sage.rings.abc.pAdicField): # change base to QpbarOnce done, you can put it on positive review on my behalf.
Reviewer: Jonathan Kliem
Branch pushed to git repo; I updated commit sha1. New commits:
03b24bd | src/sage/schemes/berkovich/berkovich_space.py: Whitespace fix |
Changed author from Matthias Koeppe to Matthias Koeppe, Alexander Galarraga
Thank you!
Changed branch from u/mkoeppe/sage_rings_abc__add_padicring__padicfield__deprecate_is_padic___ to 03b24bd