We gratefully acknowledge support from
the Simons Foundation and member institutions.
Full-text links:

Download:

Current browse context:

cs.SC

Change to browse by:

cs

References & Citations

DBLP - CS Bibliography

Bookmark

(what is this?)
CiteULike logo BibSonomy logo Mendeley logo del.icio.us logo Digg logo Reddit logo ScienceWISE logo

Computer Science > Symbolic Computation

Title: Signature-based algorithms for Gr{ö}bner bases over Tate algebras

Authors: Xavier Caruso (LFANT), Tristan Vaccon (XLIM-MATHIS), Thibaut Verron (JKU)
Abstract: Introduced by Tate in [Ta71], Tate algebras play a major role in the context of analytic geometry over the-adics, where they act as a counterpart to the use of polynomial algebras in classical algebraic geometry. In [CVV19] the formalism of Gr{\"o}bner bases over Tate algebras has been introduced and effectively implemented. One of the bottleneck in the algorithms was the time spent on reduction , which are significantly costlier than over polynomials. In the present article, we introduce two signature-based Gr{\"o}bner bases algorithms for Tate algebras, in order to avoid many reductions. They have been implemented in SageMath. We discuss their superiority based on numerical evidences.
Comments: ISSAC 2021 - International Symposium on Symbolic and Algebraic Computation, Jul 2020, Kalamata / Virtual, Greece
Subjects: Symbolic Computation (cs.SC)
DOI: 10.1145/3373207.3404035
Cite as: arXiv:2002.04491 [cs.SC]
  (or arXiv:2002.04491v2 [cs.SC] for this version)

Submission history

From: Thibaut Verron [view email]
[v1] Tue, 11 Feb 2020 15:47:40 GMT (41kb,D)
[v2] Mon, 10 May 2021 09:43:01 GMT (24kb)

Link back to: arXiv, form interface, contact.