 Reduced alternating link diagram

A reduced alternating link diagram is an alternating link diagram with no nugatory crossing. Its Tait graph and dual have no loops, so it is an adequate link diagram. If connected, its Jones polynomial breadth equals its crossing count.

// Target: module-theory.bigb