Searched defs:coefficient_normal_form (Results 1 – 1 of 1) sorted by relevance
9085 coefficient_normal_form = in libcrux_ml_kem_polynomial_subtract_reduce_89_d4() local10321 coefficient_normal_form = in libcrux_ml_kem_polynomial_add_error_reduce_89_38() local10441 coefficient_normal_form = in libcrux_ml_kem_polynomial_add_message_error_reduce_89_ea() local11258 coefficient_normal_form = in libcrux_ml_kem_polynomial_add_standard_error_reduce_89_03() local