show · av.fq.frobenius_angles_correctness all knowls · up · search:

The angle rank is computed by applying the LLL algorithm to the Frobenius angles computed to 500 bits of precision. While this provides a high degree of confidence, it does not constitute a rigorous upper or lower bound on the angle rank.

Authors:
Knowl status:
• Review status: reviewed
• Last edited by Kiran S. Kedlaya on 2017-08-02 18:37:55
Referred to by:
History: