Refactoring mnorm and extend_vector into ddm_fpt_lib