Overview Schemas Index

MATHEMATICAL_FUNCTIONS_SCHEMA (jsdai.SMathematical_functions_schema)


TYPE real_interval = SELECT (
          real_interval_from_min,
          real_interval_to_max,
          finite_real_interval,
          elementary_space);
WHERE
          wr1: NOT ('ELEMENTARY_SPACE' IN stripped_typeof(SELF)) OR
    (SELF\elementary_space.space_id = es_reals);
END_TYPE; -- real_interval

Users

          cartesian_complex_number_region.imag_constraint
          cartesian_complex_number_region.real_constraint
          polar_complex_number_region.distance_constraint