Result

Source

Subterm 1 Input

Subterm 2 Input

Subterm t Input

Surplus

Sum

Carried

αk(1)

αk(2)

αk(t)

γk

Ψk

Subterm 1 Output

ρk(11)

ρk(12)

ρk(1t)

βk(1)

Yk(1)

Subterm 2 Output

ρk(21)

ρk(22)

ρk(2t)

βk(2)

Yk(2)

Subterm t Output

ρk(t1)

ρk(t2)

ρk(tt)

βk(t)

Yk(t)

Sum

Xk(1)

Xk(2)

Xk(t)

Ωk