FUNCTION number_superspace_of

(* SCHEMA step_merged_ap_schema; *)
-- IN AP242
FUNCTION number_superspace_of
      (spc : maths_space ) : elementary_space;
      IF subspace_of_es(spc, es_integers) THEN
         RETURN (the_integers);
      END_IF;
      IF subspace_of_es(spc, es_reals) THEN
         RETURN (the_reals);
      END_IF;
      IF subspace_of_es(spc, es_complex_numbers) THEN
         RETURN (the_complex_numbers);
      END_IF;
      IF subspace_of_es(spc, es_numbers) THEN
         RETURN (the_numbers);
      END_IF;
      RETURN (?);
END_FUNCTION;

Referenced By

Defintion number_superspace_of is references by the following definitions:
DefinitionType
 b_spline_function ENTITY
 derive_function_range FUNCTION
 drop_numeric_constraints FUNCTION


[Top Level Definitions] [Exit]

Generated by STEP Tools® EXPRESS to HTML Converter
2017-01-19T11:17:24-05:00