compatible_dimension

EXPRESS specification:

RULE compatible_dimension FOR
( | cartesian_point, direction, representation_context, geometric_representation_context);
WHERE
WRRC1 | : | (* ensure that the count of coordinates of each cartesian_point matches the coordinate_space_dimension of each geometric_context in which it is geometrically_founded *) SIZEOF(QUERY(x <* cartesian_point| SIZEOF(QUERY (y <* geometric_representation_context | item_in_context(x,y) AND (HIINDEX(x.coordinates) <> y.coordinate_space_dimension))) > 0 )) =0;
WRRC2 | : | (* ensure that the count of direction_ratios of each direction matches the coordinate_space_dimension of each geometric_context in which it is geometrically_founded *) SIZEOF(QUERY(x <* direction | SIZEOF( QUERY (y <* geometric_representation_context | item_in_context(x,y) AND (HIINDEX(x.direction_ratios) <> y.coordinate_space_dimension))) > 0 )) = 0;
END_RULE;