See Section 14.13.11 for checking for right triangles and rectangles in three-dimensional geometry.
The is_rectangle command determines whether or not a geometric object is an rectangle or a right triangle.
Example.
Input:
Output:
| 2 |
| 1 |
| R:= rectangle(-2-i,1-i, 3, C, D) |
| is_rectangle(R[0]) |
| 1 |
| −2+8 i,1+8 i |