Oriented knot (source code)

= Oriented knot

An oriented knot is a <knot> together with a choice of orientation on its embedded circle.