Elektrine lite

← Feed

@harold@mastodon.gamedev.place

2026-03-14 14:10 UTC

Some relationships between expressions. Arrow from X to Y means that X is unsigned ≥ Y. addus is addition with unsigned saturation, subus is subtraction with unsigned saturation, avg_down is the average rounded down.

Replies (1)

  • addus(A, B) and subus(A, B)/subus(B, A) are not in top-to-bottom mirror-image positions of each other .. what can I say, it just is that way. Even avg_down(A, B) (or avg_up which I didn't include) is sometimes less than subus(A, B)

    Open ##1337314