Manuscript XVI-O1-ST@5 · XVI-O1-ST-v5.tex · section · dd45e0d1
The supplied restricted hh obstruction
Free-complex exactness and the missing enlarged image › The supplied restricted hh obstruction · lines 1539–1586
XVI-O1-ST@5#rec:restricted
The predecessor reports testing the pole derivative against the image of
in its 13-generator dimension-two -presentation. For the relaxed map allowing independent in
it reports on a 15-structure space
Fixed-normalization failures, including the listed tests, are also reported. The four-dimensional projection is reported to have rank five on six structures and to accept both the derivative and the undifferentiated pole SuppliedBot.
The full generator list, ambient basis, matrices, original minors, and left-kernel rows are absent from the supplied artifacts. The relaxed rank report is not extended to additional parameters and is not newly re-certified.
Define the named source-relative obstruction
If the reported ranks hold for those actual arrays, this class is nonzero at , because adjoining the target raises rank. That excludes only the tested class. The four-dimensional test is nondiscriminating in the reported comparison, not invalid for every purpose.
A complete rank-seven image certificate on 15 rows needs an original minor and an complete left-kernel matrix, with a nonzero target pairing.
Displayed formulas in this passage
unlabeled · line 1545
unlabeled · line 1550
unlabeled · line 1554
unlabeled · line 1572