FLINT3.7.0-dev

padic_mat_mul

Synopsis#include <flint/padic_mat.h>
void padic_mat_mul(padic_mat_t C, const padic_mat_t A, const padic_mat_t B, const padic_ctx_t ctx)source

Sets C to AB, reduced. The integer matrices are multiplied with fmpz_mat_mul (Multiplying matrices over the integers), the valuations are added, and the product is canonicalised and reduced: unlike for polynomials, the product of two canonical matrices may be divisible by p. Allows aliasing.

Cite this page

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