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

UptoLike

ВУЗ: 

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

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

Рубрика: 

536 Коды Maple-процедур Прил. 1
C1:=SubMatrix(B3[1],1..n,d1+1..d3);
# Неособый случай: d1<d3.
# Определяется прямое дополнение к W1 в W3
# (как линейная оболочка некоторого
# базиса, записанного в матрицу C1).
fi;
if d2=d3 then
C2:=Matrix(n,0);
# Отработка особого случая: d2=d3
# (и, следовательно, W2=W3; W1<=W2;
# прямое дополнение к W2 в W3 тривиально;
# матрица С2 пуста).
else
C2:=SubMatrix(B3[2],1..n,d2+1..d3);
# Неособый случай: d2<d3.
# Определяется прямое дополнение к W2 в W3
# (как линейная оболочка некоторого
# базиса, записанного в матрицу С2).
fi;
RETURN(B3[1],d3,[B1,d1,C1],[B2,d2,C2],d0);
# Возвращаются:
# 1) матрица B3[1], содержащая базис
# в сумме W3 данных подпространств,
# продолжающий (ранее определенный) базис в W1;
# 2) размерность d3=dim(W3) суммы данных подпространств;
# 3) список, содержащий матрицу B1,
# столбцы которой составляют базис в W1,
# размерность d1=dim(W1)
# и матрицу C1, содержащую базис
# в некотором прямом дополнении к W1 в W3;
# 4) аналогичный список [B2,d2,C2]
# для второго слагаемого;
# 5) размерность d0 пересечения W0 данных подпространств.
end proc;
> BiS[algorithm_6]:=proc(A1::Matrix,A2::Matrix)
# Построение базиса в пересечении W0
# линейных подпространств W1 и W2 в пространстве V.
# Подпространства W1 и W2 заданы первым способом
# (как нуль-пространства матриц A1 и A2).
# Базис в подпространстве W0 записывается в матрицу B0.
# Кроме того, для каждого из подпространств W1, W2, W0 
536                       Коды Maple-процедур               Прил. 1

    C1:=SubMatrix(B3[1],1..n,d1+1..d3);
    # Неособый случай: d1   BiS[algorithm_6]:=proc(A1::Matrix,A2::Matrix)
#   Построение базиса в пересечении W0
#   линейных подпространств W1 и W2 в пространстве V.
#   Подпространства W1 и W2 заданы первым способом
#   (как нуль-пространства матриц A1 и A2).
#   Базис в подпространстве W0 записывается в матрицу B0.
#   Кроме того, для каждого из подпространств W1, W2, W0

Страницы