Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source
Page
Library
Module
Module type
Parameter
Class
Class type
Source
sub
in signature of a base fieldFf.MakeFp
and Ff.MakeFp2
factor_power_of_two
in PRIME
module type and implement it in Ff.MakeFp
.sqrt
in PRIME
module type and implement it in Ff.MakeFp
using Tonelli-Shanks algorithm.