`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)source

void bool_mat_sqr(bool_mat_t B, const bool_mat_t A)source

Set 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-11-02).

@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-11-02}
}

Edit this page · PDF version · Built with fdoc from 0a4634bf95