Closed jvoight closed 5 years ago
Wrote a quick function, it works on:
QQ := RationalsExtra(200); _<x> := PolynomialRing(QQ); X := HyperellipticCurve([-x^5,x^3+x+1]); CertifiedEndomorphismAlgebra(X, X![0,-1]);
Commented out because it would be nice not to have to specify the point (and to make one via quadratic twist), and it breaks when we need to base change to the field of definition--but presumably this isn't too much to add.
Wrote a quick function, it works on:
Commented out because it would be nice not to have to specify the point (and to make one via quadratic twist), and it breaks when we need to base change to the field of definition--but presumably this isn't too much to add.