Searched defs:coefficient (Results 1 – 2 of 2) sorted by relevance
8368 libcrux_ml_kem_vector_portable_vector_type_PortableVector coefficient = in libcrux_ml_kem_serialize_deserialize_then_decompress_10_2c() local8432 libcrux_ml_kem_vector_portable_vector_type_PortableVector coefficient = in libcrux_ml_kem_serialize_deserialize_then_decompress_11_8d() local8737 libcrux_ml_kem_vector_portable_vector_type_PortableVector coefficient = in libcrux_ml_kem_serialize_deserialize_then_decompress_4_41() local9188 libcrux_ml_kem_vector_portable_vector_type_PortableVector coefficient = in libcrux_ml_kem_serialize_compress_then_serialize_message_aa() local9364 libcrux_ml_kem_vector_portable_vector_type_PortableVector coefficient = in libcrux_ml_kem_serialize_deserialize_to_reduced_ring_element_4c() local10533 libcrux_ml_kem_vector_portable_vector_type_PortableVector coefficient = in libcrux_ml_kem_serialize_compress_then_serialize_10_fc() local10594 libcrux_ml_kem_vector_portable_vector_type_PortableVector coefficient = in libcrux_ml_kem_serialize_compress_then_serialize_11_e1() local10705 libcrux_ml_kem_vector_portable_vector_type_PortableVector coefficient = in libcrux_ml_kem_serialize_compress_then_serialize_4_9a() local11333 libcrux_ml_kem_vector_portable_vector_type_PortableVector coefficient = in libcrux_ml_kem_serialize_serialize_uncompressed_ring_element_5b() local
5644 unsigned coefficient = SrcTy.getNumElements() * MoreTy.getNumElements(); in moreElementsVector() local