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