Ethiopian multiplication: Difference between revisions

Content added Content deleted
Line 822: Line 822:
#import nat
#import nat


emul = sum:-0@rS+ odd@l*~+ ^|(~&,double)|\+ *-^|\~& @iNC ~&h->tx :^/half@h ~&
emul = sum:-0@rS+ odd@l*~+ ^|(~&,double)|\+ *-^|\~& @iNC ~&h~=0->tx :^/half@h ~&
</lang>
</lang>