eigenlevel eigensystem eigensheaf eigenderivative eigenoperator eigenequation eigentriple eigencoordinate eigendata eigenbra