Линейная алгебра. Теоремы и алгоритмы. Яцкин Н.И. - 217 стр.

§ 18    Алгоритм отыскания собственных подпространств           217

   > Eigenvectors( A );
                                                     
                   −1         0   0    0 0       1    0
                  −1      1    −1   0 0       0    0
                                                     
                  −1      −1   1    0 0       0    0
                     ,                               
                  −1      0    0    0 0       0    0
                                                     
                   −2         0   1    0 0       −1   0
                   −2         1   0    0 0       1    0

   Обратите внимание, прежде всего, на то, что ответ представля-
ет собой последовательность. Это особый тип данных (’exprseq’) в
системе Maple. По "внешнему виду" он отличается от списка (’list’)
отсутствием окружающих квадратных скобок. (Но имеются и более
существенные отличия — в правилах манипулирования с перемен-
ными указанных типов.)
   Далее, первый элемент в последовательности совпадает с тем, что
выводит команда Eigenvalues. Вторым элементом служит матрица,
содержащая базисные векторы в собственных подпространствах и,
может быть, — нулевые векторы (которые собственными, как извест-
но, не являются и поэтому "подлежат безжалостному удалению").
Последнее обстоятельство делает принятый по умолчанию интер-
фейс не слишком удачным. Но все можно исправить, отрегулировав
output:
   > ev := Eigenvectors( A, output = ’list’ );
                                        
                         0     0               1 
                     
                                                  
                    1   −1 
                                  
                                            
                                               
                                                0 
                                                     
                                        
                                                     
                      −1   1             0  
       ev := −1, 4,      ,     , −2, 2,     
                   
                       0    0 
                                            
                                                0 
                   
                              
                                            
                                                  
                                                     
                                                     
                      0
                               1             −1 
                                                    
                         1      0                 1

  Теперь на выходе мы получили список из двух трехэлементных
списков вида
[собств. значение, алг. кратность, {базис в собств. подпространстве}].
  Третьим элементом показанного выше списка служит (заключен-
ное в фигурные скобки) множество (’set’), элементами которого яв-
ляются базисные векторы в собственном подпространстве.
  Фундаментальные матрицы, которые как раз и составляются из
этих базисных векторов, легко "добыть" из общего ответа ev: