Manuscript II@2 · II.tex · section · 50d64def
Original pivot columns
Complete matrix encoding and the finite certificate › Original pivot columns · lines 1538–1544
The insertion has , hence trace . These pivots use the traceful gauge direction. Adding would change the domain and remove these particular contractions.