See Section 14.13.13 for checking for rhombuses in three-dimensional geometry.
The is_rhombus command determines whether or not a geometric object is a rhombus.
Examples.
| 1 |
| K:= rhombus(1+i, -1+i, pi/4) |
| is_rhombus(K) |
| 1 |
| K:= rhombus(1+i, -1+i, pi/4, C, D) |
| is_rhombus(K[0]) |
| 1 |
| − | √ |
| −i, − | √ |
| +i |
| 0 |