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

UptoLike

ВУЗ: 

ИвГУ | Иваново

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

Рубрика: 

138 Линейные пространства. Базисы и размерности Гл. 1
> w3 := algorithm 5( B[1], B[2] ); B[3], d[3] := w3[1], w3[2];
> u3 := algorithm 3( B[3] ); A[3], sys[3] := u3[1], u3[2];
Затем разрешаются все вопросы с подпространством W
0
:
> w0 := algorithm 6( A[1], A[2] );
> B[0], d[0], A[0], sys[0] := w0[1], w0[2], w0[3], w0[4];
Чтобы исследовать подпространство W
4
, к ранее вычисленным
матрицам B
0
и B
3
применяется процедура algorithm 4; получается
последовательность из пяти элементов (причем два последних из них
сами являются списками); из этой последовательности выбираются
два первых результата: матрица B
4
, содержащая базис в некотором
прямом дополнении W
4
к подпространству W
0
в подпространстве
W
3
, и размерность d
4
подпространства W
4
:
> w4 := algorithm 4( B[0], B[3] ); B[4], d[4] := w4[1], w4[2];
Последние оставшиеся неизвестными компоненты общего ответа
находятся с помощью процедуры algorithm 3:
> u4 := algorithm 3( B[4] ); A[4], sys[4] := u4[1], u4[2];
Так завершается работа над ТР1 с помощью Maple-пакета BiS.
Как получить средствами Maple табличный ответ — разберитесь
сами: может быть, у вас получится более изящно.
138     Линейные пространства. Базисы и размерности                Гл. 1

  > w3 := algorithm 5( B[1], B[2] ); B[3], d[3] := w3[1], w3[2];
  > u3 := algorithm 3( B[3] ); A[3], sys[3] := u3[1], u3[2];
  Затем разрешаются все вопросы с подпространством W0 :
  > w0 := algorithm 6( A[1], A[2] );
  > B[0], d[0], A[0], sys[0] := w0[1], w0[2], w0[3], w0[4];
  Чтобы исследовать подпространство W4 , к ранее вычисленным
матрицам B0 и B3 применяется процедура algorithm 4; получается
последовательность из пяти элементов (причем два последних из них
сами являются списками); из этой последовательности выбираются
два первых результата: матрица B4 , содержащая базис в некотором
прямом дополнении W4 к подпространству W0 в подпространстве
W3 , и размерность d4 подпространства W4 :
  > w4 := algorithm 4( B[0], B[3] ); B[4], d[4] := w4[1], w4[2];
  Последние оставшиеся неизвестными компоненты общего ответа
находятся с помощью процедуры algorithm 3:
  > u4 := algorithm 3( B[4] ); A[4], sys[4] := u4[1], u4[2];
  Так завершается работа над ТР1 с помощью Maple-пакета BiS.
Как получить средствами Maple табличный ответ — разберитесь
сами: может быть, у вас получится более изящно.

Страницы