Function matrix_double_serialize

tools/python/src/matrix.cpp:111–114

}

void matrix_double_serialize(const matrix<double>& m, const std::string& file)
{
    serialize(file) << m;
}

void matrix_double_deserialize(matrix<double>& m, const std::string& file)
{