bool_mat_mul, bool_mat_sqr
Synopsis
#include <flint/bool_mat.h>void bool_mat_mul(bool_mat_t res, const bool_mat_t mat1, const bool_mat_t mat2)sourcevoid bool_mat_sqr(bool_mat_t B, const bool_mat_t A)sourceSet res to the matrix product, \mathit{res}_{ij} = \bigvee_k (\mathit{mat1}_{ik} \wedge \mathit{mat2}_{kj}), and B to A^2. The product is computed by the classical algorithm with early exit, in O(rck) operations. Throws an exception if the dimensions are incompatible.
Cite this page
The FLINT team, “bool_mat_mul, bool_mat_sqr (bool_mat.h),” FLINT: Fast Library for Number Theory, documentation, version 3.7.0-dev, 2026. https://flintlib.org/doc/bool_mat/bool_mat_mul.html (generated 2026-10-20).
@misc{flint-doc-bool-mat-bool-mat-mul,
author = {{The FLINT team}},
title = {{bool\_mat\_mul, bool\_mat\_sqr (bool\_mat.h)}},
howpublished = {FLINT: Fast Library for Number Theory, documentation, version 3.7.0-dev},
year = {2026},
url = {https://flintlib.org/doc/bool_mat/bool_mat_mul.html},
note = {Generated 2026-10-20}
}