pub fn determinant<R>(a: Vec<Vec<R::Element>>, ring: &R) -> R::Elementwhere R: ZZ + Copy, R::Element: ZZElem,
$\mathbb{Z} / m \mathbb{Z}$上で行列式を求める。