Manuscript Em01-G@5 · Em01-G-v5.tex · section · 3fbfe951

Exact positive-placement reduction and evaluated coefficient

Exact positive-placement reduction and evaluated coefficient · lines 1555–1573

Work in the $5 +$ chart

κ_{+} (c, s, t, y) = (c, c + s, c - t, y) .

For a joint test write $Φ_{J} = Φ_{J} \circ κ_{+}$ , and set

T_{J, β ρ} = \partial_{t^{β}} \partial_{t^{ρ}} Φ_{J}, T_{J, β ρ ν} = \partial_{t^{β}} \partial_{t^{ρ}} \partial_{y^{ν}} Φ_{J} .

Every $t$ -derivative acts on the test only. The coefficient $f$ below means $f (c + s)$ .

Displayed formulas in this passage

unlabeled · line 1559
$κ_{+} (c, s, t, y) = (c, c + s, c - t, y) .$
unlabeled · line 1563
$T_{J, β ρ} = \partial_{t^{β}} \partial_{t^{ρ}} Φ_{J}, T_{J, β ρ ν} = \partial_{t^{β}} \partial_{t^{ρ}} \partial_{y^{ν}} Φ_{J} .$