C.29:4.1.1 - Transfer the result through the operations

A source operation or result is available, and you need to use it through another representation. Use C.29.1 - Mathematical Result Transfer to recover the operation and its permissions, compare performing then mapping with mapping then performing, and test whether choosing another represented source case changes the answer.

Its Solution constructs a transferable consequence, a justified bound or a specific repair of the correspondence. It also separates a receiving operation that gives a useful relaxation from one whose result can be realized as a source action. The reservation and route-cost entries in :7.1–:7.2 lead to its worked constructions.