signed_log_plus.md

SignedLogWeight Plus

Let $w_1 = (s_1, x_1)$ and $w_2 = (s_2, x_2)$ be two elements of ${-1, 1} \times [-\infty, \infty]$.

Let $z_1 = s_1 e^{-x_1}$ and $z_2 = s_2 e^{-x_2}$.

Then $w_1 \oplus w_2 = (\text{sgn}(z_1 + z_2), -\log |z_1 + z_2|)$.