Function contraction_fixed_point 

pub fn contraction_fixed_point<const N: usize, F>(
    map: F,
    initial: Vector<N>,
    contraction_factor: f64,
    tolerance: f64,
    max_iterations: u32,
) -> Result<FixedPointCertificate<N>, AnalysisError>
where
    F: Fn(Vector<N>) -> Vector<N>,