pub fn compose<F>(
    poly_1: &Polynomial<FieldElement<F>>,
    poly_2: &Polynomial<FieldElement<F>>
) -> Polynomial<FieldElement<F>>where
    F: IsField,