See Section 25.11.4 for checking for perpendicularity in three-dimensional geometry.
The is_perpendicular command determines whether or not two lines are perpendicular.