TY - UNPB
T1 - Signature-based algorithms for Gröbner bases over Tate algebras
AU - Caruso, Xavier
AU - Vaccon, Tristan
AU - Verron, Thibaut
PY - 2020
Y1 - 2020
N2 - 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ö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ö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.
AB - 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ö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ö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.
UR - https://arxiv.org/abs/2002.04491
U2 - 10.48550/arXiv.2002.04491
DO - 10.48550/arXiv.2002.04491
M3 - Preprint
T3 - arXiv.org
BT - Signature-based algorithms for Gröbner bases over Tate algebras
ER -