FUNCTION factor_space

(* SCHEMA step_merged_ap_schema; *)

-- IN AP238 STEP-NC/AP242
FUNCTION factor_space
      (tspace : tuple_space;
       idx : positive_integer ) : maths_space;
   LOCAL
      typenames : SET OF STRING := TYPEOF(tspace);
   END_LOCAL;
      IF schema_prefix + 'UNIFORM_PRODUCT_SPACE' IN typenames THEN
         IF idx <= tspace\uniform_product_space.exponent THEN
            RETURN (tspace\uniform_product_space.base);
         END_IF;
         RETURN (?);
      END_IF;
      IF schema_prefix + 'LISTED_PRODUCT_SPACE' IN typenames THEN
         IF idx <= SIZEOF(tspace\listed_product_space.factors) THEN
            RETURN (tspace\listed_product_space.factors[idx]);
         END_IF;
         RETURN (?);
      END_IF;
      IF schema_prefix + 'EXTENDED_TUPLE_SPACE' IN typenames THEN
         IF idx <= space_dimension(tspace\extended_tuple_space.base) THEN
            RETURN (factor_space(tspace\extended_tuple_space.base, idx));
         END_IF;
         RETURN (tspace\extended_tuple_space.extender);
      END_IF;
      RETURN (?);
END_FUNCTION;

Referenced By

Defintion factor_space is references by the following definitions:

Definition	Type
definite_integral_check	FUNCTION
derive_definite_integral_domain	FUNCTION
derive_function_range	FUNCTION
extract_factors	FUNCTION
function_applicability	FUNCTION
function_is_2d_table	FUNCTION
function_is_array	FUNCTION
function_is_table	FUNCTION
member_of	FUNCTION
partial_derivative_check	FUNCTION
shape_of_array	FUNCTION
subspace_of	FUNCTION

[Top Level Definitions] [Exit]

Generated by STEP Tools® EXPRESS to HTML Converter
2024-09-06T14:00:33-04:00