(args: tuple[gm.Point, ...])
| 1793 | |
| 1794 | |
| 1795 | def sketch_reflect(args: tuple[gm.Point, ...]) -> Point: |
| 1796 | a, b, c = args |
| 1797 | m = a.foot(Line(b, c)) |
| 1798 | return m * 2 - a |
| 1799 | |
| 1800 | |
| 1801 | def sketch_risos(args: tuple[gm.Point, ...]) -> tuple[Point, ...]: |