Function binius_core::composition::index::index_composition

source ·

pub fn index_composition<E, C, const N: usize>(
    superset: &[E],
    subset: [E; N],
    composition: C
) -> Result<IndexComposition<C, N>, Error>where
    E: PartialEq,

Expand description

A factory helper method to create an IndexComposition by looking at

superset - a set of identifiers of a greater (outer) query
subset - a set of identifiers of a smaller query, the one which corresponds to the inner composition directly

Identifiers may be anything Eq - OracleId, MultilinearPolyOracle<F>, etc.