|
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 ) ; 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 |
|
public class FCheck_sparse_index_domain public static Value run(SdaiContext _context, Value idxdom, Value base, Value shape, Value order) |