Opened 12 months ago
Last modified 9 months ago
#26195 closed enhancement
Tate algebras — at Version 16
Reported by:  caruso  Owned by:  

Priority:  major  Milestone:  sage8.5 
Component:  padics  Keywords:  
Cc:  TristanVaccon, ghThibautVerron, caruso, roed  Merged in:  
Authors:  Reviewers:  
Report Upstream:  N/A  Work issues:  
Branch:  u/caruso/tate_algebras (Commits)  Commit:  8446736d3e9bb14d60b6688f8d258f8a47cb66f6 
Dependencies:  Stopgaps: 
Description (last modified by )
This ticket implements Tate algebras over complete discrete valuation rings/fields, together with Gröbner bases for ideals in these algebras.
Small demo:
sage: R = Zp(2, 10, print_mode='digits') sage: A.<x,y> = TateAlgebra(R) sage: f = x^2 + 2*x + x*y^3 + 4*y + y sage: g = y^2*x^3 + 2*x + x^2 + 2*x^4*y sage: I = A.ideal([f,2*g]) sage: J = A.ideal([f,g]) sage: I.groebner_basis() [(...0000000001)*x*y^3 + (...0000000001)*x^2 + (...0000000101)*y + (...00000000010)*x, (...1110001010)*x^2 + (...1010000100)*y^3 + (...1100010100)*x + (...1001101000)*x^2*y^2 + (...0011101000)*y + (...1111110000)*y^2 + (...0000100000)*x^2*y + (...1100100000)*x*y^2 + (...0010100000)*x*y + O(2^10), (...1111000010)*y + (...1010110100)*y^8 + (...1110011100)*y^3 + (...0100001000)*y^6 + (...0001110000)*y^7 + (...0111010000)*y^5 + (...0011100000)*y^2 + (...1001000000)*y^4 + O(2^10)] sage: J.groebner_basis() [(...0111000101)*x^2 + (...1101000010)*y^3 + (...1110001010)*x + (...0100110100)*x^2*y^2 + (...0001110100)*y + (...0111111000)*y^2 + (...0000010000)*x^2*y + (...1110010000)*x*y^2 + (...0001010000)*x*y + O(2^10), (...0111100001)*y + (...0101011010)*y^8 + (...0111001110)*y^3 + (...1010000100)*y^6 + (...0000111000)*y^7 + (...0011101000)*y^5 + (...1001110000)*y^2 + (...0100100000)*y^4 + O(2^10)] sage: I.is_saturated() False sage: Io = I.saturate() sage: J.is_saturated() True sage: Io == J
Change History (16)
comment:1 Changed 12 months ago by
 Branch set to u/caruso/tate_algebras
comment:2 Changed 12 months ago by
 Branch changed from u/caruso/tate_algebras to u/ghThibautVerron/TateAlgebras
 Commit set to b8a6ac3ef7ac5f8608e1ff30beb59ced9b85c357
comment:3 Changed 12 months ago by
 Branch changed from u/ghThibautVerron/TateAlgebras to u/caruso/TateAlgebras
comment:4 Changed 12 months ago by
 Commit changed from b8a6ac3ef7ac5f8608e1ff30beb59ced9b85c357 to 9ca2244a01a165e24431e9d58acf5054484d0cb3
comment:5 Changed 12 months ago by
 Commit changed from 9ca2244a01a165e24431e9d58acf5054484d0cb3 to 05cf0414d5afae999fdc1f8000075571d9accd52
Branch pushed to git repo; I updated commit sha1. New commits:
05cf041  Restriction + small fix in inverse_of_unit

comment:6 Changed 12 months ago by
 Commit changed from 05cf0414d5afae999fdc1f8000075571d9accd52 to 5d0e354ec45b362282840aa32d2b4cbd0856285f
Branch pushed to git repo; I updated commit sha1. New commits:
5d0e354  Fix bugs in quo_rem

comment:7 Changed 12 months ago by
 Cc TristanVaccon added; vaccon removed
comment:8 Changed 12 months ago by
 Branch changed from u/caruso/TateAlgebras to u/ghThibautVerron/tate_algebras
 Commit changed from 5d0e354ec45b362282840aa32d2b4cbd0856285f to 5abdb64bf364a1459e1b8e771219274fe1e35172
comment:9 Changed 12 months ago by
 Branch changed from u/ghThibautVerron/tate_algebras to u/caruso/tate_algebras
comment:10 Changed 12 months ago by
 Branch changed from u/caruso/tate_algebras to u/ghThibautVerron/tate_algebras
comment:11 Changed 12 months ago by
 Commit changed from 5abdb64bf364a1459e1b8e771219274fe1e35172 to 78003937e854ba0699ec507d41cd41f7e81d2af8
Branch pushed to git repo; I updated commit sha1. New commits:
7800393  Revert changes to .dirlocals.el

comment:12 Changed 12 months ago by
 Commit changed from 78003937e854ba0699ec507d41cd41f7e81d2af8 to 2383ba0acfb017721ec55ac44d790f0a1aba81f9
Branch pushed to git repo; I updated commit sha1. New commits:
2383ba0  Fixed tests

comment:13 Changed 12 months ago by
 Cc caruso added
comment:14 Changed 12 months ago by
 Branch changed from u/ghThibautVerron/tate_algebras to u/caruso/tate_algebras
comment:15 Changed 12 months ago by
 Commit changed from 2383ba0acfb017721ec55ac44d790f0a1aba81f9 to 8446736d3e9bb14d60b6688f8d258f8a47cb66f6
Branch pushed to git repo; I updated commit sha1. New commits:
8446736  Bug fixed in TateAlgebraTerms & more functionalities for ideals

comment:16 Changed 12 months ago by
 Description modified (diff)
Note: See
TracTickets for help on using
tickets.
Branch pushed to git repo; I updated commit sha1. New commits:
First working version