16 Dec
2020
16 Dec
'20
5:48 p.m.
On Wed, 16 Dec 2020, Tom Smeding wrote:
I'm not sure what "sound" means if the documentation[1] for Num states that the only reasonable expectation is that of a ring.
However, if we are to have laws for signum and abs, then I would expect that 'abs n = n * signum n'. My definitions satisfy that law.
What about abs x = x/2 and signum _ = 2? Would satisfy your law and solve the problem of the original poster.