Showing 1–5 of 5 results for author: Doris, C

Exact $p$-adic computation in Magma

Authors: Christopher Doris

Abstract: We describe a new arithmetic system for the Magma computer algebra system for working with $p$-adic numbers exactly, in the sense that numbers are represented lazily to infinite $p$-adic precision. This is the first highly featured such implementation. This has the benefits of increasing user-friendliness and speeding up some computations, as well as forcibly producing provable results. We give th… ▽ More We describe a new arithmetic system for the Magma computer algebra system for working with $p$-adic numbers exactly, in the sense that numbers are represented lazily to infinite $p$-adic precision. This is the first highly featured such implementation. This has the benefits of increasing user-friendliness and speeding up some computations, as well as forcibly producing provable results. We give theoretical and practical justification for its design and describe some use cases. The intention is that this article will be of benefit to anyone wanting to implement similar functionality in other languages. △ Less

Submitted 24 August, 2020; originally announced August 2020.

Comments: 22 pages, 2 figures. arXiv admin note: text overlap with arXiv:1805.09794

Computing the Galois group of a polynomial over a $p$-adic field

Authors: Christopher Doris

Abstract: We present a family of algorithms for computing the Galois group of a polynomial defined over a $p$-adic field. Apart from the "naive" algorithm, these are the first general algorithms for this task. As an application, we compute the Galois groups of all totally ramified extensions of $\mathbb{Q}_2$ of degrees 18, 20 and 22, tables of which are available online. We present a family of algorithms for computing the Galois group of a polynomial defined over a $p$-adic field. Apart from the "naive" algorithm, these are the first general algorithms for this task. As an application, we compute the Galois groups of all totally ramified extensions of $\mathbb{Q}_2$ of degrees 18, 20 and 22, tables of which are available online. △ Less

Submitted 12 March, 2020; originally announced March 2020.

Comments: 39 pages; tables at https://cjdoris.github.io/pAdicGaloisGroupTables; accepted by IJNT

MSC Class: 11S20

ExactpAdics: An exact representation of p-adic numbers

Authors: Christopher Doris

Abstract: We describe two new packages ExactpAdics and ExactpAdicsII for the Magma computer algebra system for working with p-adic numbers exactly, in the sense that numbers are represented lazily to infinite p-adic precision. This has the benefits of increasing user-friendliness and speeding up some computations, as well as forcibly producing provable results. The two packages use different methods for laz… ▽ More We describe two new packages ExactpAdics and ExactpAdicsII for the Magma computer algebra system for working with p-adic numbers exactly, in the sense that numbers are represented lazily to infinite p-adic precision. This has the benefits of increasing user-friendliness and speeding up some computations, as well as forcibly producing provable results. The two packages use different methods for lazy evaluation, which we describe and compare in detail. The intention is that this article will be of benefit to anyone wanting to implement similar functionality in other languages. △ Less

Submitted 24 May, 2018; originally announced May 2018.

Comments: 55 pages; code available from https://cjdoris.github.io/ExactpAdics and https://cjdoris.github.io/ExactpAdics2

On enumerating extensions of p-adic fields with given invariants

Authors: Christopher Doris

Abstract: We give a brief re-exposition of the theory due to Pauli and Sinclair of ramification polygons of Eisenstein polynomials over p-adic fields, their associated residual polynomials and an algorithm to produce all extensions for a given ramification polygon. We supplement this with an algorithm to produce all ramification polygons of a given degree, and hence we can produce all totally ramified exten… ▽ More We give a brief re-exposition of the theory due to Pauli and Sinclair of ramification polygons of Eisenstein polynomials over p-adic fields, their associated residual polynomials and an algorithm to produce all extensions for a given ramification polygon. We supplement this with an algorithm to produce all ramification polygons of a given degree, and hence we can produce all totally ramified extensions of a given degree. △ Less

Submitted 21 March, 2018; originally announced March 2018.

Comments: 15 pages; code available from https://cjdoris.github.io/pAdicExtensions

3-torsion and conductor of genus 2 curves

Authors: Tim Dokchitser, Christopher Doris

Abstract: We give an algorithm to compute the conductor for curves of genus 2. It is based on the analysis of 3-torsion of the Jacobian for genus 2 curves over 2-adic fields. We give an algorithm to compute the conductor for curves of genus 2. It is based on the analysis of 3-torsion of the Jacobian for genus 2 curves over 2-adic fields. △ Less

Submitted 11 May, 2018; v1 submitted 19 June, 2017; originally announced June 2017.

Comments: 16 pages

MSC Class: 11G20; 14D10; 11F80; 11G30