Module FastFixedPointVec

Function add_fixed_fv_unchecked

Adding a scalar to all elements of a fixed-point vector.

Function add_fv

Adding two fixed-point vectors elementwise, checked, very slow.

Function add_fv_exact

Adding two fixed-point vectors elementwise, increases the len by 1 to guarantee fitting, very fast.

Function add_fv_unchecked

Adding two fixed-point vectors elementwise, unchecked, very fast.

Function add_prefixed_fv_unchecked

Adding a constant to all elements of a fixed-point vector.

Function check_fv

Checking that each element of a fixed-point vector fits in len bits. The same as checked_fv but without returning the input vector.

Function checked_fv

Returning the same fixed-point vector after checking that each element fits in len bits. Can be applied to the result of functions with the suffix _unchecked to make them safe. Sometimes it is possible to make several _unchecked operations in a row before calling the expensive checked_fv, as long as the intermediate results do not overflow the modulus (but they do not have to fit into len bits). For example, three fixed-point vectors can be added together by checked_fv(add_fv_unchecked(xs, add_fv_unchecked(ys, zs))), calling checked_fv only once rather than twice. This is safe if 3*(2^len - 1) < N.

Function decrease_len_fv_unchecked

Decreasing the len of each element of a fixed-point vector without checking for fitting into the new len bits.

Function div_fixed_fv

Dividing a scalar by each element of a fixed-point vector.

Function div_fv

Dividing two fixed-point vectors elementwise.

Function empty_fv

An empty fixed-point vector.

Function fv_checked

Creating a fixed-point vector, checking for fitting in len bits.

Function fv_unchecked

Creating a fixed-point vector without checking for fitting in len bits.

Function ge_fv_fixed

Comparing each element of the input fixed-point vector xv with a scalar y. Returns a fixed-point vector with the same number of elements as xv, with the ith element being 1 if xv[i] >= y and 0 otherwise.

Function increase_pplen_fv

Increasing pplen of each element of a fixed-point vector to a given value and increasing the len to keep len - pplen the same as before.

Function le_fv_fixed

Comparing each element of the input fixed-point vector xv with a scalar y. Returns a fixed-point vector with the same number of elements as xv, with the ith element being 1 if xv[i] <= y and 0 otherwise.

Function make_unknown_fv

Removing values from the wire range corresponding to the fixed-point vector, to make circuit generation faster if the values are no longer needed in $pre.

Function max_fixed_fv

The ith element of the output is the maximum of the scalar and the ith element of the input fixed-point vector.

Function max_fv

Elementwise maximum of two fixed-point vectors.

Function min_fixed_fv

The ith element of the output is the minimum of the scalar and the ith element of the input fixed-point vector.

Function min_fv

Elementwise minimum of two fixed-point vectors.

Function mul_fixed_fv_exact

Multiplying all elements of a fixed-point vector by a scalar, no rounding, fast, the len and pplen of the result are the sum of the len and pplen of the arguments, respectively.

Function mul_fixed_uv_unchecked

Multiplying all elements of an integer vector by a fixed-point scalar, unchecked, fast.

Function mul_fv

Multiplying two fixed-point vectors elementwise, rounding, slow.

Function mul_fv_exact

Multiplying two fixed-point vectors elementwise, no rounding, fast, the len and pplen of the result are the sum of the len and pplen of the arguments, respectively.

Function mul_prefixed_fv_exact

Multiplying all elements of a fixed-point vector by a constant, no rounding, fast, the len and pplen of the result are the sum of the len and pplen of the arguments, respectively.

Function mul_uint_fv_unchecked

Multiplying all elements of a fixed-point vector by an integer scalar, unchecked, fast.

Function mul_uv_fv_unchecked

Multiplying an integer vector and a fixed-point vector elementwise, unchecked, fast.

Function negate_fv

Negating (multiplying by -1) the elements of a fixed-point vector.

Function round_down_fv

Decreasing the pplen of each element of a fixed-point vector by rounding down (towards minus infinity) some of the final bits.

Function round_down_fv_to_half

Rounding down half of the bits after the point of each element of a fixed-point vector, can be used after mul_fv_exact to get back to the original len and pplen.

Function round_down_fv_to_int

Rounding each element of a fixed-point vector down to an integer (taking the floor of each element).

Function round_down_fv_unchecked

Unchecked version of round_down_fv, about twice as fast.

Function scalar_prod_uv_fv_unchecked

The scalar product (dot product) of an integer vector and a fixed-point vector, unchecked.

Function slice_fv

A slice of another fixed-point vector, including elements with indices from i1 (inclusive) to i2 (exclusive).

Function sqrt_fv

Taking a square root of all elements of a fixed-point vector.

Function sub_fv

Subtracting two fixed-point vectors elementwise, checked, very slow.

Function sub_fv_unchecked

Subtracting two fixed-point vectors elementwise, unchecked, very fast.

Function sum_fv_unchecked

The sum of the elements of a fixed-point vector, unchecked.

Function thaw_fv

Converting a fixed-point vector to a list of fixed-point scalars.

Function uv_to_fv_unchecked

Converting an integer vector into a fixed-point vector, unchecked.