Homepage | Screenshots | Gallery of Visualisation | User's Guide | Function Reference | Download | FAQ | Support | Bugs and Solutions | Donate

Reference: isNormalMagicSquare

isNormalMagicSquare(M), where M is a real matrix, returns true if and only if M is a normal magic square, i.e. a n×n magic square containing every integer between 1 and n^2 (exactly once).


  isNormalMagicSquare(M) = isMagicSquare(M) ∧ isNormalSquare(M)