Logic
Synopsis
#include <flint/fexpr_builtin.h>LogicLogic(x) denotes x, but logical connectives within x are rendered with symbols instead of words, as with FEXPR_LATEX_LOGIC: Logic(And(P, Not(Q))) (P \,\land\, \neg Q).
Cite this page
The FLINT team, “Logic (fexpr_builtin.h),” FLINT: Fast Library for Number Theory, documentation, version 3.7.0-dev, 2026. https://flintlib.org/doc/fexpr_builtin/Logic.html (generated 2026-10-20).
@misc{flint-doc-fexpr-builtin-Logic,
author = {{The FLINT team}},
title = {{Logic (fexpr\_builtin.h)}},
howpublished = {FLINT: Fast Library for Number Theory, documentation, version 3.7.0-dev},
year = {2026},
url = {https://flintlib.org/doc/fexpr_builtin/Logic.html},
note = {Generated 2026-10-20}
}