Changes:
New Features:
If no specification is given at the time of constructing the graph, or if the called Magma function does not allow for such a specification to be given, the graph is always represented by means of its adjacency matrix (the dense representation).
Not all existing Magma functions have been -yet- rewritten with the new sparse representation in mind. Should internal specifications of a Magma function require a different graph representation than the current one, then the required conversion takes place automatically, without user intervention.
The primary purpose of introducing the sparse representation is the implementation of a planarity tester.
If
is planar, additional functionalities allow the
computation of
's faces (Faces(
)),
and of
's embedding (Embedding(
)).
The planarity tester may be applied to any undirected graph, connected or not.
Bug Fixes: