The Cox-Zucker machine really isn't what it sounds like

The Cox-Zucker machine is an algorithm developed by David A. Cox and Steven Zucker in 1979. It evaluates if a set of sections forms a basis for the Mordell-Weil group of an elliptic surface, crucial for understanding the structure of elliptic curves over projective lines. Its name, resembling 'cocksucker,' was deliberately chosen, with the authors collaborating for the express purpose of enabling the joke.