Opened 5 years ago
Closed 4 years ago
#23218 closed enhancement (fixed)
Ramified extensions of general padic rings and fields
Reported by:  David Roe  Owned by:  

Priority:  major  Milestone:  sage8.4 
Component:  padics  Keywords:  sd87, padicIMA 
Cc:  Julian Rüth, Stefan Wewers, Xavier Caruso  Merged in:  
Authors:  David Roe, Julian Rüth, Xavier Caruso  Reviewers:  Julian Rüth, Xavier Caruso, David Roe 
Report Upstream:  N/A  Work issues:  
Branch:  319f6d4 (Commits, GitHub, GitLab)  Commit:  319f6d49427c7a138aaf2ef31628c5ccb571be19 
Dependencies:  #23221, #23228, #23471, #25908, #21994  Stopgaps: 
Description
We should have support for relative extensions of padic rings and fields. This is particularly useful for totally ramified extensions of unramified extensions of Qp, which will represent a general absolute extension of Qp.
Attachments (1)
Change History (108)
comment:1 Changed 5 years ago by
Branch:  → u/roed/ramified_extensions_of_general_p_adic_rings_and_fields 

comment:2 Changed 5 years ago by
Cc:  Stefan Wewers Xavier Caruso added 

Commit:  → bcdc0691e9371550f9c28512a59735e3e6714768 
comment:3 Changed 5 years ago by
Commit:  bcdc0691e9371550f9c28512a59735e3e6714768 → 1e4b2b44f55aeaf9501cbd54bba73935e4c84b10 

Branch pushed to git repo; I updated commit sha1. New commits:
1e4b2b4  Working on relative ramified extensions

comment:4 Changed 5 years ago by
Commit:  1e4b2b44f55aeaf9501cbd54bba73935e4c84b10 → 17a2ae0b2a8159a4b47a69be1ba86fea751aa135 

Branch pushed to git repo; I updated commit sha1. New commits:
17a2ae0  Changes to make things build

comment:5 Changed 5 years ago by
Dependencies:  → #23221 

comment:6 Changed 5 years ago by
Commit:  17a2ae0b2a8159a4b47a69be1ba86fea751aa135 → 77850fb29295bc6237f86f09b09f3dae78018a22 

Branch pushed to git repo; I updated commit sha1. New commits:
6470a1a  __init__ method on relative ramified FM parents

4b56533  Add coercion to fraction field for floating point rings

18f9d37  Merge branch 't/23220/coercion_from_floating_point_unramified_rings_to_their_fractionf_fields' into t/23218/ramified_extensions_of_general_p_adic_rings_and_fields

77850fb  Fixing some problems with floating point in pushouts, adding type casts for celements in libs/linkages/padics/Polynomial*.pxi to allow access to __coeffs

comment:7 Changed 5 years ago by
Branch:  u/roed/ramified_extensions_of_general_p_adic_rings_and_fields → u/saraedum/ramified_extensions_of_general_p_adic_rings_and_fields 

comment:8 Changed 5 years ago by
Branch:  u/saraedum/ramified_extensions_of_general_p_adic_rings_and_fields → u/roed/ramified_extensions_of_general_p_adic_rings_and_fields 

comment:9 Changed 5 years ago by
Commit:  77850fb29295bc6237f86f09b09f3dae78018a22 → eafeefef088aa4206164d0b8aae2e22298a865e5 

comment:10 Changed 5 years ago by
Dependencies:  #23221 → #23221, #23228 

comment:11 Changed 5 years ago by
Branch:  u/roed/ramified_extensions_of_general_p_adic_rings_and_fields → u/saraedum/ramified_extensions_of_general_p_adic_rings_and_fields 

comment:12 Changed 5 years ago by
Commit:  eafeefef088aa4206164d0b8aae2e22298a865e5 → fd3ee0f2d09453ee9aed578277b579e0a768cd34 

Branch pushed to git repo; I updated commit sha1. New commits:
fd3ee0f  Clarify calls of __init__ in cconstruct

comment:13 Changed 5 years ago by
Branch:  u/saraedum/ramified_extensions_of_general_p_adic_rings_and_fields → u/roed/ramified_extensions_of_general_p_adic_rings_and_fields 

comment:14 Changed 5 years ago by
Commit:  fd3ee0f2d09453ee9aed578277b579e0a768cd34 → 0204e7f6f38d172e6c010bf2cd4d1cc05903ec55 

Branch pushed to git repo; I updated commit sha1. New commits:
0204e7f  Make series printing work for twostep padic extension elements

comment:15 Changed 5 years ago by
Branch:  u/roed/ramified_extensions_of_general_p_adic_rings_and_fields → u/saraedum/ramified_extensions_of_general_p_adic_rings_and_fields 

