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: sage-8.5
Component: padics Keywords:
Cc: TristanVaccon, gh-ThibautVerron, 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 caruso)

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 caruso

  • Branch set to u/caruso/tate_algebras

comment:2 Changed 12 months ago by gh-ThibautVerron

  • Branch changed from u/caruso/tate_algebras to u/gh-ThibautVerron/TateAlgebras
  • Commit set to b8a6ac3ef7ac5f8608e1ff30beb59ced9b85c357

comment:3 Changed 12 months ago by caruso

  • Branch changed from u/gh-ThibautVerron/TateAlgebras to u/caruso/TateAlgebras

comment:4 Changed 12 months ago by git

  • Commit changed from b8a6ac3ef7ac5f8608e1ff30beb59ced9b85c357 to 9ca2244a01a165e24431e9d58acf5054484d0cb3

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

9ca2244First working version

comment:5 Changed 12 months ago by git

  • Commit changed from 9ca2244a01a165e24431e9d58acf5054484d0cb3 to 05cf0414d5afae999fdc1f8000075571d9accd52

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

05cf041Restriction + small fix in inverse_of_unit

comment:6 Changed 12 months ago by git

  • Commit changed from 05cf0414d5afae999fdc1f8000075571d9accd52 to 5d0e354ec45b362282840aa32d2b4cbd0856285f

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

5d0e354Fix bugs in quo_rem

comment:7 Changed 12 months ago by caruso

  • Cc TristanVaccon added; vaccon removed

comment:8 Changed 12 months ago by gh-ThibautVerron

  • Branch changed from u/caruso/TateAlgebras to u/gh-ThibautVerron/tate_algebras
  • Commit changed from 5d0e354ec45b362282840aa32d2b4cbd0856285f to 5abdb64bf364a1459e1b8e771219274fe1e35172

New commits:

fa4e37aFirst docstring
5abdb64Merge branch 'u/caruso/TateAlgebras' of git://trac.sagemath.org/sage into t/26195/TateAlgebras

comment:9 Changed 12 months ago by caruso

  • Branch changed from u/gh-ThibautVerron/tate_algebras to u/caruso/tate_algebras

comment:10 Changed 12 months ago by gh-ThibautVerron

  • Branch changed from u/caruso/tate_algebras to u/gh-ThibautVerron/tate_algebras

comment:11 Changed 12 months ago by git

  • Commit changed from 5abdb64bf364a1459e1b8e771219274fe1e35172 to 78003937e854ba0699ec507d41cd41f7e81d2af8

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

7800393Revert changes to .dir-locals.el

comment:12 Changed 12 months ago by git

  • Commit changed from 78003937e854ba0699ec507d41cd41f7e81d2af8 to 2383ba0acfb017721ec55ac44d790f0a1aba81f9

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

2383ba0Fixed tests

comment:13 Changed 12 months ago by caruso

  • Cc caruso added

comment:14 Changed 12 months ago by caruso

  • Branch changed from u/gh-ThibautVerron/tate_algebras to u/caruso/tate_algebras

comment:15 Changed 12 months ago by git

  • Commit changed from 2383ba0acfb017721ec55ac44d790f0a1aba81f9 to 8446736d3e9bb14d60b6688f8d258f8a47cb66f6

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

8446736Bug fixed in TateAlgebraTerms & more functionalities for ideals

comment:16 Changed 12 months ago by caruso

  • Description modified (diff)
Note: See TracTickets for help on using tickets.