Manuscript II@2 · II.tex · section · 50d64def
Rank factorization with an original minor
Complete matrix encoding and the finite certificate › Rank factorization with an original minor · lines 1585–1595
A nonzero minor of an arbitrary left factor would not suffice. For instance,
has but . Here the lower bound is valid because the minor is an actual minor of the original evaluated matrix.
Displayed formulas in this passage
unlabeled · line 1589