Special cube complex (source code)

= Special cube complex
{wiki}

A nonpositively curved cube complex is special when every hyperplane is embedded and two-sided, no hyperplane self-osculates, and no two hyperplanes interosculate. Equivalently, it admits a cubical local isometry to a <Salvetti complex>.