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]