{"atom":"laws/eqv-commutes","family":"laws","slug":"eqv-commutes","header":{"atom":"laws/eqv-commutes","gen":"gen/laws.raku","ladder":"numeric, arity 2","law":"({A}) eqv ({B})  ===  ({B}) eqv ({A})","source":"generated"},"axes":null,"cols":null,"engines":["rakudo-2026.07","rakupp-v3.14.0-77-gf431f48-dirty"],"kinds":["ref","pp"],"defFrom":"law:eqv-commutes","counts":{"a":121,"f":0,"d":0,"c":0,"r":0,"n":0},"files":["generated/laws/eqv-commutes.grid"],"records":[["0001","0 | 0","(0) eqv (0)","same as (0) eqv (0)","a",["AGREE","AGREE"],0,0],["0002","0 | 1","(0) eqv (1)","same as (1) eqv (0)","a",["AGREE","AGREE"],0,0],["0003","0 | -1","(0) eqv (-1)","same as (-1) eqv (0)","a",["AGREE","AGREE"],0,0],["0004","0 | 2**64","(0) eqv (2**64)","same as (2**64) eqv (0)","a",["AGREE","AGREE"],0,0],["0005","0 | 1/3","(0) eqv (1/3)","same as (1/3) eqv (0)","a",["AGREE","AGREE"],0,0],["0006","0 | 0e0","(0) eqv (0e0)","same as (0e0) eqv (0)","a",["AGREE","AGREE"],0,0],["0007","0 | -0e0","(0) eqv (-0e0)","same as (-0e0) eqv (0)","a",["AGREE","AGREE"],0,0],["0008","0 | 1e0","(0) eqv (1e0)","same as (1e0) eqv (0)","a",["AGREE","AGREE"],0,0],["0009","0 | Inf","(0) eqv (Inf)","same as (Inf) eqv (0)","a",["AGREE","AGREE"],0,0],["0010","0 | -Inf","(0) eqv (-Inf)","same as (-Inf) eqv (0)","a",["AGREE","AGREE"],0,0],["0011","0 | NaN","(0) eqv (NaN)","same as (NaN) eqv (0)","a",["AGREE","AGREE"],0,0],["0012","1 | 0","(1) eqv (0)","same as (0) eqv (1)","a",["AGREE","AGREE"],0,0],["0013","1 | 1","(1) eqv (1)","same as (1) eqv (1)","a",["AGREE","AGREE"],0,0],["0014","1 | -1","(1) eqv (-1)","same as (-1) eqv (1)","a",["AGREE","AGREE"],0,0],["0015","1 | 2**64","(1) eqv (2**64)","same as (2**64) eqv (1)","a",["AGREE","AGREE"],0,0],["0016","1 | 1/3","(1) eqv (1/3)","same as (1/3) eqv (1)","a",["AGREE","AGREE"],0,0],["0017","1 | 0e0","(1) eqv (0e0)","same as (0e0) eqv (1)","a",["AGREE","AGREE"],0,0],["0018","1 | -0e0","(1) eqv (-0e0)","same as (-0e0) eqv (1)","a",["AGREE","AGREE"],0,0],["0019","1 | 1e0","(1) eqv (1e0)","same as (1e0) eqv (1)","a",["AGREE","AGREE"],0,0],["0020","1 | Inf","(1) eqv (Inf)","same as (Inf) eqv (1)","a",["AGREE","AGREE"],0,0],["0021","1 | -Inf","(1) eqv (-Inf)","same as (-Inf) eqv (1)","a",["AGREE","AGREE"],0,0],["0022","1 | NaN","(1) eqv (NaN)","same as (NaN) eqv (1)","a",["AGREE","AGREE"],0,0],["0023","-1 | 0","(-1) eqv (0)","same as (0) eqv (-1)","a",["AGREE","AGREE"],0,0],["0024","-1 | 1","(-1) eqv (1)","same as (1) eqv (-1)","a",["AGREE","AGREE"],0,0],["0025","-1 | -1","(-1) eqv (-1)","same as (-1) eqv (-1)","a",["AGREE","AGREE"],0,0],["0026","-1 | 2**64","(-1) eqv (2**64)","same as (2**64) eqv (-1)","a",["AGREE","AGREE"],0,0],["0027","-1 | 1/3","(-1) eqv (1/3)","same as (1/3) eqv (-1)","a",["AGREE","AGREE"],0,0],["0028","-1 | 0e0","(-1) eqv (0e0)","same as (0e0) eqv (-1)","a",["AGREE","AGREE"],0,0],["0029","-1 | -0e0","(-1) eqv (-0e0)","same as (-0e0) eqv (-1)","a",["AGREE","AGREE"],0,0],["0030","-1 | 1e0","(-1) eqv (1e0)","same as (1e0) eqv (-1)","a",["AGREE","AGREE"],0,0],["0031","-1 | Inf","(-1) eqv (Inf)","same as (Inf) eqv (-1)","a",["AGREE","AGREE"],0,0],["0032","-1 | -Inf","(-1) eqv (-Inf)","same as (-Inf) eqv (-1)","a",["AGREE","AGREE"],0,0],["0033","-1 | NaN","(-1) eqv (NaN)","same as (NaN) eqv (-1)","a",["AGREE","AGREE"],0,0],["0034","2**64 | 0","(2**64) eqv (0)","same as (0) eqv (2**64)","a",["AGREE","AGREE"],0,0],["0035","2**64 | 1","(2**64) eqv (1)","same as (1) eqv (2**64)","a",["AGREE","AGREE"],0,0],["0036","2**64 | -1","(2**64) eqv (-1)","same as (-1) eqv (2**64)","a",["AGREE","AGREE"],0,0],["0037","2**64 | 2**64","(2**64) eqv (2**64)","same as (2**64) eqv (2**64)","a",["AGREE","AGREE"],0,0],["0038","2**64 | 1/3","(2**64) eqv (1/3)","same as (1/3) eqv (2**64)","a",["AGREE","AGREE"],0,0],["0039","2**64 | 0e0","(2**64) eqv (0e0)","same as (0e0) eqv (2**64)","a",["AGREE","AGREE"],0,0],["0040","2**64 | -0e0","(2**64) eqv (-0e0)","same as (-0e0) eqv (2**64)","a",["AGREE","AGREE"],0,0],["0041","2**64 | 1e0","(2**64) eqv (1e0)","same as (1e0) eqv (2**64)","a",["AGREE","AGREE"],0,0],["0042","2**64 | Inf","(2**64) eqv (Inf)","same as (Inf) eqv (2**64)","a",["AGREE","AGREE"],0,0],["0043","2**64 | -Inf","(2**64) eqv (-Inf)","same as (-Inf) eqv (2**64)","a",["AGREE","AGREE"],0,0],["0044","2**64 | NaN","(2**64) eqv (NaN)","same as (NaN) eqv (2**64)","a",["AGREE","AGREE"],0,0],["0045","1/3 | 0","(1/3) eqv (0)","same as (0) eqv (1/3)","a",["AGREE","AGREE"],0,0],["0046","1/3 | 1","(1/3) eqv (1)","same as (1) eqv (1/3)","a",["AGREE","AGREE"],0,0],["0047","1/3 | -1","(1/3) eqv (-1)","same as (-1) eqv (1/3)","a",["AGREE","AGREE"],0,0],["0048","1/3 | 2**64","(1/3) eqv (2**64)","same as (2**64) eqv (1/3)","a",["AGREE","AGREE"],0,0],["0049","1/3 | 1/3","(1/3) eqv (1/3)","same as (1/3) eqv (1/3)","a",["AGREE","AGREE"],0,0],["0050","1/3 | 0e0","(1/3) eqv (0e0)","same as (0e0) eqv (1/3)","a",["AGREE","AGREE"],0,0],["0051","1/3 | -0e0","(1/3) eqv (-0e0)","same as (-0e0) eqv (1/3)","a",["AGREE","AGREE"],0,0],["0052","1/3 | 1e0","(1/3) eqv (1e0)","same as (1e0) eqv (1/3)","a",["AGREE","AGREE"],0,0],["0053","1/3 | Inf","(1/3) eqv (Inf)","same as (Inf) eqv (1/3)","a",["AGREE","AGREE"],0,0],["0054","1/3 | -Inf","(1/3) eqv (-Inf)","same as (-Inf) eqv (1/3)","a",["AGREE","AGREE"],0,0],["0055","1/3 | NaN","(1/3) eqv (NaN)","same as (NaN) eqv (1/3)","a",["AGREE","AGREE"],0,0],["0056","0e0 | 0","(0e0) eqv (0)","same as (0) eqv (0e0)","a",["AGREE","AGREE"],0,0],["0057","0e0 | 1","(0e0) eqv (1)","same as (1) eqv (0e0)","a",["AGREE","AGREE"],0,0],["0058","0e0 | -1","(0e0) eqv (-1)","same as (-1) eqv (0e0)","a",["AGREE","AGREE"],0,0],["0059","0e0 | 2**64","(0e0) eqv (2**64)","same as (2**64) eqv (0e0)","a",["AGREE","AGREE"],0,0],["0060","0e0 | 1/3","(0e0) eqv (1/3)","same as (1/3) eqv (0e0)","a",["AGREE","AGREE"],0,0],["0061","0e0 | 0e0","(0e0) eqv (0e0)","same as (0e0) eqv (0e0)","a",["AGREE","AGREE"],0,0],["0062","0e0 | -0e0","(0e0) eqv (-0e0)","same as (-0e0) eqv (0e0)","a",["AGREE","AGREE"],0,0],["0063","0e0 | 1e0","(0e0) eqv (1e0)","same as (1e0) eqv (0e0)","a",["AGREE","AGREE"],0,0],["0064","0e0 | Inf","(0e0) eqv (Inf)","same as (Inf) eqv (0e0)","a",["AGREE","AGREE"],0,0],["0065","0e0 | -Inf","(0e0) eqv (-Inf)","same as (-Inf) eqv (0e0)","a",["AGREE","AGREE"],0,0],["0066","0e0 | NaN","(0e0) eqv (NaN)","same as (NaN) eqv (0e0)","a",["AGREE","AGREE"],0,0],["0067","-0e0 | 0","(-0e0) eqv (0)","same as (0) eqv (-0e0)","a",["AGREE","AGREE"],0,0],["0068","-0e0 | 1","(-0e0) eqv (1)","same as (1) eqv (-0e0)","a",["AGREE","AGREE"],0,0],["0069","-0e0 | -1","(-0e0) eqv (-1)","same as (-1) eqv (-0e0)","a",["AGREE","AGREE"],0,0],["0070","-0e0 | 2**64","(-0e0) eqv (2**64)","same as (2**64) eqv (-0e0)","a",["AGREE","AGREE"],0,0],["0071","-0e0 | 1/3","(-0e0) eqv (1/3)","same as (1/3) eqv (-0e0)","a",["AGREE","AGREE"],0,0],["0072","-0e0 | 0e0","(-0e0) eqv (0e0)","same as (0e0) eqv (-0e0)","a",["AGREE","AGREE"],0,0],["0073","-0e0 | -0e0","(-0e0) eqv (-0e0)","same as (-0e0) eqv (-0e0)","a",["AGREE","AGREE"],0,0],["0074","-0e0 | 1e0","(-0e0) eqv (1e0)","same as (1e0) eqv (-0e0)","a",["AGREE","AGREE"],0,0],["0075","-0e0 | Inf","(-0e0) eqv (Inf)","same as (Inf) eqv (-0e0)","a",["AGREE","AGREE"],0,0],["0076","-0e0 | -Inf","(-0e0) eqv (-Inf)","same as (-Inf) eqv (-0e0)","a",["AGREE","AGREE"],0,0],["0077","-0e0 | NaN","(-0e0) eqv (NaN)","same as (NaN) eqv (-0e0)","a",["AGREE","AGREE"],0,0],["0078","1e0 | 0","(1e0) eqv (0)","same as (0) eqv (1e0)","a",["AGREE","AGREE"],0,0],["0079","1e0 | 1","(1e0) eqv (1)","same as (1) eqv (1e0)","a",["AGREE","AGREE"],0,0],["0080","1e0 | -1","(1e0) eqv (-1)","same as (-1) eqv (1e0)","a",["AGREE","AGREE"],0,0],["0081","1e0 | 2**64","(1e0) eqv (2**64)","same as (2**64) eqv (1e0)","a",["AGREE","AGREE"],0,0],["0082","1e0 | 1/3","(1e0) eqv (1/3)","same as (1/3) eqv (1e0)","a",["AGREE","AGREE"],0,0],["0083","1e0 | 0e0","(1e0) eqv (0e0)","same as (0e0) eqv (1e0)","a",["AGREE","AGREE"],0,0],["0084","1e0 | -0e0","(1e0) eqv (-0e0)","same as (-0e0) eqv (1e0)","a",["AGREE","AGREE"],0,0],["0085","1e0 | 1e0","(1e0) eqv (1e0)","same as (1e0) eqv (1e0)","a",["AGREE","AGREE"],0,0],["0086","1e0 | Inf","(1e0) eqv (Inf)","same as (Inf) eqv (1e0)","a",["AGREE","AGREE"],0,0],["0087","1e0 | -Inf","(1e0) eqv (-Inf)","same as (-Inf) eqv (1e0)","a",["AGREE","AGREE"],0,0],["0088","1e0 | NaN","(1e0) eqv (NaN)","same as (NaN) eqv (1e0)","a",["AGREE","AGREE"],0,0],["0089","Inf | 0","(Inf) eqv (0)","same as (0) eqv (Inf)","a",["AGREE","AGREE"],0,0],["0090","Inf | 1","(Inf) eqv (1)","same as (1) eqv (Inf)","a",["AGREE","AGREE"],0,0],["0091","Inf | -1","(Inf) eqv (-1)","same as (-1) eqv (Inf)","a",["AGREE","AGREE"],0,0],["0092","Inf | 2**64","(Inf) eqv (2**64)","same as (2**64) eqv (Inf)","a",["AGREE","AGREE"],0,0],["0093","Inf | 1/3","(Inf) eqv (1/3)","same as (1/3) eqv (Inf)","a",["AGREE","AGREE"],0,0],["0094","Inf | 0e0","(Inf) eqv (0e0)","same as (0e0) eqv (Inf)","a",["AGREE","AGREE"],0,0],["0095","Inf | -0e0","(Inf) eqv (-0e0)","same as (-0e0) eqv (Inf)","a",["AGREE","AGREE"],0,0],["0096","Inf | 1e0","(Inf) eqv (1e0)","same as (1e0) eqv (Inf)","a",["AGREE","AGREE"],0,0],["0097","Inf | Inf","(Inf) eqv (Inf)","same as (Inf) eqv (Inf)","a",["AGREE","AGREE"],0,0],["0098","Inf | -Inf","(Inf) eqv (-Inf)","same as (-Inf) eqv (Inf)","a",["AGREE","AGREE"],0,0],["0099","Inf | NaN","(Inf) eqv (NaN)","same as (NaN) eqv (Inf)","a",["AGREE","AGREE"],0,0],["0100","-Inf | 0","(-Inf) eqv (0)","same as (0) eqv (-Inf)","a",["AGREE","AGREE"],0,0],["0101","-Inf | 1","(-Inf) eqv (1)","same as (1) eqv (-Inf)","a",["AGREE","AGREE"],0,0],["0102","-Inf | -1","(-Inf) eqv (-1)","same as (-1) eqv (-Inf)","a",["AGREE","AGREE"],0,0],["0103","-Inf | 2**64","(-Inf) eqv (2**64)","same as (2**64) eqv (-Inf)","a",["AGREE","AGREE"],0,0],["0104","-Inf | 1/3","(-Inf) eqv (1/3)","same as (1/3) eqv (-Inf)","a",["AGREE","AGREE"],0,0],["0105","-Inf | 0e0","(-Inf) eqv (0e0)","same as (0e0) eqv (-Inf)","a",["AGREE","AGREE"],0,0],["0106","-Inf | -0e0","(-Inf) eqv (-0e0)","same as (-0e0) eqv (-Inf)","a",["AGREE","AGREE"],0,0],["0107","-Inf | 1e0","(-Inf) eqv (1e0)","same as (1e0) eqv (-Inf)","a",["AGREE","AGREE"],0,0],["0108","-Inf | Inf","(-Inf) eqv (Inf)","same as (Inf) eqv (-Inf)","a",["AGREE","AGREE"],0,0],["0109","-Inf | -Inf","(-Inf) eqv (-Inf)","same as (-Inf) eqv (-Inf)","a",["AGREE","AGREE"],0,0],["0110","-Inf | NaN","(-Inf) eqv (NaN)","same as (NaN) eqv (-Inf)","a",["AGREE","AGREE"],0,0],["0111","NaN | 0","(NaN) eqv (0)","same as (0) eqv (NaN)","a",["AGREE","AGREE"],0,0],["0112","NaN | 1","(NaN) eqv (1)","same as (1) eqv (NaN)","a",["AGREE","AGREE"],0,0],["0113","NaN | -1","(NaN) eqv (-1)","same as (-1) eqv (NaN)","a",["AGREE","AGREE"],0,0],["0114","NaN | 2**64","(NaN) eqv (2**64)","same as (2**64) eqv (NaN)","a",["AGREE","AGREE"],0,0],["0115","NaN | 1/3","(NaN) eqv (1/3)","same as (1/3) eqv (NaN)","a",["AGREE","AGREE"],0,0],["0116","NaN | 0e0","(NaN) eqv (0e0)","same as (0e0) eqv (NaN)","a",["AGREE","AGREE"],0,0],["0117","NaN | -0e0","(NaN) eqv (-0e0)","same as (-0e0) eqv (NaN)","a",["AGREE","AGREE"],0,0],["0118","NaN | 1e0","(NaN) eqv (1e0)","same as (1e0) eqv (NaN)","a",["AGREE","AGREE"],0,0],["0119","NaN | Inf","(NaN) eqv (Inf)","same as (Inf) eqv (NaN)","a",["AGREE","AGREE"],0,0],["0120","NaN | -Inf","(NaN) eqv (-Inf)","same as (-Inf) eqv (NaN)","a",["AGREE","AGREE"],0,0],["0121","NaN | NaN","(NaN) eqv (NaN)","same as (NaN) eqv (NaN)","a",["AGREE","AGREE"],0,0]]}