FLINT3.7.0-dev

bool_mat_is_transitive

Synopsis#include <flint/bool_mat.h>
int bool_mat_is_transitive(const bool_mat_t mat)source

Returns 1 if Aij∧Ajk  ⟹  AikA_{ij} \wedge A_{jk} \implies A_{ik} for all i,j,ki, j, k, that is, if A2≤AA^2 \le A entrywise, and 0 otherwise. Requires a square matrix; uses O(n3)O(n^3) operations.

Cite this page

The FLINT team, “bool_mat_is_transitive (bool_mat.h),” FLINT: Fast Library for Number Theory, documentation, version 3.7.0-dev, 2026. https://flintlib.org/doc/bool_mat/bool_mat_is_transitive.html (generated 2026-11-02).