Module fp_math

bonfida_utils

Module fp_math 

Source

Constants§

FP_32_ONE

Functions§

fp32_div
a is fp0, b is fp32 and result is a/b fp0
fp32_mul_ceil
a is fp0, b is fp32 and result is a*b fp0
fp32_mul_floor
a is fp0, b is fp32 and result is a*b fp0
fp64_div
a is fp0, b is fp64 and result is a/b fp0
fp64_mul_ceil
a is fp0, b is fp64 and result is a*b fp0
fp64_mul_floor
a is fp0, b is fp64 and result is a*b fp0
ifp32_div
a is fp0, b is fp32 and result is a/b fp0
ifp32_mul_ceil
a is fp0, b is fp32 and result is a*b fp0
ifp32_mul_floor
a is fp0, b is fp32 and result is a*b fp0