Navigation

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;