[Defines array constructor as given an index set, if a predicate holds then set the corresponding values of the array to the given expression.] Examples array [1..n], [1..n] of int ([i,j]: i,j .isIn. [1..n] and i=j => 1, others 0) constructs … [of ones along the diagonal and the rest zero].
Google-1
Google-2
Copyright clearance needed for quotation.