mul_monomials

Function mul_monomials 

Source
fn mul_monomials<F: Neg<Output = F> + Clone + One + Zero + PartialEq, Column: Ord + Copy + Hash>(
    e1: &HashMap<Vec<Variable<Column>>, Expr<F, Column>>,
    e2: &HashMap<Vec<Variable<Column>>, Expr<F, Column>>,
) -> HashMap<Vec<Variable<Column>>, Expr<F, Column>>
where ExprInner<F, Column>: Literal, <ExprInner<F, Column> as Literal>::F: Field,