Searched defs:coefficient_normal_form (Results 1 – 1 of 1) sorted by relevance
23325 coefficient_normal_form = in libcrux_ml_kem_polynomial_subtract_reduce_ea() local24588 coefficient_normal_form = in libcrux_ml_kem_polynomial_add_error_reduce_ea() local24879 coefficient_normal_form = in libcrux_ml_kem_polynomial_add_message_error_reduce_ea() local25551 coefficient_normal_form = libcrux_ml_kem_polynomial_to_standard_domain_ea(myself->data[j]); in libcrux_ml_kem_polynomial_add_standard_error_reduce_ea() local