p-adics Meetings

[David Roe]

Thanks to everyone who participated in Sage Days 87 last week!  For those of you who weren't there, you can find a description of the projects at https://wiki.sagemath.org/days87/projects, and a list of related tickets at https://trac.sagemath.org/query?keywords=~sd87&col=id&col=summary&col=status&col=type&col=priority&col=milestone&col=component&order=status.  See below for a scheduling poll about meeting up online to continue working.

Some of the projects ended having made great progress, but still needing a bit more to get into Sage.  In particular, the following just need review (I've only included the tickets focused on p-adics):

* #21212 and #23534 -- fixing bugs in pade and adding rational reconstruction for polynomials.

* #21557 -- random overconvergent modular symbols

* #23471 -- conversion between p-adic fields with same defining polynomial.

* #23478 -- determinants of p-adic matrices

* #23486 -- echelon form of p-adic matrices

And the following need a bit more work:

* #12657 -- Faster Frobenius.  Needs updating based on some review comments

* #12561 -- p-adic factoring. Adding section to reference manual, maybe better integration of FrameElts with Sage.

* #21869 -- Julian's big MacLane ticket.  Only a few more failing tests and some dependencies (#23185, #23190, #23510 and #23525; #23525 would be a good beginner ticket)

* #23218 -- Eisenstein extensions of unramified extensions.  Need to fix a few dependencies and add a bit more code.

* #23450 -- Smith form of p-adic matrices.

* #14825 -- Polynomial representation of elements of p-adic extensions.  Have to fix a segfault.

* #18749 and #23461 -- p-adic Grobner bases.

* #23331 -- Exact defining polynomials for p-adic extensions.  Waiting on next beta for merge conflict.

* #12560 -- Artin-Hasse exponential.  Clean up old code; it merges successfully.

* #20260 -- p-adic polylogarithms.  Think some more about precision and address review comments.

... and more!

It would be great if any of you would like to continue helping out.  We're also trying to schedule some time to get together online; if you're interested in participating, fill out http://whenisgood.net/q954knc (make sure to select your time zone at the top and fill in your name at the bottom right).  We'll try to keep these going on a somewhat regular basis.

I'm really excited at the improvements we've made and looking forward to making more!

David

[David Roe]

We'll be meeting online next Thursday, August 3 at noon EDT, 9am PDT, 5pm CET.  I'll send out an announcement next week with details on how to join us.

Looking forward to seeing you!

David

[Xavier Caruso]

Hello guys,

Currently QpFM (the p-adic field with fixed modulus) is not
supported:

sage: R = ZpFM(5)
sage: R.fraction_field()
Traceback (most recent call last):
...
TypeError: This implementation of the p-adic ring does not support fields of fractions.

Is there a good reason for that?
(According to me, there is no mathematical obstruction.)

I asked the question because I would like to use it for the implementation
of lattice precision.

--Xavier

[David Roe]

There's no fixed-modulus p-adic field, but the fraction field should be QpFP(5).  See https://trac.sagemath.org/ticket/23510

For a non-toy implementation of lattice precision, I think the right solution is another precision type (paralleling FP_template.pxi etc).  I'd be happy to help....

David

--Xavier

--
You received this message because you are subscribed to the Google Groups "sage-padics" group.
To unsubscribe from this group and stop receiving emails from it, send an email to sage-padics+unsubscribe@googlegroups.com.
For more options, visit https://groups.google.com/d/optout.

[Xavier Caruso]

Le vendredi 28 juillet 2017, David Roe a écrit :
> There's no fixed-modulus p-adic field, but the fraction field should
> be QpFP(5).  See https://trac.sagemath.org/ticket/23510

Oh, I missed this ticket.
Why don't you want to have QpFM?

--Xavier

[David Roe]

We'll be meeting tomorrow at noon EDT, 9am PDT, 5pm CET.  We'll be using IRC, which you can access via your favorite client (join the room #sagemath on chat.freenode.net) or at http://www.sagemath.org/help-irc.html.

There are lots of things to review, and we'll also be around to talk about new features you might be interested in.  Hope to see you tomorrow!

David

[David Roe]

Hi everyone,

The meeting went well, with record attendance of four people!  We'll be trying to hold these somewhat regularly; I propose next Tuesday at noon EDT for the next one.

Some progress from today:

#14825 (polynomial method for p-adic elements), #20310 (change method for p-adic parents), #23190 (is_injective/is_surjective improvements), #23471 (p-adic conversions), #13591 (add_bigoh improvements), #23510 (fraction fields of fixed-mod rings), #23229 (caching fraction_field) now need review.

#23331 (exact defining polynomials), #23525 (is_squarefree for p-adics), #23184 <-almost (polynomial ring embeds in its fraction field) have positive review.

I also have some questions about how coercion/conversion to residue rings should work (e.g. the map from Zp(5) to Zmod(5^4)).  If you'd like to offer an opinion, see #8240.

Hope to see you next week!

David

[David Roe]

Just a reminder that we'll be meeting shortly.  This time, we'll gather on zulip.sagemath.org rather than IRC.

David

[David Roe]

I'll be at Sage Days 88 with Kiran this week, so we're adjusting the time to fit with the coding sprint schedule.  You're welcome to join us on Wednesday from 12-1pm EDT, 6pm-7pm CEST on zulip.sagemath.org.  You can also probably find me on Zulip during the other coding sprints Tuesday-Friday this week (https://www.ima.umn.edu/2017-2018.2/W8.21-25.17#schedule)

David

[David Roe]

Hi everyone,

We'll be meeting soon, though probably starting about 15 minutes late (the workshop is running a bit behind).  Meet us on zulip.sagemath.org.

David

[David Roe]

Hi everyone,

We'll be gathering again on Wednesday on zulip.sagemath.org at noon EDT, 6pm CEST; I'll probably be around for much of the afternoon.  Everyone is welcome.

David

[David Roe]

I was traveling last week, but I'll be working on p-adics again tomorrow (Wednesday) at noon EDT, 6pm CEST on zulip.sagemath.org.  Everyone is welcome to join.

David

[David Roe]

I'll be on Zulip again this week on Wednesday at noon EDT, 6pm CEST.

David

[David Roe]

After a hiatus, I'll be on Zulip again tomorrow at noon EDT, 6pm CEST.  Let me know if you're planning on joining me.

David