Searched defs:coefficient (Results 1 – 2 of 2) sorted by relevance
8364 libcrux_ml_kem_vector_portable_vector_type_PortableVector coefficient = in libcrux_ml_kem_serialize_deserialize_then_decompress_10_2c() local8428 libcrux_ml_kem_vector_portable_vector_type_PortableVector coefficient = in libcrux_ml_kem_serialize_deserialize_then_decompress_11_8d() local8733 libcrux_ml_kem_vector_portable_vector_type_PortableVector coefficient = in libcrux_ml_kem_serialize_deserialize_then_decompress_4_41() local9184 libcrux_ml_kem_vector_portable_vector_type_PortableVector coefficient = in libcrux_ml_kem_serialize_compress_then_serialize_message_aa() local9360 libcrux_ml_kem_vector_portable_vector_type_PortableVector coefficient = in libcrux_ml_kem_serialize_deserialize_to_reduced_ring_element_4c() local10529 libcrux_ml_kem_vector_portable_vector_type_PortableVector coefficient = in libcrux_ml_kem_serialize_compress_then_serialize_10_fc() local10590 libcrux_ml_kem_vector_portable_vector_type_PortableVector coefficient = in libcrux_ml_kem_serialize_compress_then_serialize_11_e1() local10701 libcrux_ml_kem_vector_portable_vector_type_PortableVector coefficient = in libcrux_ml_kem_serialize_compress_then_serialize_4_9a() local11329 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