FUNCTION number_superspace_of
(* SCHEMA step_merged_ap_schema; *)
-- IN AP238 STEP-NC/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:
[Top Level Definitions] [Exit]Generated by STEP Tools® EXPRESS to HTML Converter
2020-07-28T17:02:20-04:00