FPRD LabShare an approach

theorem

Theorem 8.7

Receipt-rope recurrence

Theorem 8.7 (Receipt-rope recurrence). Let ρb\rho_b be the header receipt of Ωb(Y)\Omega_b(Y). For c≠bc\ne b, Ωc(Y)={undefined,Ωc(L) undefined,Ωc(L)⋅(b,ρb)⋅body⁡Ωb(Y),otherwise,\Omega_c(Y)= \begin{cases} \text{undefined},&\Omega_c(L)\text{ undefined},\\ \Omega_c(L)\cdot(b,\rho_b)\cdot\operatorname{body}\Omega_b(Y),&\text{otherwise}, \end{cases} and, whenever Zc(Y)Z_c(Y) is defined, Zc(Y)=Zc(L)⋅(b,ρb)⋅body⁡Ωb(Y).Z_c(Y)=Z_c(L)\cdot(b,\rho_b)\cdot\operatorname{body}\Omega_b(Y).