[codex] Add Mersenne31 circle domain skeleton#3

adrienlacombe wants to merge 3 commits into

pr257-mersenne31-baseadrienlacombe/CompPoly:pr257-mersenne31-basefrom

feat/mersenne31-circle-domainadrienlacombe/CompPoly:feat/mersenne31-circle-domainCopy head branch name to clipboard