Update eigenbasis.tex