FLINT3.7.0-dev

fmpz_mod_mat_strong_echelon_form

Synopsis#include <flint/fmpz_mod_mat.h>
void fmpz_mod_mat_strong_echelon_form(fmpz_mod_mat_t mat, const fmpz_mod_ctx_t ctx)source

Transforms mat into its strong echelon form [FieHof2014], which equals the Howell form up to the order of the rows. mat must have at least as many rows as columns.

Guides#

References#

  • [FieHof2014] Fieker C. and Hofmann T.: "Computing in quotients of rings of integers" LMS Journal of Computation and Mathematics, 17(A), 349-365
Cite this page

The FLINT team, “fmpz_mod_mat_strong_echelon_form (fmpz_mod_mat.h),” FLINT: Fast Library for Number Theory, documentation, version 3.7.0-dev, 2026. https://flintlib.org/doc/fmpz_mod_mat/fmpz_mod_mat_strong_echelon_form.html (generated 2026-10-20).