See Section 13.16.5 for checking for equilateral triangles in two-dimensional geometry.
The is_equilateral command determines whether or not a geometric object is an equilateral triangle.
Examples.
| 1 |
| T:= triangle_equilateral([2,0,0],[0,0,0],[1,sqrt(3),0]) |
| is_equilateral(T) |
| 1 |
| 0 |