Add a Commutative Diagram

To add a commutative diagram constraint, select Add a Commutative Diagram from the Constraints menu.

Select the first path involved in the commutative diagram. This path should begin with the domain of the commutative diagram and should terminate at the co-domain. Once the path is selected, click Next.

Select the second path involved in the commutative diagram. This path should have the same domain as the previously selected path and should terminate at the same co-domain. Once the path is selected, click Finish.

Should the commutative diagram properties not be maintained, an error will be produced and no path will be built.

Commutative diagrams, by definition, are limited to two paths.

To learn how to select a path in Easik, see Select a Path.