Notes for 3 1's three dimensional invariants

The rope length of the trefoil is known to be no more than 16.372, by numerical experiments, while the sharpest known lower bound (actually applicable to all non-trivial knots) is 15.66.