Sympy-exact integer witness of Baldwin's four canonical-test-case ring-closure flags. Setup: encode the Baldwin-rules truth table as sp.Integer(0/1) values for each of the four diagnostic cases. Flags: flag_5_exo_tet = 1 (favored — the…
Sympy-exact integer witness of Baldwin's four canonical-test-case ring-closure flags. Setup: encode the Baldwin-rules truth table as sp.Integer(0/1) values for each of the four diagnostic cases. Flags: flag_5_exo_tet = 1 (favored — the…