Prove that P104 has no rank-8 complex realisation over any field: a 14-port Hall obstruction (no κ) - #6846

Prove that P104 has no rank-8 complex realisation over any field: a 14-port Hall obstruction (no κ)#6846

Mister-Meeseeks merged 1 commit into

CrocSwap:mainCrocSwap/integer-mult-bounds:mainfrom

DreamingOfClouds:research/p104-rank8-hall-obstructionDreamingOfClouds/integer-mult-bounds:research/p104-rank8-hall-obstructionCopy head branch name to clipboard