comment:16 Changed 5 years ago by
Commit:  0204e7f6f38d172e6c010bf2cd4d1cc05903ec55 → b51ab48daa1a0471207fc256ad5b9c4b10d57f91 

Branch pushed to git repo; I updated commit sha1. New commits:
b51ab48  Implemented missing padic conversions

comment:17 Changed 5 years ago by
Commit:  b51ab48daa1a0471207fc256ad5b9c4b10d57f91 → a4c3bf53ea1d2c75b4cb87c7711009196995066d 

Branch pushed to git repo; I updated commit sha1. New commits:
a4c3bf5  Fix missing cases in conversion

comment:18 Changed 5 years ago by
Commit:  a4c3bf53ea1d2c75b4cb87c7711009196995066d → 651e31f2f42e8fb7648212d60c45aa3decd96fad 

Branch pushed to git repo; I updated commit sha1. New commits:
42a65ab  Working on series printing for twostep padics

0204e7f  Make series printing work for twostep padic extension elements

c7f71c1  Fixing terse printing

0674979  Merge branch 'u/saraedum/ramified_extensions_of_general_p_adic_rings_and_fields' of git://trac.sagemath.org/sage into t/23217/ramified_extensions_of_general_p_adic_rings_and_fields

4d4c973  cleanup and implementations in ramified linkage

651e31f  Caching methods in pow computer

comment:19 Changed 5 years ago by
Commit:  651e31f2f42e8fb7648212d60c45aa3decd96fad → 19115e64dcfde35a8b035210ee92d9d783dbfef7 

Branch pushed to git repo; I updated commit sha1. New commits:
19115e6  fix shifting

comment:20 Changed 5 years ago by
Commit:  19115e64dcfde35a8b035210ee92d9d783dbfef7 → 9a65ead34dc1367c01fb086b455d4d22f837052e 

Branch pushed to git repo; I updated commit sha1. New commits:
1f89001  fix ccmp

39534c3  initialize temporary variables

b3e1001  explain why a conversion was not found

25888bc  fix typo

883b789  coercions and conversions from rationals into relative extensions

9a65ead  Move _coerce_map_from_ to the affected parents

comment:21 Changed 5 years ago by
Dependencies:  #23221, #23228 → #23221, #23228, #20310 

comment:22 Changed 5 years ago by
Dependencies:  #23221, #23228, #20310 → #23221, #23228, #20310, #14825 

comment:23 Changed 5 years ago by
Branch:  u/saraedum/ramified_extensions_of_general_p_adic_rings_and_fields → u/roed/ramified_extensions_of_general_p_adic_rings_and_fields 

comment:24 Changed 5 years ago by
Commit:  9a65ead34dc1367c01fb086b455d4d22f837052e → 497db77a4a6b2f3dbe01f67c0f511907861139c4 

Branch pushed to git repo; I updated commit sha1. New commits:
497db77  Fixing pickling, adding relative extensions to factory, fixing bug in comparison

comment:25 Changed 5 years ago by
Dependencies:  #23221, #23228, #20310, #14825 → #23221, #23228, #20310, #14825, #23471 

comment:26 Changed 5 years ago by
Commit:  497db77a4a6b2f3dbe01f67c0f511907861139c4 → 2f3e44cfa74280cf1257ac2fb4f10e4d79ccb7f1 

Branch pushed to git repo; I updated commit sha1. Last 10 new commits:
b7a0bff  Fix orders

77779ea  minor docstring changes

6e2495f  Merge branch 't/23331/allow_exact_defining_polynomials_for_p_adic_extensions' into t/20310/change_precision

7428353  minor docstring fixes

bd15d71  add exact keyword

99dccf6  Merge branch 't/23331/allow_exact_defining_polynomials_for_p_adic_extensions' into t/20310/change_precision

ef4ed33  Fix SEEALSO:

1754b44  Fix exact=True errors in the right branch

a29bf7a  Merge branch 't/20310/change_precision' into t/23471/padic_ext_conversion

2f3e44c  Merge branch 't/23471/padic_ext_conversion' into t/23218/ramified_extensions_of_general_p_adic_rings_and_fields

comment:27 Changed 5 years ago by
Commit:  2f3e44cfa74280cf1257ac2fb4f10e4d79ccb7f1 → e74a87fbb077bb206d4279a24093cb6eac5dced3 

Branch pushed to git repo; I updated commit sha1. New commits:
f985aa0  Add ability to call with arguments

9763d7a  Fix implementation of _call_with_args

21a476e  Merge branch 't/23471/padic_ext_conversion' into t/23218/ramified_extensions_of_general_p_adic_rings_and_fields

e5d46b6  Move _shift_seed to PowComputer_relative_eis

3b52f2c  Fix bug from args being a tuple, not a list

e74a87f  Merge branch 't/23471/padic_ext_conversion' into t/23218/ramified_extensions_of_general_p_adic_rings_and_fields

