_flint_set_num_workers
Synopsis
#include <flint/thread_support.h>void _flint_set_num_workers(int num_workers)sourceSets the number of workers the calling thread may start, without the check of flint_set_num_workers. Used by the pool when waking a thread.
Cite this page
The FLINT team, “_flint_set_num_workers (thread_support.h),” FLINT: Fast Library for Number Theory, documentation, version 3.7.0-dev, 2026. https://flintlib.org/doc/thread_support/_flint_set_num_workers.html (generated 2026-10-20).
@misc{flint-doc-thread-support-flint-set-num-workers,
author = {{The FLINT team}},
title = {{\_flint\_set\_num\_workers (thread\_support.h)}},
howpublished = {FLINT: Fast Library for Number Theory, documentation, version 3.7.0-dev},
year = {2026},
url = {https://flintlib.org/doc/thread_support/_flint_set_num_workers.html},
note = {Generated 2026-10-20}
}