FUNCTION one_tuples_of

(* SCHEMA engineering_properties_schema; *)



   FUNCTION one_tuples_of
      (spc : maths_space ) : tuple_space;
      RETURN (make_uniform_product_space(spc, 1));
   END_FUNCTION;

Referenced By

Defintion one_tuples_of is references by the following definitions:
DefinitionType
 derive_definite_integral_domain FUNCTION
 derive_finite_function_domain FUNCTION
 derive_finite_function_range FUNCTION
 derive_function_domain FUNCTION
 derive_function_range FUNCTION
 domain_from FUNCTION
 repackage FUNCTION


[Top Level Definitions] [Exit]

Generated by STEP Tools® EXPRESS to HTML Converter
2012-03-27T17:18:51-04:00