container
The smallest circle containing this dipole — the endpoints as a diameter.
con(d) = d ∧ car(d)^☆, always inside-out (cw = +1 — what the algebra gives); preserves the size: container.radius2 == radius2, so an imaginary dipole gets an imaginary container. At infinity the round weight cw = gx² + gy² collapses to zero, and no container exists.
Throws
At infinity — the collapsed round weight leaves the Circle constructor nothing to unitize by.