flint矩阵与linbox的接口