Searched defs:coefficient_normal_form (Results 1 – 1 of 1) sorted by relevance
9081 coefficient_normal_form = in libcrux_ml_kem_polynomial_subtract_reduce_89_d4() local10317 coefficient_normal_form = in libcrux_ml_kem_polynomial_add_error_reduce_89_38() local10437 coefficient_normal_form = in libcrux_ml_kem_polynomial_add_message_error_reduce_89_ea() local11254 coefficient_normal_form = in libcrux_ml_kem_polynomial_add_standard_error_reduce_89_03() local