On the rational normal form of endomorphisms : a primer to constructive algebra