Satellite knot (source code)

= Satellite knot
{wiki}

A satellite knot $P(K)$ is obtained by embedding a patterned solid torus into a tubular neighborhood of a companion knot $K$.