LOCAL tspace : tuple_space ; temp : maths_space ; result : LIST OF positive_integer := [ ] ; END_LOCAL ; IF  ( schema_prefix + 'explicit_table_function' ) IN  TYPEOF  ( func ) THEN  RETURN  ( func \ explicit_table_function . shape ) ; END_IF  ; tspace := func . domain ; IF  ( space_dimension ( tspace ) = 1 ) AND ( ( schema_prefix + 'tuple_space' ) IN  TYPEOF  ( factor1 ( tspace ) ) ) THEN  tspace := factor1 ( tspace ) ; END_IF  ; REPEAT i := 1 TO space_dimension ( tspace ) ; temp := factor_space ( tspace , i ) ; IF NOT ( ( schema_prefix + 'finite_integer_interval' ) IN TYPEOF ( temp ) ) THEN RETURN  ( ? ) ; END_IF ; INSERT ( result , temp \ finite_integer_interval . size , i - 1 ) ; END_REPEAT ; RETURN ( result ) ;