4 ms·
I'm not sure, but maybe it is due to that the expression a - b can be replaced as a + (-b)? Similarly, I think a * b and a / b can be replaced with the same tr
by stevefan1999 2mo ago
I'm not sure, but maybe it is due to that the expression a - b can be replaced as a + (-b)?
Similarly, I think a * b and a / b can be replaced with the same trick, but then I realized it may not work on non-abelian, or where multiplicative inverse is not available...
- Sharlin 2mo agoWe’re in the semiring of positive integers, so there are no additive (or multiplicative) inverses.