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: (expand/hide all)