comment:28 Changed 5 years ago by
Commit:  e74a87fbb077bb206d4279a24093cb6eac5dced3 → 5c0aa4e6989abb97522e8abb5bd1beacb3eba24d 

comment:29 Changed 5 years ago by
Commit:  5c0aa4e6989abb97522e8abb5bd1beacb3eba24d → 1cb5597c0369540bf294b015a14993d2bb42d121 

Branch pushed to git repo; I updated commit sha1. New commits:
1cb5597  Base change exact polynomial when creating PowComputer

comment:30 Changed 5 years ago by
Commit:  1cb5597c0369540bf294b015a14993d2bb42d121 → 4eeb18b0220ad6434a092e436a14dacf9047e357 

Branch pushed to git repo; I updated commit sha1. New commits:
4eeb18b  Injections from the base ring for relative padic extensions

comment:31 Changed 5 years ago by
Commit:  4eeb18b0220ad6434a092e436a14dacf9047e357 → d037d153f7a20fb538ef669928b8009afd8458cd 

comment:32 Changed 5 years ago by
Commit:  d037d153f7a20fb538ef669928b8009afd8458cd → a6b4361165f4856e59aa632a65d4acff8dc41b57 

Branch pushed to git repo; I updated commit sha1. Last 10 new commits:
7f87069  Fix segfault

b9c2fe4  Fix pickling of sections for padic coercions

6ba62dd  Fix SEEALSO again

e9c4c39  Merge branch 'u/roed/allow_exact_defining_polynomials_for_p_adic_extensions' of git://trac.sagemath.org/sage into t/23331/allow_exact_defining_polynomials_for_p_adic_extensions

561f5ac  Fix doctest errors

3142701  Merge branch 'u/roed/change_precision' of git://trac.sagemath.org/sage into t/20310/change_precision

138d939  Fix string representation doctest from #22103

1eeb367  Merge branch 't/20310/change_precision' into t/14825/polynomial_representation_of_a_padic_number

1d1ad89  Merge branch 'u/roed/padic_ext_conversion' of git://trac.sagemath.org/sage into t/23471/padic_ext_conversion

a6b4361  Merge branch 'u/roed/ramified_extensions_of_general_p_adic_rings_and_fields' of git://trac.sagemath.org/sage into t/23218/ramified_extensions_of_general_p_adic_rings_and_fields

comment:33 Changed 5 years ago by
Commit:  a6b4361165f4856e59aa632a65d4acff8dc41b57 → e20132124de474ef311a7eb12b6521ecd481d0c1 

Branch pushed to git repo; I updated commit sha1. New commits:
e201321  Make conversion from residue field work for two step extensions

comment:34 Changed 5 years ago by
Dependencies:  #23221, #23228, #20310, #14825, #23471 → #23221, #23228, #23471 

comment:35 Changed 5 years ago by
Commit:  e20132124de474ef311a7eb12b6521ecd481d0c1 → 392a5b654f7e352ab7997d0dc4001ea503970a11 

Branch pushed to git repo; I updated commit sha1. Last 10 new commits:
0b7fd02  default docstring layout

def3897  replace p with pi and clarify meaning of expansion

99c40d6  add unit test for expansion

6732d38  coefficients might be lists in the maximal unramified subextension

acc606a  Merge branch 'u/saraedum/polynomial_representation_of_a_padic_number' of git://trac.sagemath.org/sage into t/14825/polynomial_representation_of_a_padic_number

40737f6  Fix some of the errors in _test_expansion

6efed0b  Merge branch 'u/roed/polynomial_representation_of_a_padic_number' of git://trac.sagemath.org/sage into t/14825/polynomial_representation_of_a_padic_number

2b93c3c  Merge branch 'develop' into t/23471/padic_ext_conversion

3fc818a  Merge branch 'u/roed/padic_ext_conversion' of git://trac.sagemath.org/sage into t/23471/padic_ext_conversion

392a5b6  Merge branch 'u/roed/ramified_extensions_of_general_p_adic_rings_and_fields' of git://trac.sagemath.org/sage into t/23218/ramified_extensions_of_general_p_adic_rings_and_fields

comment:36 Changed 5 years ago by
Commit:  392a5b654f7e352ab7997d0dc4001ea503970a11 → 9633e88ef31981f60123a92f0b8ba22f786a87e3 

Branch pushed to git repo; I updated commit sha1. Last 10 new commits:
d7d5fb6  Fixing documentation

8f34757  Merge branch 't/14825/polynomial_representation_of_a_padic_number' into t/23471/padic_ext_conversion

46f9cae  Merge branch 'develop' into t/14825/polynomial_representation_of_a_padic_number

e51c0f5  Merge branch 'u/roed/polynomial_representation_of_a_padic_number' of git://trac.sagemath.org/sage into t/14825/polynomial_representation_of_a_padic_number

b6457b1  Moving SEEALSO to the end of the docstring

b81b722  Remove use of depraceted list()

04a1579  Fix NOTES blocks

6764ea2  Merge branch 'develop' into t/14825/polynomial_representation_of_a_padic_number

0c58970  Merge branch 't/14825/polynomial_representation_of_a_padic_number' into t/23471/padic_ext_conversion

9633e88  Merge branch 'u/roed/ramified_extensions_of_general_p_adic_rings_and_fields' of git://trac.sagemath.org/sage into t/23218/ramified_extensions_of_general_p_adic_rings_and_fields

comment:37 Changed 5 years ago by
Commit:  9633e88ef31981f60123a92f0b8ba22f786a87e3 → ef0f2d9f8bcb1c965be18bccd19ad62bd8eae9a8 

comment:38 Changed 5 years ago by
Commit:  ef0f2d9f8bcb1c965be18bccd19ad62bd8eae9a8 → 493625a9491d289195c60cf4baae0a91644c6057 

Branch pushed to git repo; I updated commit sha1. Last 10 new commits:
6311b85  cimport fraction field element types

16f53ec  Remove sig_on from around cshift, since this can call python code in two step extensions

10cdb0c  Fix sign errors in calling cshift

6b995a4  Switch from clist to cexpansion_next and cexpansion_getitem

a5f4606  Undo debugging change

617f85b  Use conditional compilation to simplify code for relative ramified extensions

7aecc2f  switch from % operator to add_bigoh in reduction

0303c7b  Use integral coefficients for the internal polynomials representing twostep extension elements

690ba7d  Compute inertia degee in whole tower when printing twostep padic extension elements

493625a  Add coercion maps to fraction field for twostep extensions

comment:39 Changed 5 years ago by
Commit:  493625a9491d289195c60cf4baae0a91644c6057 → 8939981e4b02ac12b86f943d93a8baef25e9af51 

Branch pushed to git repo; I updated commit sha1. New commits:
501577b  Add modulus and defining polynomials for Qp and Zp for consistency

ce61f64  Improve base ring injections for relative extensions of padic fields

16477d3  Make conversion from residue field work for twostep extensions of padics

1c7cc71  Fix typo in section method for base ring injection in padic twostep extensions

8be1504  Fix bugs in creduce and ccoefficients for twostep padic extensions

d53df12  Add coerce_list back in to the _populate_coercion_lists_ call in pAdicExtensionGeneric.__init__

e68beee  Fix some padic doctests

635021a  Change _poly_rep to always return the polynomial representing the element, not the unit

67c1f14  Change the internal base ring for twostep extensions to not show precision when printing, fix bug in base ring coercion

8939981  Fix problems in expansion code

comment:40 Changed 5 years ago by
It seems that I have found a problem with this ticket. Here is my example:
sage: R=Zq(2^10) sage: P.<alpha>=R[] sage: R1.<t>=R.ext(alpha^2+2*alpha+2) sage: M1=matrix(R1, 2, 2)  NotImplementedError Traceback (most recent call last)
comment:41 Changed 5 years ago by
Commit:  8939981e4b02ac12b86f943d93a8baef25e9af51 → f4ce9aab0ee53b70a26c9d959c124948ace0cba6 

comment:42 Changed 5 years ago by
Commit:  f4ce9aab0ee53b70a26c9d959c124948ace0cba6 → e3a1c866f8fa3bc534e3434ab2ca066d470b5d5d 

Branch pushed to git repo; I updated commit sha1. This was a forced push. Last 10 new commits:
ce61f64  Improve base ring injections for relative extensions of padic fields

16477d3  Make conversion from residue field work for twostep extensions of padics

1c7cc71  Fix typo in section method for base ring injection in padic twostep extensions

8be1504  Fix bugs in creduce and ccoefficients for twostep padic extensions

d53df12  Add coerce_list back in to the _populate_coercion_lists_ call in pAdicExtensionGeneric.__init__

e68beee  Fix some padic doctests

635021a  Change _poly_rep to always return the polynomial representing the element, not the unit

67c1f14  Change the internal base ring for twostep extensions to not show precision when printing, fix bug in base ring coercion

8939981  Fix problems in expansion code

e3a1c86  Merge commit '8939981e4b02ac12b86f943d93a8baef25e9af51' of git://trac.sagemath.org/sage into t/23218/general_extensions

comment:43 Changed 5 years ago by
Commit:  e3a1c866f8fa3bc534e3434ab2ca066d470b5d5d → 65f28536ad731c289db6a150a200d179c4f80647 

comment:44 Changed 5 years ago by
Commit:  65f28536ad731c289db6a150a200d179c4f80647 → e3a1c866f8fa3bc534e3434ab2ca066d470b5d5d 

