λEnter Calculus CompanionRegistered manuscripts, kept distinct

Manuscript IX-D@3 · IX-D-v3.tex · section · 3ad4586e

D2: support of the constructed free outputs

D2: support of the constructed free outputs · lines 1023–1054

Back to manuscript

{}1.14

Functional	Metric support bound	Scalar support bound
Functional	Metric support bound	Scalar support bound
$B_{f}$	$P_{F}$	$F$
$W_{g}$	$G$	$\emptyset$
$Q_{f, g}$	$G$	$F$
$Q^{R}_{g, f^{'}}$	$G$	$F^{'}$
$T_{f, f^{'}}$	$P_{F} \cup P_{F^{'}}$	$\emptyset$
$G_{12}$	$G \cup P_{F^{'}}$	$F \cup F^{'}$
$G_{23}$	$P_{F} \cup G$	$F \cup F^{'}$
$G_{13}$	$P_{F} \cup P_{F^{'}} \cup G$	$\emptyset$
$G_{12, 23}$	$\emptyset$	$F \cup F^{'}$
$G_{12, 13}$	$G \cup P_{F^{'}}$	$\emptyset$
$G_{13, 23}$	$P_{F} \cup G$	$\emptyset$
$B_{f} W_{g} B_{f^{'}}$	$P_{F} \cup G \cup P_{F^{'}}$	$F \cup F^{'}$

Nearby in this section