FUNCTION one_tuples_of

(* SCHEMA FUNCTIONAL_DATA_AND_SCHEMATIC_REPRESENTATION_MIM_LF; *)

 
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:17:33-04:00