Manuscript IX-C@1 · IX-C.tex · section · 03ce8e6b

The calibrated scalar relation tests

Actual-functional descent of the second stage › The calibrated scalar relation tests · lines 863–877

Since $f^{'} \mapsto B_{f^{'}}$ is injective, define

n_{c}^{L} : E_{L} \otimes T \to C, n_{c}^{L} (f \otimes g \otimes f^{'}) = N_{c} (f, g, f^{'}) .

Define similarly

n_{c}^{R} : T \otimes E_{R} \to C, n_{c}^{R} (f \otimes g \otimes f^{'}) = N_{c} (f, g, f^{'}) .

Displayed formulas in this passage

unlabeled · line 866
$n_{c}^{L} : E_{L} \otimes T \to C, n_{c}^{L} (f \otimes g \otimes f^{'}) = N_{c} (f, g, f^{'}) .$
unlabeled · line 872
$n_{c}^{R} : T \otimes E_{R} \to C, n_{c}^{R} (f \otimes g \otimes f^{'}) = N_{c} (f, g, f^{'}) .$