Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source
Page
Library
Module
Module type
Parameter
Class
Class type
Source
Compressed.Scalar
Sourceminimal number of bytes required to encode a value of the field.
check_bytes bs
returns true
if bs
is a correct byte representation of a field element
is_one x
returns true
if x
is the neutral element for the multiplication
random ()
returns a random element of the field. A state for the PRNG can be given to initialize the PRNG in the requested state. If no state is given, no initialisation is performed
non_null_random ()
returns a non null random element of the field. A state for the PRNG can be given to initialize the PRNG in the requested state. If no state is given, no initialisation is performed
negate x
returns -x mod order
. Equivalently, negate x
returns the unique y
such that x + y mod order = 0
inverse_opt x
returns x^-1
if x
is not 0
as an option, else None
div_opt a b
returns a * b^-1
as an option. Return None
if b = zero
From a predefined bytes representation, construct a value t. It is not required that to_bytes of_bytes_exn t = t. Raise Not_in_field
if the bytes do not represent an element in the field.
From a predefined bytes representation, construct a value t. It is not required that to_bytes (Option.get (of_bytes_opt t)) = t. By default, little endian encoding is used and the given element is modulo the prime order