Manuscript IX-D-ST@1 · IX-D-ST.tex · section · b1dc631a
Actual-relation consistency and analytical obligations
Actual-relation consistency and analytical obligations · lines 1300–1306
This is the actual-tensor criterion of IX-E
IXE ({:algebraic}).
It tests finite relations among any number of prescribed
tensors, not only pairwise double-ordering consistency.
Nearby in this section
- section: Actual-relation consistency and analytical obligations
- theorem: Theorem: Algebraic extension criterion
- requirement: Requirement: Analytical completion of the binary target
- section: Actual-relation consistency and analytical obligations
- theorem: Theorem: Conditional binary subtraction
- theorem: Theorem: IX-E-ST stage release
- section: Actual-relation consistency and analytical obligations