Satellite formula for the Alexander polynomial (source code)

= Satellite formula for the Alexander polynomial
{c}
{wiki=Satellite_knot#Alexander_polynomial}

If a satellite knot has pattern $P$, companion $K$, and winding number $w$, then
$$
\Delta_{P(K)}(t)\doteq\Delta_{P(U)}(t)\Delta_K(t^w).
$$