| В Разрезе | m;.n u;.n _ 1/2 _ | В Разрезе |
|
u;.0 y применяет u к y после переворота y
вдоль каждого измерения; эквивалентно (0 _1 */$y) u;.0 y . Разделитель 0{y (первый элемент y) отделяет интервалы элементов y ; фраза u;.1 y применяет u к каждому такому интервалу. Фраза u;._1 y отличается тем, что разделители не подвергаются обработке. Глаголы u;.2 и u;._2 используют в качестве разделителя последний элемент, отмечающий концы интервалов. Монады u;.3 и u;._3 применяют u к покрытию “максимальными кубиками”, точнее, они определены через свой диадный случай с левым аргументом ($$y)$<./$y . m;.n y применяет последовательные глаголы из герундия m к разрезам y , продолжая m циклически сколько требуется. |
x u;.0 y применяет u к прямоугольнику (или кубоиду)
внутри y с вершиной в точке
по индексу v=:0{x , и, с противоположной
вершиной, определяемой так, что стороны кубоида
равны |1{x , но, вдоль
каждого измерения j для которого индекс j{v отрицателен,
кубоид тянется назад из точки v . Наконец,
порядок выбранных элементов меняется на обратный
вдоль каждого измерения k , для
которого k{1{x отрицательно.
Если x — вектор, вместо него берется
матрица 0,:x . В диадных случаях 1 , _1 , 2 , и _2 роль разделителей играют 1-цы в булевском векторе x ; пустой вектор x и ненулевое #y обозначает y целиком. Если x являтся атомом 0 или 1 , вместо него берется (#y)#x . В общем случае, булевский вектор >j{x определяет как будет проведен разрез вдоль измерения j ; если это атом, вместо него берется (j{$y)#>j{x . u;.3 и u;._3 дают покрытия кубоидами (возможно и перекрывающимися). x u;._3 y применяет u к полным кубоидам размерами |1{x , начальные точки которых получаются многократным (поелементным) сложением направляющего вектора 0{x с самим собой. Если какой либо из размеров бесконечный, вместо него берется длина соответствующего измерения со знаком. Аналогично u;.0 , производится обращение вдоль всех измерений, для которых соответствующий размер в 1{x отрицателен. Если x — список, вместо него берется 1,:x , производя полное покрытие кубоидами размера x . Случай u;.3 отличается тем, что остаток с размером меньше |1{x включается в покрытие. x m;.n y применяет последовательные глаголы из герундия m к разрезам y , расширяя m циклически сколько требуется. Разрезы типов 0 и 3 имеют левый ранг 2, а типов 1 и 2 левый ранг 1. |
y=: 'worlds on worlds '
(<;.2 y) ; ($;._2 y) ; (3 5$i.10) ; (+/ ;.1 (3 5$i.10))
+---------------------+-+---------+-----------+
|+-------+---+-------+|6|0 1 2 3 4|5 7 9 11 13|
||worlds |on |worlds ||2|5 6 7 8 9|0 1 2 3 4|
|+-------+---+-------+|6|0 1 2 3 4| |
+---------------------+-+---------+-----------+
1 0 1 0 0 <;.1 i.5 7
+--------------------+
|0 1 2 3 4 5 6 |
|7 8 9 10 11 12 13 |
+--------------------+
|14 15 16 17 18 19 20|
|21 22 23 24 25 26 27|
|28 29 30 31 32 33 34|
+--------------------+
('';1 0 0 0 1 0 1) <;.1 i.5 7
+-----------+-----+--+
| 0 1 2 3| 4 5| 6|
| 7 8 9 10|11 12|13|
|14 15 16 17|18 19|20|
|21 22 23 24|25 26|27|
|28 29 30 31|32 33|34|
+-----------+-----+--+
('';1) <;.1 i.5 7
+--+--+--+--+--+--+--+
| 0| 1| 2| 3| 4| 5| 6|
| 7| 8| 9|10|11|12|13|
|14|15|16|17|18|19|20|
|21|22|23|24|25|26|27|
|28|29|30|31|32|33|34|
+--+--+--+--+--+--+--+
(1 0 1 0 0;1 0 0 0 1 0 1) <;.1 i.5 7
+-----------+-----+--+
|0 1 2 3 | 4 5| 6|
|7 8 9 10 |11 12|13|
+-----------+-----+--+
|14 15 16 17|18 19|20|
|21 22 23 24|25 26|27|
|28 29 30 31|32 33|34|
+-----------+-----+--+
x=:1 _2,:_2 3 [ z=: i. 5 5
x ; (x ];.0 z) ; z
+-----+--------+--------------+
| 1 _2|11 12 13| 0 1 2 3 4|
|_2 3| 6 7 8| 5 6 7 8 9|
| | |10 11 12 13 14|
| | |15 16 17 18 19|
| | |20 21 22 23 24|
+-----+--------+--------------+
(y=: a. {~ (a. i. 'a') + i. 4 4);(a=: 1 1 ,: 2 2)
+----+---+
|abcd|1 1|
|efgh|2 2|
|ijkl| |
|mnop| |
+----+---+
(<;.3 y) ; ((($$y)$<./$y)<;.3 y) ; (a <;.3 y) ; <(a <;._3 y)
+---------------+---------------+------------+----------+
|+----+---+--+-+|+----+---+--+-+|+--+--+--+-+|+--+--+--+|
||abcd|bcd|cd|d|||abcd|bcd|cd|d|||ab|bc|cd|d|||ab|bc|cd||
||efgh|fgh|gh|h|||efgh|fgh|gh|h|||ef|fg|gh|h|||ef|fg|gh||
||ijkl|jkl|kl|l|||ijkl|jkl|kl|l||+--+--+--+-+|+--+--+--+|
||mnop|nop|op|p|||mnop|nop|op|p|||ef|fg|gh|h|||ef|fg|gh||
|+----+---+--+-+|+----+---+--+-+||ij|jk|kl|l|||ij|jk|kl||
||efgh|fgh|gh|h|||efgh|fgh|gh|h||+--+--+--+-+|+--+--+--+|
||ijkl|jkl|kl|l|||ijkl|jkl|kl|l|||ij|jk|kl|l|||ij|jk|kl||
||mnop|nop|op|p|||mnop|nop|op|p|||mn|no|op|p|||mn|no|op||
|+----+---+--+-+|+----+---+--+-+|+--+--+--+-+|+--+--+--+|
||ijkl|jkl|kl|l|||ijkl|jkl|kl|l|||mn|no|op|p|| |
||mnop|nop|op|p|||mnop|nop|op|p||+--+--+--+-+| |
|+----+---+--+-+|+----+---+--+-+| | |
||mnop|nop|op|p|||mnop|nop|op|p|| | |
|+----+---+--+-+|+----+---+--+-+| | |
+---------------+---------------+------------+----------+