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 |
Userscartesian_complex_number_region.imag_constraintcartesian_complex_number_region.real_constraint polar_complex_number_region.distance_constraint |