(
ax: matplotlib.axes.Axes, p1: Point, p2: Point, color: Any, alpha: float
)
| 1031 | |
| 1032 | |
| 1033 | def mark_segment( |
| 1034 | ax: matplotlib.axes.Axes, p1: Point, p2: Point, color: Any, alpha: float |
| 1035 | ) -> None: |
| 1036 | _ = alpha |
| 1037 | x, y = (p1.x + p2.x) / 2, (p1.y + p2.y) / 2 |
| 1038 | ax.scatter(x, y, color=color, alpha=1.0, marker='o', s=50) |
| 1039 | |
| 1040 | |
| 1041 | def highlight_angle( |