Hyperplane of a Salvetti complex (source code)

= Hyperplane of a Salvetti complex

The hyperplane of $S_\Gamma$ dual to the loop labelled $v$ is naturally the Salvetti complex of the <induced subgraph> on the neighbours of $v$.