{"atom":"laws/negate-is-subtract","family":"laws","slug":"negate-is-subtract","header":{"atom":"laws/negate-is-subtract","gen":"gen/laws.raku","ladder":"numeric, arity 1","law":"-({A})  ===  0 - ({A})","source":"generated"},"axes":null,"cols":null,"engines":["rakudo-2026.07","rakupp-v3.14.0-77-gf431f48-dirty"],"kinds":["ref","pp"],"defFrom":"law:negate-is-subtract","counts":{"a":10,"f":0,"d":0,"c":0,"r":1,"n":0},"files":["generated/laws/negate-is-subtract.grid"],"records":[["0001","0","-(0)","same as 0 - (0)","a",["AGREE","AGREE"],0,0],["0002","1","-(1)","same as 0 - (1)","a",["AGREE","AGREE"],0,0],["0003","-1","-(-1)","same as 0 - (-1)","a",["AGREE","AGREE"],0,0],["0004","2**64","-(2**64)","same as 0 - (2**64)","a",["AGREE","AGREE"],0,0],["0005","1/3","-(1/3)","same as 0 - (1/3)","a",["AGREE","AGREE"],0,0],["0006","0e0","-(0e0)","same as 0 - (0e0)","r",["DIFFER: -0e0 vs 0e0","DIFFER: -0e0 vs 0e0"],{"v":"disputed","w":"the reference itself breaks this law at this cell (-0e0 vs 0e0) — either a defect or a genuine subtlety, and it needs a ruling before it can be asserted","d":"2026-08-14 against rakudo-2026.07"},0],["0007","-0e0","-(-0e0)","same as 0 - (-0e0)","a",["AGREE","AGREE"],0,0],["0008","1e0","-(1e0)","same as 0 - (1e0)","a",["AGREE","AGREE"],0,0],["0009","Inf","-(Inf)","same as 0 - (Inf)","a",["AGREE","AGREE"],0,0],["0010","-Inf","-(-Inf)","same as 0 - (-Inf)","a",["AGREE","AGREE"],0,0],["0011","NaN","-(NaN)","same as 0 - (NaN)","a",["AGREE","AGREE"],0,0]]}