Result

Source

Subterm− Input

Subterm u Input

Subterm+ Input

Surplus

Sum

Carried

αk(−)

αk(u)

0

γk

Ψk

Subterm− Output

ρk(−−)

ρk(−u)

0

βk(−)

Yk(−)

Subterm u Output

0

0

0

+

+

Subterm+ Output

0

0

0

βk(+)

Yk(+)

Sum

Xk(−)

Xk(u)

0

Ωk