FUNCTION check_sparse_index_domain
(idxdom : tuple_space, base : zero_or_one, shape : LIST [1:?] OF positive_integer, order : ordering_type) : BOOLEAN;
LOCAL
mthspc : maths_space;
interval : finite_integer_interval;
i : INTEGER;
END_LOCAL;
mthspc := factor1(idxdom);
-- A consequence OF WR1 OF basic_sparse_matrix is that here we need only
-- consider the CASE that mthspc is a finite INTEGER interval AND is the only
-- factor space OF idxdom.
interval := mthspc;
IF order = by_rows THEN i := 1; ELSE i := 2; END_IF;
RETURN (bool((interval.min <= base) AND (interval.max >= base + shape[i]))); END_FUNCTION; -- check_sparse_index_domain
|