4 ms·
3-4=5 in Z6, the modulo group with six elements. See http://en.wikipedia.org/wiki/Modular_arithmetic http://en.wikipedia.org/wiki/Modular_arithmetic
by bdr 17y ago
3-4=5 in Z6, the modulo group with six elements. See http://en.wikipedia.org/wiki/Modular_arithmetic http://en.wikipedia.org/wiki/Modular_arithmetic
- fserb 17y agoBut you would never define it like this in Haskell... You'd probably do something like: let n - m = ( n + (-m) ) `mod` 6 'let 3 - 4 = 5' is just a non-sense example.
- ionfish 17y agoFor much the same reason, one would probably never want to write "let 1 = 1", but it's still a valid statement. It may not be interesting, but it's not nonsense.