Branch pushed to git repo; I updated commit sha1. This was a forced push. Last 10 new commits:
ce61f64  Improve base ring injections for relative extensions of padic fields

16477d3  Make conversion from residue field work for twostep extensions of padics

1c7cc71  Fix typo in section method for base ring injection in padic twostep extensions

8be1504  Fix bugs in creduce and ccoefficients for twostep padic extensions

d53df12  Add coerce_list back in to the _populate_coercion_lists_ call in pAdicExtensionGeneric.__init__

e68beee  Fix some padic doctests

635021a  Change _poly_rep to always return the polynomial representing the element, not the unit

67c1f14  Change the internal base ring for twostep extensions to not show precision when printing, fix bug in base ring coercion

8939981  Fix problems in expansion code

e3a1c86  Merge commit '8939981e4b02ac12b86f943d93a8baef25e9af51' of git://trac.sagemath.org/sage into t/23218/general_extensions

comment:45 Changed 5 years ago by
Sorry for the weird force pushes. Things got confused with #23344. It should be okay now, and a fastforward of the branch from an hour ago.
comment:46 Changed 5 years ago by
Branch:  u/roed/ramified_extensions_of_general_p_adic_rings_and_fields → u/caruso/ramified_extensions_of_general_p_adic_rings_and_fields 

comment:47 Changed 5 years ago by
Branch:  u/caruso/ramified_extensions_of_general_p_adic_rings_and_fields → u/roed/ramified_extensions_of_general_p_adic_rings_and_fields 

comment:48 Changed 5 years ago by
Commit:  e3a1c866f8fa3bc534e3434ab2ca066d470b5d5d → 340420840699b6d99963d8f74e8dd8e4f5e63832 

Here are a series of bugs/remarks (see also discussion on Zulip):
 the printing of the parent is not optimal
 there is an issue with precision with the computation of
x^p
 the methods
zero
andone
(of the parent) are not implemented  the method
expansion
is broken  coercion from
QQ
to a padic field does not always work (might be related to the previous item)  the method
polynomial
is broken
New commits:
d77b226  Ensure that coefficient lists are copied in the padic Polynomial linkage files

aa1c48b  Fix error in category for _convert_map_for_ in padic extension rings

73040f3  Handle base ring correctly in __init__ method for padic template elements

96e977b  Fix a few bugs and add some tests

f686d75  Merge branch 'develop' into t/23218/ramified_extensions_of_general_p_adic_rings_and_fields

3404208  Merge branch 'u/caruso/ramified_extensions_of_general_p_adic_rings_and_fields' of git://trac.sagemath.org/sage into t/23218/ramified_extensions_of_general_p_adic_rings_and_fields

comment:49 Changed 4 years ago by
Keywords:  padicIMA added 

comment:50 Changed 4 years ago by
_test_add, _test_elements, _test_log, _test_sub failed when running TestSuite? on the following 5adic Eisenstein field.
sage: K.<a> = Qq(125) sage: R.<x> = K[] sage: W.<w> = K.extension(x^3 + 25*x^2  5*a*x + 5*(1+a^2)) sage: TestSuite(W).run()
For _test_add, the line
tester.assertTrue(y.is_equal_to(zx,zprec))
fails. Even though the expressions z(x+y) and x+yz were fine, the expression zxy is not. (In my particular failure, they all had relative precision 60, x and z had absolute precision 60, y had absolute precision 63.)
comment:51 Changed 4 years ago by
Commit:  340420840699b6d99963d8f74e8dd8e4f5e63832 → 740ff4fdf25c00e8561bc5da9cba96b2f99076ae 

comment:52 Changed 4 years ago by
random_element fails because multiplying by an element in the base field with negative valuation throws a "ValueError?: negative valuation"
sage: K.<a> = Qq(125) sage: R.<t> = K[] sage: W.<w> = K.extension(t^3 + 5*(5*t^2 + (13*aa^2)*t + a)) sage: K(1/5)*w ValueError: negative valuation
comment:53 Changed 4 years ago by
Branch:  u/roed/ramified_extensions_of_general_p_adic_rings_and_fields → u/caruso/ramified_extensions_of_general_p_adic_rings_and_fields 

comment:54 Changed 4 years ago by
Commit:  740ff4fdf25c00e8561bc5da9cba96b2f99076ae → 17322fab7176cff718e2cf7c67a0668a47016d97 

Branch pushed to git repo; I updated commit sha1. New commits:
debf1fc  Commit to make different from develop

25c86a6  Change printing for padic extensions

e74fe63  Doctest for the helper method _extension_type

17322fa  Merge branch 't/25908/padic_printing' into t/23218/ramified_extensions_of_general_p_adic_rings_and_fields

comment:55 Changed 4 years ago by
Dependencies:  #23221, #23228, #23471 → #23221, #23228, #23471, #25908 

