Eisenstein's enchilada

Tools