>>  <<  Ркв  Ввд  JfC  LJ  Фрз  Слв  Изм  Рзг  !:  Помощь  Словарь

По Минорам u . v  2 _ _ Скалярно

Фразы -/ . * и +/ . * представляют собой определитель и перманент (определитель без знаков перестановок) квадратной матрицы. В более общем случае, фраза u . v определена в терминах рекурсивного разложения по минорам вдоль первого столбца, как показано ниже.
 		   Для векторов и матриц, фраза x +/ . * y представляет собой скалярное, внутреннее, или матричное произведение, определенное в математике; аргументами могут быть и другие глаголы ранга 0, такие как <. и *. . В общем случае, u . v определено как u@(v"(1+lv,_)) , эта фраза переведена на русский ниже.
 

Например: 
   x=: 1 2 3 [ m=: >1 6 4;4 1 0;6 6 8
   det=: -/ . * 
   mp=: +/ . *
   x ([ ; ] ; det@] ; mp ; mp~ ; mp~@]) m
+-----+-----+----+--------+-------+--------+
|1 2 3|1 6 4|_112|27 26 28|25 6 42|49 36 36|
|     |4 1 0|    |        |       | 8 25 16|
|     |6 6 8|    |        |       |78 90 88|
+-----+-----+----+--------+-------+--------+
Монада u . v определена следующим образом:
   DET=: 2 : 'v/@,`({."1 u . v $:@minors)@.(0<{:@$) @ ,. "2'
     minors=: }."1 @ (1&([\.))

   -/ DET * m
_112

   -/ DET * 1 16 64
49

   -/ DET * i.3 0
1

   +/ DET * m
320

Определение u@(v"(1+lv,_)) для диадного случая можно пересказать словами следующим образом: u применяется к результату v на списках “ячеек левого аргумента” и правом аргументе целиком. Количество элементов в списках ячеек левого аргумента должно соответствовать количеству элементов в правом аргументе. Таким образом, если v имеет ранги 2 3 , а размерности x и y равны 2 3 4 5 6 и 4 7 8 9 10 11, то имеем 2 3 списков ячеек левого аргумента (размерности 4 5 6 каждая); и, если размерность результирующей ячейки есть sr , то размерность окончательного результата будет 2 3,sr .


>>  <<  Ркв  Ввд  JfC  LJ  Фрз  Слв  Изм  Рзг  !:  Помощь  Словарь