Anatole Dedecker

With Vincent's agreement, I pushed some changes directly on the branch because it was the occasion to add quite a bunch of API and that was easier to do than...

> I will need some time to process all the mk_pi stuff Yeah don't worry about that, I see a lot of people struggling with this and the multiple variations...

I am really sorry for leaving that rotting for a month, it got lost into my chaotic todo list for the beginning of the year. Your last comment about all...

Okay if you think the absolutely convex approach will be useful anyway, let's merge this (I'll fix the build error). It shouldn't be too hard to swap one approach for...

Ok, I'm convinced! Let's wait for CI to finish and then I'll merge it (I don't think I can delegate further).

bors r+

Yes I've thought about making a type alias before (it's written in the TODO section of the module docstring with a question mark), but I'm not sure there will be...

I'll ask on Zulip this evening. I would say it's not super annoying, but maybe I just got used to it.

bors r+

bors r+