Pattern of a satellite knot (source code)

= Pattern of a satellite knot
{title2=$P$}
{wiki=Satellite_knot}

A pattern is a knot $P$ inside a solid torus. Embedding that torus as a tubular neighborhood of $K$ produces the satellite $P(K)$.