lawrence@lemmy.world to Programmer Humor@lemmy.ml · edit-26 months agoOk, at some point we made a big mistake.lemmy.worldimagemessage-square47fedilinkarrow-up1307arrow-down15file-text
arrow-up1302arrow-down1imageOk, at some point we made a big mistake.lemmy.worldlawrence@lemmy.world to Programmer Humor@lemmy.ml · edit-26 months agomessage-square47fedilinkfile-text
minus-squareMinekPo1@lemmy.mllinkfedilinkEnglisharrow-up44·6 months agoTL;DR: Grid<A,B,C,D,E,F,G,H> simplifies to true, if and only if it is a 3x3 magic square. full explanation Fifteen is an array of length 15 T<A,B,C> checks if an array of length A+B+C is equivalent to an array of length 15, thus checking if A+B+C is equal to 15 And<A,X> is simplifies to X if A is true, else it simplifies to false Df<A,B,X> checks if A and B are Diffrent , simplifying to X if they are Grid<A,B,C,D,E,F,G,H> first checks if every row, column and diagonal is equal to 15, then checks if every item is unique.
TL;DR:
Grid<A,B,C,D,E,F,G,H>
simplifies to true, if and only if it is a 3x3 magic square.full explanation
Fifteen
is an array of length 15T<A,B,C>
checks if an array of lengthA
+B
+C
is equivalent to an array of length 15, thus checking ifA
+B
+C
is equal to 15And<A,X>
is simplifies toX
ifA
is true, else it simplifies tofalse
Df<A,B,X>
checks ifA
andB
are Diffrent , simplifying toX
if they areGrid<A,B,C,D,E,F,G,H>
first checks if every row, column and diagonal is equal to 15, then checks if every item is unique.