subcyclopclgp (3/3)
bit 1 of flag: finish and certify all computations;
bit 2 of flag: don’t compute anything about A+;
bit 4 of flag: don’t compute anything about A−
.
E.g., flag = 1 + 4 (always) computes fully A−
but doesn’t compute anything about A+
.
Atelier 2022 (13/01/2022) – p. 7/13