|
FUNCTION extract_factors (tspace : tuple_space, m : INTEGER, n : INTEGER) : tuple_space; LOCAL tsp : tuple_space := the_zero_tuple_space ; END_LOCAL ; REPEAT i := m TO n ; tsp := assoc_product_space ( tsp , factor_space ( tspace , i ) ) ; END_REPEAT ; RETURN ( tsp ) ; END_FUNCTION; -- extract_factors |
|
public class FExtract_factors public static Value run(SdaiContext _context, Value tspace, Value m, Value n) |