Dehn presentation Heegaard diagram (source code)

= Dehn presentation Heegaard diagram
{c}

Thicken the planar graph underlying a <knot diagram>. Its boundary supports a <Heegaard diagram> with face disks on one side and crossing-tunnel disks on the other. The face generators and crossing curves give a <Dehn presentation of a knot group>.