Hyperplane of a cube complex (source code)

= Hyperplane of a cube complex
{wiki=Cubical_complex#Hyperplanes}

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.