Skip to content

Too small precision in HeuristicEndomorphismFieldAsSplittingField() returns wrong results #74

@shiva-chid

Description

@shiva-chid
P<x> := PolynomialRing(Rationals());
f := 6394*x^6 + 31183*x^5 + 20576*x^4 - 437722*x^3 + 411052*x^2 - 201058*x + 43872;
X := SimplifiedModel(HyperellipticCurveOfGenus(2,f));

for prec in [30, 100, 1000] do
    try
        EndfieldGalgrp, Endfieldpols := HeuristicEndomorphismFieldAsSplittingField(ChangeRing(X,RationalsExtra(prec)));
        print prec, #EndfieldGalgrp;
    catch e;
        print prec, e;
    end try;
end for;

returns

30 322560
100 Runtime error: Failed to find minimal polynomial using LLL. Try increasing 
the precision.
1000 2

Metadata

Metadata

Assignees

No one assigned

    Labels

    No labels
    No labels

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions