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 |