comment:56 Changed 4 years ago by
Commit:  17322fab7176cff718e2cf7c67a0668a47016d97 → 8882d0387de76a1b60114e3faf2c13bf5bc52bb3 

Branch pushed to git repo; I updated commit sha1. New commits:
8882d03  Fix expansion

comment:57 Changed 4 years ago by
Here is another bug:
sage: K.<a> = Qq(2^10, 10) sage: S.<X> = K[] sage: L.<pi> = K.extension(X^2  16*X + 2) sage: L(2,absprec=3) <repr(<sage.rings.padics.relative_ramified_CR.RelativeRamifiedCappedRelativeElement at 0x7febfb11d4d0>) failed: RuntimeError: repr_spec called on zero>
New commits:
8882d03  Fix expansion

comment:58 Changed 4 years ago by
Commit:  8882d0387de76a1b60114e3faf2c13bf5bc52bb3 → 3654af843fe064c31b1d74005735c9c2a8e17439 

Branch pushed to git repo; I updated commit sha1. New commits:
3654af8  Some fixes in the sqrt function

comment:59 Changed 4 years ago by
Commit:  3654af843fe064c31b1d74005735c9c2a8e17439 → 5553da87de2b665fe9c1e89899f207fc33730f39 

Branch pushed to git repo; I updated commit sha1. New commits:
5553da8  Remove a unwanted print statement

comment:60 Changed 4 years ago by
Branch:  u/caruso/ramified_extensions_of_general_p_adic_rings_and_fields → u/roed/ramified_extensions_of_general_p_adic_rings_and_fields 

comment:61 Changed 4 years ago by
Branch:  u/roed/ramified_extensions_of_general_p_adic_rings_and_fields → u/caruso/ramified_extensions_of_general_p_adic_rings_and_fields 

comment:62 Changed 4 years ago by
Branch:  u/caruso/ramified_extensions_of_general_p_adic_rings_and_fields → u/roed/ramified_extensions_of_general_p_adic_rings_and_fields 

comment:63 Changed 4 years ago by
Branch:  u/roed/ramified_extensions_of_general_p_adic_rings_and_fields → u/caruso/ramified_extensions_of_general_p_adic_rings_and_fields 

comment:64 Changed 4 years ago by
Branch:  u/caruso/ramified_extensions_of_general_p_adic_rings_and_fields → u/roed/ramified_extensions_of_general_p_adic_rings_and_fields 

comment:65 Changed 4 years ago by
Branch:  u/roed/ramified_extensions_of_general_p_adic_rings_and_fields → u/caruso/ramified_extensions_of_general_p_adic_rings_and_fields 

comment:66 Changed 4 years ago by
Branch:  u/caruso/ramified_extensions_of_general_p_adic_rings_and_fields → u/roed/ramified_extensions_of_general_p_adic_rings_and_fields 

comment:67 Changed 4 years ago by
Branch:  u/roed/ramified_extensions_of_general_p_adic_rings_and_fields → u/caruso/ramified_extensions_of_general_p_adic_rings_and_fields 

comment:68 Changed 4 years ago by
Commit:  5553da87de2b665fe9c1e89899f207fc33730f39 → 899d9f6d3fa9e374978837763d8383384a2ca897 

Branch pushed to git repo; I updated commit sha1. New commits:
899d9f6  Extra doctests in morphism.pyx

comment:69 Changed 4 years ago by
Branch:  u/caruso/ramified_extensions_of_general_p_adic_rings_and_fields → u/roed/ramified_extensions_of_general_p_adic_rings_and_fields 

comment:70 Changed 4 years ago by
Commit:  899d9f6d3fa9e374978837763d8383384a2ca897 → 8d064401fcade533b075bb50c4b3f5183dba5280 

Branch pushed to git repo; I updated commit sha1. New commits:
8d06440  Fix sphinx problem

comment:71 Changed 4 years ago by
Authors:  → David Roe, Julian Rüth, Xavier Caruso 

Reviewers:  → Julian Rüth, Xavier Caruso, David Roe 
Status:  new → needs_review 
All tests pass on our machines. Sending it to the patchbots.
comment:72 Changed 4 years ago by
There's still a bug with shifting:
sage: W.<a> = Zq(2^10,3) sage: S.<x> = W[] sage: OL.<pi> = W.extension(x^2  2*a*x + 2) sage: OL(1) >> 1 a + pi + pi^3 + a*pi^4 + O(pi^5)
The last answer should be 0
, I guess.
In any case, results are not coherent:
sage: (OL(1) >> 1) >> 1 (a^2 + 1) + a*pi + pi^2 + O(pi^4) sage: OL(1) >> 2 O(pi^4)
comment:73 Changed 4 years ago by
Branch:  u/roed/ramified_extensions_of_general_p_adic_rings_and_fields → u/caruso/ramified_extensions_of_general_p_adic_rings_and_fields 

