Orientation test (symbolic computation)