Hyperplane of a cube complex (source code)

= Hyperplane of a cube complex

Two edges of a cube complex are parallel when they are opposite sides of a square, with transitive closure understood. A hyperplane is assembled from the midcubes dual to one parallelism class of edges.