See section 12.13.4 for checking for perpendicularity in three-dimensional geometry.
The is_perpendicular command is a Boolean function which takes as argument two lines.
is_perpendicular returns 1 if the lines are
perpendicular and returns 0 otherwise.
Input:
Output:
Input:
Output: