eigenvectors(M: MAT, X: RINGELEM): LIST of RINGELEM
/**/ Use R ::= QQ[x]; /**/ M := mat([[0,2,0,0],[1,0,0,0],[0,0,0,2],[0,0,1,1]]); /**/ eigenfactors(M, x); [x +1, x -2, x^2 -2]