Описание безусловной многомерной области
Многомерная область строится при помощи операции ";" произведения прямоугольных областей (строка 6 kls : (ks; ls).). Описание области может содержать описания других областей, которые в дальнейшем могут быть использованы в программе (строка 19 примера):
so : (ts: (t=0..n); ijs: (is: (i=1..n); js: (j=1..n))).
Операция ";" произведения прямоугольных областей обладает следующим свойством: если A и B - области, то A ; B = B ; A.
Это означает, что порядок направлений индексного пространства при описании области не фиксируется (или, что с точки зрения пользователя то же самое, фиксируется некоторым произвольным образом). Если порядок направлений индексного пространства существенен (например, необходимо согласование направлений при использовании величин на одних и тех же областях в различных разделах), то он может быть задан при помощи описания индексов областей - INDEX.
Области, являющиеся операндами операции произведения областей, должны иметь различные имена индексов.
