LOCAL domn : tuple_space := domain ; fspc : maths_space ; dim : INTEGER  ; k : INTEGER ; END_LOCAL ; IF  ( space_dimension ( domain ) = 1 ) AND  ( ( schema_prefix + 'tuple_space' ) IN TYPEOF ( factor1 ( domain ) ) ) THEN  domn := factor1 ( domain ) ; END_IF  ; dim := space_dimension ( domn ) ; REPEAT i := 1 TO SIZEOF ( d_vars ) ; k := d_vars [ i ] ; IF  k > dim THEN  RETURN  ( FALSE  ) ; END_IF  ; fspc := factor_space ( domn , k ) ; IF ( NOT  subspace_of_es ( fspc , es_reals ) ) AND ( NOT subspace_of_es ( fspc , es_complex_numbers ) ) THEN RETURN  ( FALSE ) ; END_IF ; END_REPEAT ; RETURN ( TRUE ) ;