Manuscript IX-Free@1 · IX-Free.tex · section · 33b20e96
F2: evaluated scalar descent
F2: evaluated scalar descent · lines 771–782
Define the combined scalar relation space
Pairing its joint tests with defines , respectively.
Displayed formulas in this passage
unlabeled · line 774
Nearby in this section
- section: F2: evaluated scalar descent
- lemma: Lemma: Full support of the mixed kernel
- lemma: Lemma: Compact distributions have no constant primitive
- theorem: Theorem: Injective partial-contraction presentations
- corollary: Corollary: Evaluation of the parent-parameter test
- section: F2: evaluated scalar descent