Picking a non WP point bug

[edgarcosta]

> P<x> := PolynomialRing(Rationals());
> C:= HyperellipticCurve(x^5 + 8*x^4 + 18*x^3 + 16*x^2 - 4*x);
> CertifiedEndomorphismAlgebra(C: Geometric := true);

CertifiedEndomorphismAlgebra(
    X: Hyperelliptic Curve defined by y^2 = x^5 + 8*x^4 + 18*x^3 + ...
)
Correspondence(
    X: Hyperelliptic Curve defined by y^2 = x^5 + 8*x^4 + 18*x^3 + ...,
    Y: X,
    mor: [* [1/6*($.1^11 + 4*$.1^10 - 2*$.1^8 - 9*$.1^7 + 3*$.1^5 + 1...
)
CantorFromMatrixAmbientSplit(
    X: Hyperelliptic Curve defined by y^2 = x^5 + 8*x^4 + 18*x^3 + ...,
    P0: (1 : 0 : 0),
    Y: X,
    Q0: (1 : 0 : 0),
    M: [1/6*($.1^11 + 4*$.1^10 - 2*$.1^8 - 9*$.1^7 + 3*$.1^5 + 10*$...
)
InitializeCurve(
    X: X,
    P0: (1 : 0 : 0)
)
In file
"/home/kedlaya/code/CHIMP/endomorphisms/endomorphisms/magma/puiseux/Initialize.m",
line 195, column 21:
>> if AssertNonWP then assert not IsWeierstrassPlace(Place(X ! P0)); end if;

reported by @kedlaya