See Section 13.16.12 for checking for perpendicularity in two-dimensional geometry.
The is_perpendicular command determines if two objects are perpendicular.
Note that two lines must be coplanar to be perpendicular.
Examples.
| 0 |
| P1:= plane([0,0,0],[1,2,-3],[1,1,-2]) |
| P2:= plane([-1,-1,-1],1,2,-3],[0,0,0]) |
| is_perpendicular(P1,P2) |
| 1 |
| L:= plane([2,3,-2],[-1,-1,-1]) |
| is_perpendicular(L,P1) |
| 0 |