Constraints

There are several EA constraints which can be implemented and represented graphically using Easik. These constraints include sum consraints, product constraints, pullback constraints, and commutative diagrams.

Constraints are created by accessing the "Constraints" menu from the main Easik screen. From this menu, the desired constraint can be selected, and a dialog box will appear indicating how to create the constraint.

Setting Constraint Visibility

Constraints can be set to visible or hidden within the sketch. To set a single constraint as hidden, right-click on the relevant constraint in the information tree. From the drop-down menu, select Hide Constraint. The constraint will then be removed from the sketch, but remains listed in the information tree. To show the constraint, reselect the constraint in the information tree by right-clicking to bring up the drop-down menu. From the menu, select Show Constraint. The constraint will now once again be visible on the sketch in the same position as previously.

The visibility of all constraints can be toggled by selecting Show All Constraints or Hide All Constraints from the Constraints menu.

For more information on each of the constraints, see the respective help panes.