# Larger Projects

These are large projects that will improve the state of p-adics and local rings in Sage. For each I've tried to estimate the difficulty (which takes into account both the amount of code to be written and any technical challenges I currently forsee), and an opinion on how important the completion of this project is. Note that some of these projects depend on others; these dependencies can be found on the project pages and are NOT included in the estimated difficulty.

Each project page should eventually contain the following information, though many are still in progress:

• Goal -- the ability to create arbitrary absolute extensions of Qp and Zp, given a monic unramified polynomial f over Zp and an Eisenstein polynomial with coefficients in the extension of Zp defined by f.

• Priority -- High

• Difficulty -- Hard

• Goal -- Finally finish incorporating the changes of #6084, which conceptually splits the precision a polynomial is defined up to from an approximation of the coefficients.

• Priority -- High

• Difficulty -- Hard

• Goal -- Define Hensel lifting for roots and factorizations of polynomials over Henselian rings.

• Priority -- High

• Difficulty -- Medium-Easy

• Goal -- Implement specialized algorithms to work with matrices, vectors and modules over quotients of discrete valuation rings.

• Priority -- High

• Difficulty -- Medium-High

• Goal -- Separate the precision for matrices and vectors from the approximation of their entries.

• Priority -- High

• Difficulty -- Hard

• Goal -- Implement algorithms for factoring polynomials over local fields. Define extensions of local fields using any polynomial.

• Priority -- High

• Difficulty -- Hard

• Goal -- Make the command "K.completion(p, absprec=30)" work when K is a number field and p is a prime of K

• Priority -- Medium-High

• Difficulty -- Medium-Easy

• Goal -- Implement unramified and Eistenstein extensions of Zp and Qp (the one-step extensions) using templates. Switch the other finite field classes to using templates.

• Priority -- Medium-Low

• Difficulty -- Medium

• Goal -- Write new classes of elements, analogous to IntegerMod_int and IntegerMod_int64 for the case that self.unit or self.value fits into machine precision.

• Priority -- Medium-Low

• Difficulty -- Medium

• Goal -- Design a specialized p-adic extension type for cyclotomic extensions of Qp and Zp. Design element classes for unramified extensions that take advantage of a Gauss normal basis for faster arithmetic.

• Priority -- Medium

• Difficulty -- Medium-Hard

• Goal -- revamp univariate power series rings to hew more closely to the syntax of p-adics (relative and absolute precision; capped-rel, capped-abs and fixed-mod rings types; no more elements of infinite precision (except 0 in a capped-relative ring)

• Priority -- Low

• Difficulty -- Easy

• Goal -- Separate precision from approximation for power series. Include precision types that give information about the valuations for ALL coefficients (not just the first n). Write functions for solving p-adic differential equations.

• Priority -- Medium-Low

• Difficulty -- Medium-Hard

• Goal -- Continue to improve multivariate power series, building on the work in #1956. Create the ability to work with different precision types for multivariate power series and laurent series.

• Priority -- Medium-Low

• Difficulty -- Medium-Hard

• Goal -- Write a specialized class for matrices over Zmod(n) for n > 46341

• Priority -- High

• Difficulty -- Medium

• Goal -- Implement relative extensions of p-adic fields

• Priority -- High

• Difficulty -- Medium

• Priority -- Medium

• Difficulty -- Easy

• Goal -- Implement Witt vectors over a general ring

• Priority -- Low

• Difficulty -- Easy

• Goal -- Translate the infrastructure for Galois groups of number field to Galois groups of p-adic fields and implement some native algorithms to compute them.

• Priority -- Low (because it's long term and many of the capabilities already exist in Pari)

• Difficulty -- High

• Goal -- Create extensions from other extensions using operations such as intersection, compositum and listing subfields. They should be provided with appropriate coercion maps.

• Priority -- High

• Difficulty -- High

• Goal -- Create new parent classes for infinite towers (or more generally just infinite extensions) over Qp and Zp, e.g. maximal unramified extension, p^n roots of 1 or of p...

• Priority -- Low

• Difficulty -- High

• Goal -- Implement restricted power series and elements of restricted powerseries

• Priority -- Low

• Difficulty -- Easy

# Smaller Projects

These are smaller projects that are hopefully more accessible to someone new to p-adics in Sage or with less time to devote. The difficulty range for these projects has been rescaled to account for the fact that they're all shorter than the projects above.

• Goal -- Optimize inversion in Zp, Qp, and extensions by finding the right choice of precision at which to use extended gcd and then lift with newton's method

• Priority -- High

• Difficulty -- Medium-Hard

• Goal -- Create an option for Zq and Qq to generate their defining polynomial by lifting from GF(p)[x] to a factor of x^q-1 (as opposed to lifting naively)

• Priority -- Medium

• Difficulty -- Medium

• Goal -- Fix implementation of p-adic exponential and logarithm maps for extensions.

• Priority -- Medium-High

• Difficulty -- Medium

• Goal -- Implementation of nth root for Zp, Qp and extensions

• Priority -- High

• Difficulty -- Medium

• Goal -- implement functions such as Artin-Hasse exponential and p-adic gamma function that exist in Magma.

• Priority -- Low

• Difficulty -- Medium

• Goal -- implement a function to test if totally ramified extensions are isomorphic, and to determine whether a polynomial has enough precision to specify an extension uniquely up to isomorphism

• Priority -- Medium

• Difficulty -- Medium

# External Projects

These are external projects that will benefit p-adics and local rings in Sage.

• Goal -- write C code on top of Flint (1 or 2) for optimized computations in p-adic extensions.

padics (last edited 2012-02-19 22:15:51 by roed)