Rank-9 realisations of the E8 pattern with extra zeros (≤ 3 per row and column) are B-form or A2: philippeVV's R1 in that regime (no κ claim) - #2864

Rank-9 realisations of the E8 pattern with extra zeros (≤ 3 per row and column) are B-form or A2: philippeVV's R1 in that regime (no κ claim)#2864

Mister-Meeseeks merged 1 commit into

CrocSwap:mainCrocSwap/integer-mult-bounds:mainfrom

DreamingOfClouds:research/e8-rank9-extra-zerosDreamingOfClouds/integer-mult-bounds:research/e8-rank9-extra-zerosCopy head branch name to clipboard