pub fn inner_product_subfield<F, FSub>(
a: impl IntoIterator<Item = FSub>,
b: impl IntoIterator<Item = F>,
) -> Fwhere
F: Field + ExtensionField<FSub>,
FSub: Field,pub fn inner_product_subfield<F, FSub>(
a: impl IntoIterator<Item = FSub>,
b: impl IntoIterator<Item = F>,
) -> Fwhere
F: Field + ExtensionField<FSub>,
FSub: Field,