The volume recursion: the children of an allowed tangent pattern `P` at a state `s`, weighted by `q^(-tri d)`, have total volume `divisorProbability s d · stateVolume s`.

Initializing...

The volume recursion: the children of an allowed tangent pattern `P` at a state `s`, weighted by `q^(-tri d)`, have total volume `divisorProbability s d · stateVolume s`. · Prove2Me