|
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 |