Searched defs:coefficient (Results 1 – 2 of 2) sorted by relevance
7234 libcrux_ml_kem_vector_portable_vector_type_PortableVector coefficient = in libcrux_ml_kem_serialize_deserialize_then_decompress_10_ea() local7540 libcrux_ml_kem_vector_portable_vector_type_PortableVector coefficient = in libcrux_ml_kem_serialize_deserialize_then_decompress_4_ea() local7941 libcrux_ml_kem_vector_portable_vector_type_PortableVector coefficient = in libcrux_ml_kem_serialize_compress_then_serialize_message_ea() local8157 libcrux_ml_kem_vector_portable_vector_type_PortableVector coefficient = in libcrux_ml_kem_serialize_deserialize_to_reduced_ring_element_ea() local9200 libcrux_ml_kem_vector_portable_vector_type_PortableVector coefficient = in libcrux_ml_kem_serialize_compress_then_serialize_10_ff() local9481 libcrux_ml_kem_vector_portable_vector_type_PortableVector coefficient = in libcrux_ml_kem_serialize_compress_then_serialize_4_ea() local10215 libcrux_ml_kem_vector_portable_vector_type_PortableVector coefficient = in libcrux_ml_kem_serialize_serialize_uncompressed_ring_element_ea() local
6340 unsigned coefficient = SrcTy.getNumElements() * MoreTy.getNumElements(); in moreElementsVector() local