(
self, points: list[Point], deps: EmptyDependency
)
| 2082 | return r12, r21, why1 + why2 |
| 2083 | |
| 2084 | def add_cong2( |
| 2085 | self, points: list[Point], deps: EmptyDependency |
| 2086 | ) -> list[Dependency]: |
| 2087 | m, n, a, b = points |
| 2088 | add = [] |
| 2089 | add += self.add_cong([m, a, n, a], deps) |
| 2090 | add += self.add_cong([m, b, n, b], deps) |
| 2091 | return add |
| 2092 | |
| 2093 | def add_eqratio3( |
| 2094 | self, points: list[Point], deps: EmptyDependency |