Open jvoight opened 7 months ago
geoendorep := HeuristicEndomorphismRepresentation(X : Geometric := true);
is the "Button".
Alternatively,
> _<x> := PolynomialRing(RationalsExtra(100));
> X := HyperellipticCurve(f);
> geoendorep := GeometricEndomorphismRepresentation(X);
I aim to " fix" the *Extra
world at some point, but for now, it's not a high priority for me.
Yes, not a high priority.
I also love heuristic buttons, but I think this should still work.
I think we just need to assign the default complex numbers when the base ring is the rationals.