comment:74 Changed 4 years ago by
Commit:  8d064401fcade533b075bb50c4b3f5183dba5280 → 5ffb2633b6c5c4cd0dc286967c73a32150d668f5 

Branch pushed to git repo; I updated commit sha1. New commits:
5ffb263  replace creduce by normalize

comment:75 Changed 4 years ago by
Commit:  5ffb2633b6c5c4cd0dc286967c73a32150d668f5 → 7e842e3ef5c839eb20e77ea68200d1483ab0a31c 

Branch pushed to git repo; I updated commit sha1. New commits:
7e842e3  Avoid to call two times cremove

comment:76 Changed 4 years ago by
Branch:  u/caruso/ramified_extensions_of_general_p_adic_rings_and_fields → u/roed/ramified_extensions_of_general_p_adic_rings_and_fields 

comment:77 Changed 4 years ago by
Branch:  u/roed/ramified_extensions_of_general_p_adic_rings_and_fields → u/caruso/ramified_extensions_of_general_p_adic_rings_and_fields 

comment:78 Changed 4 years ago by
Commit:  7e842e3ef5c839eb20e77ea68200d1483ab0a31c → e156f7fd66867ae53ed8c5de5462a8b7a55edaee 

comment:79 Changed 4 years ago by
Dependencies:  #23221, #23228, #23471, #25908 → #23221, #23228, #23471, #25908, #21994 

comment:80 Changed 4 years ago by
Branch:  u/caruso/ramified_extensions_of_general_p_adic_rings_and_fields → u/roed/ramified_extensions_of_general_p_adic_rings_and_fields 

comment:81 Changed 4 years ago by
Commit:  e156f7fd66867ae53ed8c5de5462a8b7a55edaee → b979df8231f039194fd54df9dc58eb18f733fd2e 

Branch pushed to git repo; I updated commit sha1. New commits:
b979df8  Remove a sig_on/sig_off

comment:82 Changed 4 years ago by
Branch:  u/roed/ramified_extensions_of_general_p_adic_rings_and_fields → u/caruso/ramified_extensions_of_general_p_adic_rings_and_fields 

comment:83 Changed 4 years ago by
Branch:  u/caruso/ramified_extensions_of_general_p_adic_rings_and_fields → u/roed/ramified_extensions_of_general_p_adic_rings_and_fields 

comment:84 Changed 4 years ago by
Branch:  u/roed/ramified_extensions_of_general_p_adic_rings_and_fields → u/caruso/ramified_extensions_of_general_p_adic_rings_and_fields 

comment:85 Changed 4 years ago by
Commit:  b979df8231f039194fd54df9dc58eb18f733fd2e → b1a32368f0fd66a2b06fc5ea0f05d36f1520690d 

I've foundand fixedsome bugs.
I'm not satisfied with this ticket. Positive review for me when patchbot is happy.
Last 10 new commits:
9340a8a  Fix a corner case

4d6623d  Merge branch 't/21994/quo_rem_revision' into t/23218/ramified_extensions_of_general_p_adic_rings_and_fields

2975633  Add _quo_rem to lattice precision

cabb63e  Merge branch 'u/caruso/quo_rem_revision' of git://trac.sagemath.org/sage into t/21994/quo_rem_revision

4fed21f  Merge branch 't/21994/quo_rem_revision' into t/23218/ramified_extensions_of_general_p_adic_rings_and_fields

aacb4c2  Merge branch 'u/roed/ramified_extensions_of_general_p_adic_rings_and_fields' of trac.sagemath.org:sage into t/23218/ramified_extensions_of_general_p_adic_rings_and_fields

0ea13c0  Fix two bugs: one in expansion, one in cshift

22840e5  Prevent _test_log to compute log(0)

87f4c43  Always creduce after cremove

b1a3236  Remove unwanted print statements

comment:86 Changed 4 years ago by
Branch:  u/caruso/ramified_extensions_of_general_p_adic_rings_and_fields → u/roed/ramified_extensions_of_general_p_adic_rings_and_fields 

comment:87 Changed 4 years ago by
Commit:  b1a32368f0fd66a2b06fc5ea0f05d36f1520690d → ecf1155e3eacec4d776fa2d9be59e821118b009f 

Branch pushed to git repo; I updated commit sha1. New commits:
ecf1155  Fix _get_unit in CA_template.pxi

comment:88 Changed 4 years ago by
Commit:  ecf1155e3eacec4d776fa2d9be59e821118b009f → b2d0d73379f3868fa1748d0322224c8d6ad49c43 

Branch pushed to git repo; I updated commit sha1. New commits:
b2d0d73  Fixing doctests

comment:89 Changed 4 years ago by
Commit:  b2d0d73379f3868fa1748d0322224c8d6ad49c43 → ab5aab47f0664938bba7398a4e49d7e58c01c2eb 

