> My mistake, but the errors let me think it was sage's fault. I typed > pAdicRing(3,prec="lazy") > which gets accepted. Doing anything with the ring afterwards leads to > the > above error. You should probably validate all construction parameters > at construction time.
Sounds like a good idea. We'll put some in. > On second thought, yes, possibly you can. Your Valuation(polyquoelt) > would be min([n*valuation(polyquoelt[i])+i for i in 0..n-1]) > and similar for precision. > The problems will arise when you start working with precisions that > are not > a nice multiple of the extension degree n, i.e., what if you want to > find the unit part > of pi+3+O(pi^3) > where pi=sqrt(3) in Z_3? Yeah. Precision there bears more thinking on. I was actually even considering having precisions and valuations normalized so that valuation(p) = 1, and then only integral precisions would be allowed. I'm not sure whether I like this idea though... > > We haven't yet decided how to do this. Generally, we're trying to > > have fields be uniquely determined by the parameters that define > > them. We could have no automatic coercion from the number field to > > the localization and have the user have to use __call__ instead. > > Maybe syntax like def __call__(self, x, absprec = None, place = None) > > where place determines the embedding of K into Q5? Feel free to share > > any thoughts you have on this. > > The place can't be a parameter on the receiving end. (imagine places > of higher degrees?) > I wouldn't mind a field homomorphism K -> K_p that you have to call > explicitly. Sure. I added lift_to_precision, specifying precision at creation time for p- adic elements and polynomials with p-adic coefficients, xgcds of polynomials with coefficients in Qq last night. Generally, I'm going to have two .hg files available for download for anyone who's interested. sage.math.washington.edu/home/padicgroup/ semistable-version.hg will have a version that passes all doctests. That means I'm sending it off to William, but if you want it faster you can get it from there. And sage.math.washington.edu/home/padicgroup/development-version.hg has the most recent version. I'll only update that when the code builds, but I don't guarantee anything about doctests. David --~--~---------~--~----~------------~-------~--~----~ To post to this group, send email to [email protected] To unsubscribe from this group, send email to [EMAIL PROTECTED] For more options, visit this group at http://groups.google.com/group/sage-devel URLs: http://sage.scipy.org/sage/ and http://modular.math.washington.edu/sage/ -~----------~----~----~----~------~----~------~--~---
