HnfDecomposition

From MaRDI portal