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 |