 class="shortcomment cmt">Since BP uses division to compute messages, the semiring has to have a division function defined
and must be log convertable.</p><div class="fullcomment"><div class="comment cmt"><p>Since BP uses division to compute messages, the semiring has to have a division function defined
and must be log convertable.
Note that BP operates in log space and any semiring must be log convertible
If you define a non-log semiring, it will automatically convert, and convert it back to normal space a