Описание областей

Понятие области введено в языке Норма для представления понятия индексного пространства. Область - это совокупность целочисленных наборов

каждый из которых задает координаты точки n-мерного индексного пространства.

С каждым направлением (осью координат) n-мерного пространства задачи связывается уникальное имя - имя индекса (имя оси координат индексного пространства).

Следует отметить, что область определяет значения координат точек индексного пространства, а не значения расчетных величин в этих точках. Например, если требуется вычислить значения величины

на некоторой сетке

введенной при решении задачи (например, формулой вида

F - заданная функция, h - заданный параметр), то следует:

описать область, состоящую из точек i, j = 1...n

описать на этой области величины X и Y

задать на этой области правило вычисления значений сетки

и правило вычисления значений

(считается, что F, G, h также некоторым способом заданы).

В языке Норма область может иметь имя, над областями определены операции модификации и произведения. Индексы областей специально не описываются - они вводятся при определении областей. Область может быть условной и безусловной. Условная область состоит из точек индексного пространства, число и координаты которых могут меняться в зависимости от выполнения (или не выполнения) условий на область.

В языке различается описание области - это именованная условная или безусловная область, и использование области - синтаксически это имя области или новая область без имени.

Области используются в описаниях величин, определенных на области, при задании области вычисления в операторах ASSUME, в описания входных или выходных величин, при задании областей фактических параметров в вызовах разделов или функций, в функциях редукции.