Closed rbommel closed 4 years ago
I had a look at this, and tried to improve n_wild
a bit, it should now do approximately the right thing, but there are a lot of problems.
The main one is that we need to take the smallest field generated by a root, and I try this with minimal_polynomial, which doesn't work for composite extensions of local fields in Sage yet it seems.
The other one is that I take galois of roots, but this has precision issues as you saw before, it would be better to take the galois action on size 1 clusters to make use of what you already did, but seeing as there are such obvious problems still I didn't bother yet. It would be good to write down some tests that we know are "easy" i.e. there is only a degree 2 or 3 or 4 extension involved or something, yet n_wild > 0
.
For now skipping p = 3 for genus 2 curves whenever this fails seems like all we can do.
Yeah, I think it is better to wait for Sage to improve its p-adic machinery, allowing for factorisation over these extensions, and then also extensions of extensions, hopefully.
John Jones' webpage which looks to be based on pari/gp scripts has some pretty useful looking functionality, https://math.la.asu.edu/~jj/localfields/ . It can decompose any algebra into a product of local fields, and gives many relevant bits of info, maybe we can use these scripts somehow from within sage.
Yeah, another option is to look up the field in the LMFDB. But I feel that the problem should be easier. We already have defining polynomials.
Well we have defining polys for the full field of all roots, but even they are relative extensions in many cases. For this we really need to get the fields for the separate roots. And Sage won't take minpolys over these stacked extensions yet. But yes LMFDB lookup is also an option. John's page seems more powerful though as you can type any equation.
I don't think you can type in anything. It seems to be based on a finite database. But maybe you are right that the interface is nicer, could be.
Of course I don't mean any equation. But you can type in a p and an equation defining an algebra, not just a field, and get its decomposition as a product of local fields. As far as I know the lmfdb doesnt have any lookup by polynomial functionality for local fields at all.
Yeah, I think that's true. The best you can get is listing all fields with certain parameters, and then testing in which one your polynomial has a root.
I got the following error: