The Code
MutationGame
milnor_number()
corank()
classify()
splitting_lemma()
jet_reduce()
homotopy_equivalence()
The Mathematics