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

Back to manuscript

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

Nearby in this section