|
Macaulay2 Engine
|
|
private |
Definition at line 750 of file gb-sugarless.cpp.
References COMP_COMPUTING, COMP_DONE_GB_LIMIT, COMP_DONE_PAIR_LIMIT, COMP_DONE_SUBRING_LIMIT, COMP_DONE_SYZ_LIMIT, n_computed, n_gb, n_subring, n_syz, and Computation::stop_.
Referenced by start_computation().