search

MCLF / mclf

A Sage toolbox for computations with Models of Curves over Local Fields
GNU General Public License v2.0
7 stars 4 forks source link

Optimize affinoid domain #111

Closed swewers closed 5 years ago

swewers commented 5 years ago

New version with improved creation of affinoid domains.

There is a new module piecewise_affine_functions, realizing the classes Domain, DirectedPath, AffineFunction and PiecewiseAffineFunction. One can create the valuative function corresponding to a rational power of a rational function, and then create the rational subdomain defined by this function. This replace the class RationalDomainOnBerkovichLine.

To compute the union of a finite list of affinoid domains, one can now use UnionOfAffinoidDomains.

All in all, this makes the computation of the etale locus of a superelliptic curve of degree p must faster.

Also, the documentation has been improved in many places, and some obsolete functions have been removed.

swewers commented 5 years ago

The test for Sage-8.2 and 8.3 fail, but this is only because in newer versions of Sage find slightly different (and simpler) key polynomials, which then gives different but still correct output in doctest.