lawrence@lemmy.world to Programmer Humor@lemmy.ml · edit-29 months agoOk, at some point we made a big mistake.lemmy.worldimagemessage-square39fedilinkarrow-up1306arrow-down15file-text
arrow-up1301arrow-down1imageOk, at some point we made a big mistake.lemmy.worldlawrence@lemmy.world to Programmer Humor@lemmy.ml · edit-29 months agomessage-square39fedilinkfile-text
minus-squareMinekPo1@lemmy.mllinkfedilinkEnglisharrow-up44·9 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
Fifteenis an array of length 15T<A,B,C>checks if an array of lengthA+B+Cis equivalent to an array of length 15, thus checking ifA+B+Cis equal to 15And<A,X>is simplifies toXifAis true, else it simplifies tofalseDf<A,B,X>checks ifAandBare Diffrent , simplifying toXif 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.