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

UptoLike

Составители: 

Прил. 1 Коды Maple-процедур 591
,,
D
ST
S
sg :=
,,
10 0 0 0 00
01 0 0 0 00
00-1 0 0 00
00 0-1 0 00
00 0 0-1 00
00000-10
00 0 0 0 00
2
2
000000
00
2
2
0000
000
2
2
000
0
200000
000 0
2
2
00
00000
6
3
0
0000001
[],24
> T:=TL.TS;
# Вычисление матрицы "сквозного" перехода
# к нормализирующему базису.
:= T
2
2
2
2
2
2
2
2
0
6
3
0
2
2
2
2
2
2
2
2
2
2
6
6
0
0
20 0 200
0
2
2
0
2
2
2
2
6
6
0
00 0 0
2
2
6
6
-1
00 0 0 0
6
3
0
0000001
> DS-Transpose(T).A.T;
# Проверка.
0000000
0000000
0000000
0000000
0000000
0000000
0000000
Прил. 1                                                          Коды Maple-процедур                                                                                            591


DS , TS , sg :=
                                                                                 ⎡⎢        2                                                                  ⎤
                                                                                  ⎢⎢                   0       0              0           0        0       0 ⎥⎥
                                                                                           2                                                                  ⎥
                                                                                   ⎢⎢                                                                         ⎥⎥
                                                                                                               2
          ⎡⎢1         0    0           0             0    0                0 ⎤ ⎢⎢          0           0                      0           0        0       0 ⎥⎥
                                                                              ⎥ ⎢                              2                                               ⎥
           ⎢0
           ⎢⎢         1    0           0             0    0                0 ⎥⎥ ⎢⎢                                                                             ⎥⎥
                                                                              ⎥ ⎢                                             2                                 ⎥
            ⎢⎢0       0   -1           0             0    0                0 ⎥⎥ ⎢⎢         0           0       0                          0        0       0 ⎥⎥
                                                                                                                              2
             ⎢0
             ⎢⎢       0    0          -1             0    0                0 ⎥⎥, ⎢⎢                                                                             ⎥⎥, [ 2 , 4 ]
                                                                              ⎥ ⎢          0           2       0              0           0        0       0 ⎥⎥
              ⎢⎢0     0    0           0            -1    0                0 ⎥⎥ ⎢⎢                                                                               ⎥
               ⎢                                                              ⎥ ⎢                                                         2                      ⎥
               ⎢⎢0    0    0           0             0   -1                0 ⎥⎥ ⎢⎢         0           0       0              0                    0       0 ⎥⎥
                ⎢⎢                                                            ⎥ ⎢                                                         2                      ⎥⎥
                 ⎣0   0    0           0             0    0                0 ⎥⎦ ⎢⎢                                                                                ⎥⎥
                                                                                    ⎢⎢                                                              6
                                                                                     ⎢⎢    0           0       0              0           0                0 ⎥⎥
                                                                                                                                                   3               ⎥
                                                                                      ⎢⎢                                                                           ⎥
                                                                                       ⎣   0           0       0              0           0        0       1 ⎥⎦


> T:=TL.TS;
# Вычисление матрицы "сквозного" перехода
# к нормализирующему базису.

                                ⎡⎢              2             2                            2               2                           6          ⎤
                                 ⎢⎢                      −                        −                −                   0          −            0 ⎥⎥
                                                2             2                            2               2                          3           ⎥
                                  ⎢⎢                                                                                                              ⎥⎥
                                   ⎢⎢           2            2                             2               2            2              6
                                                                                                   −               −              −            0 ⎥⎥
                                    ⎢           2            2                             2               2            2             6            ⎥
                                    ⎢⎢                                                                                                             ⎥
                                     ⎢⎢         0            2                             0               0       − 2                0        0 ⎥⎥
                                      ⎢                                                                                                            ⎥⎥
                          T := ⎢⎢               0        −
                                                              2
                                                                                           0
                                                                                                           2           2
                                                                                                                                  −
                                                                                                                                       6
                                                                                                                                               0 ⎥⎥
                                                                                                                                                    ⎥
                                      ⎢⎢                      2                                            2           2              6             ⎥⎥
                                       ⎢
                                       ⎢⎢                                                                              2              6              ⎥
                                        ⎢⎢      0            0                             0               0                                  -1 ⎥⎥
                                         ⎢
                                                                                                                       2              6              ⎥⎥
                                         ⎢⎢                                                                                           6               ⎥⎥
                                          ⎢⎢    0            0                             0               0           0                       0 ⎥⎥
                                           ⎢                                                                                          3                ⎥
                                           ⎢⎢                                                                                                          ⎥
                                            ⎣   0            0                             0               0           0              0        1 ⎥⎦


> DS-Transpose(T).A.T;
# Проверка.

                                                              ⎡0                  0            0   0       0   0       0⎤
                                                              ⎢⎢                                                          ⎥
                                                               ⎢⎢0                0            0   0       0   0       0 ⎥⎥
                                                                                                                          ⎥
                                                                ⎢⎢0               0            0   0       0   0       0 ⎥⎥
                                                                 ⎢⎢0              0            0   0       0   0       0 ⎥⎥
                                                                  ⎢⎢                                                      ⎥
                                                                   ⎢⎢0            0            0   0       0   0       0 ⎥⎥
                                                                                                                          ⎥
                                                                    ⎢⎢0           0            0   0       0   0       0 ⎥⎥
                                                                     ⎢⎢                                                   ⎥
                                                                      ⎣0          0            0   0       0   0       0 ⎥⎦