Click on the image below to view it full size in an image viewer !
Square (regular quadrilateral)_ all four sides are of equal length (equilateral), and all four angles are right angles

The redefined analysis properties are not suggestions for an implementation strategy, they merely help encapsulate constraints. Note that the Lines, Diagonals, and Angles are considered derived from the Points of the Polygon as the true variables (which is also only an indication).

There are as many ways of implementing the Square as there are paths through the taxonomy. From an implementation efficiency point of view it may indeed by best to completely ignore inherited attributes, making the meeting of the contract completely operation-driven.