Branch pushed to git repo; I updated commit sha1. New commits:
ab5aab4  Fixing doctests and typos

comment:90 Changed 4 years ago by
Commit:  ab5aab47f0664938bba7398a4e49d7e58c01c2eb → 8576c59d682a5984a8b878bd58f521e8a7324bf8 

Branch pushed to git repo; I updated commit sha1. New commits:
8576c59  Change construction functors for padics, making pushouts work in towers

comment:91 Changed 4 years ago by
Branch:  u/roed/ramified_extensions_of_general_p_adic_rings_and_fields → u/caruso/ramified_extensions_of_general_p_adic_rings_and_fields 

comment:92 Changed 4 years ago by
Branch:  u/caruso/ramified_extensions_of_general_p_adic_rings_and_fields → u/roed/ramified_extensions_of_general_p_adic_rings_and_fields 

comment:93 Changed 4 years ago by
Branch:  u/roed/ramified_extensions_of_general_p_adic_rings_and_fields → u/caruso/ramified_extensions_of_general_p_adic_rings_and_fields 

comment:94 Changed 4 years ago by
Branch:  u/caruso/ramified_extensions_of_general_p_adic_rings_and_fields → u/roed/ramified_extensions_of_general_p_adic_rings_and_fields 

comment:95 Changed 4 years ago by
Branch:  u/roed/ramified_extensions_of_general_p_adic_rings_and_fields → u/caruso/ramified_extensions_of_general_p_adic_rings_and_fields 

comment:96 Changed 4 years ago by
Branch:  u/caruso/ramified_extensions_of_general_p_adic_rings_and_fields → u/roed/ramified_extensions_of_general_p_adic_rings_and_fields 

comment:97 Changed 4 years ago by
Commit:  8576c59d682a5984a8b878bd58f521e8a7324bf8 → fda2c7d412df29ce8aa7a4e13c5a2e21db144762 

Branch pushed to git repo; I updated commit sha1. New commits:
fda2c7d  Adding documentation and fixing minor issues

comment:98 Changed 4 years ago by
Commit:  fda2c7d412df29ce8aa7a4e13c5a2e21db144762 → dc2df561ca58b0f389617c5ec2f9c5c57cc06269 

Branch pushed to git repo; I updated commit sha1. New commits:
46744d6  Make _quo_rem more easily accessible to the user

c0da7de  Update documentation

c8ae6a7  Move the generic implementation of _quo_rem back from 23218

9662550  Merge branch 'u/roed/quo_rem_revision' of git://trac.sagemath.org/sage into t/21994/quo_rem_revision

162b44d  Fixing doctests, bad argument in floordiv

dc2df56  Merge branch 't/21994/quo_rem_revision' into t/23218/ramified_extensions_of_general_p_adic_rings_and_fields

comment:99 Changed 4 years ago by
Branch:  u/roed/ramified_extensions_of_general_p_adic_rings_and_fields → u/caruso/ramified_extensions_of_general_p_adic_rings_and_fields 

comment:100 Changed 4 years ago by
Commit:  dc2df561ca58b0f389617c5ec2f9c5c57cc06269 → e639faebca801514e900f5e913b79003c5b02124 

comment:101 Changed 4 years ago by
I think we're planning on ignoring the pyflakes plugin; that's a task for another ticket.
We did leave in the _unit
debugging method for relative_ramified_FP.pyx
. That should either get removed or documented.
I can finish this off in the next few days if you don't get a chance before your flight.
comment:102 Changed 4 years ago by
Commit:  e639faebca801514e900f5e913b79003c5b02124 → 319f6d49427c7a138aaf2ef31628c5ccb571be19 

Branch pushed to git repo; I updated commit sha1. New commits:
319f6d4  Remove the debugging method _unit

comment:103 Changed 4 years ago by
I removed the method _unit
.
The plugin startup_module
says:
startup_modules Failed startup_modules  3 seconds
but I don't understand what's the problem.
New commits:
319f6d4  Remove the debugging method _unit

comment:104 Changed 4 years ago by
The latest patchbot report reports failures, but I think that they are not related to this ticket. Do you agree?
comment:105 Changed 4 years ago by
Status:  needs_review → positive_review 

I agree. And the startup_module is just checking that new modules aren't unintentionally added to Sage when they shouldn't be. Since we're intending to, it's no problem.
I think we're all set!
comment:106 Changed 4 years ago by
Milestone:  sage8.0 → sage8.4 

comment:107 Changed 4 years ago by
Branch:  u/caruso/ramified_extensions_of_general_p_adic_rings_and_fields → 319f6d49427c7a138aaf2ef31628c5ccb571be19 

Resolution:  → fixed 
Status:  positive_review → closed 
New commits:
Initial files to work on for 23218