Shrink coefficients in Mac Lane algorithm

[saraedum]

As a followup to #25397, let's try to shrink coefficients even further, using the ideas from ​https://github.com/MCLF/mclf/pull/60/files.

This also speeds up things overall. All the valuation tests took 406s on my machine before and now take 314s.

[saraedum]

New commits:

​c1af2bb

WIP

[git]

Branch pushed to git repo; I updated commit sha1. This was a forced push. New commits:

​5890fdd	Better element_with_valuation for function fields
​59221ba	Implement restrictions/element_with_valuation in more places
​f87b794	Merge remote-tracking branch 'trac/develop' into 25397
​076b369	Merge remote-tracking branch 'trac/develop' into 25397
​3592f74	Merge branch '25397' into 25607
​e71ad33	Shrink coefficients in valuations

[saraedum]

swewers: If you want to review this (I hope you do ;) This is really a somewhat wild mix of all kinds of ideas and little errors that I found. I can split it up into more isolated bits if you think it's overwhelming like that.

In the end I did not really take any new ideas from your pull request. I think that everything that's in there already existed (just some things did not work/were not called.) If you have any additional ideas in how to improve this, I would be very interested of course :)

[saraedum]

Btw., the doctests in mclf still works with this. Very few outputs change because the centers of affinoids are now sightly simpler.

Failed example:
    Y.etale_locus()
Expected:
    Affinoid with 3 components:
    Elementary affinoid defined by
    v(x) >= 3/4
    Elementary affinoid defined by
    v(x + 7) >= 5/4
    Elementary affinoid defined by
    v(x + 2) >= 5/4
Got:
    Affinoid with 3 components:
    Elementary affinoid defined by 
    v(x) >= 3/4
    Elementary affinoid defined by 
    v(x - 2) >= 5/4
    Elementary affinoid defined by 
    v(x + 2) >= 5/4
    <BLANKLINE>

[swewers]

This is great! Thanks.

[tscrim]

Real name in the reviewers field.

[swewers]

Soem pyflakes errors.

[saraedum]

The pyflakes errors are already fixed in another ticket that touches padic_valuation. Let's ignore them here to avoid merge conflicts.

[git]

Branch pushed to git repo; I updated commit sha1 and set ticket back to needs_review. New commits:

​0650440	Merge remote-tracking branch 'trac/develop' into 25607
​8d2324a	Merge develop and 25607

[saraedum]

just merged in develop. back to positive review.