Add that distance between p1 and p2 (on l12) == p3 and p4 (on l34).
(
self,
l12: gm.Line,
l34: gm.Line,
p1: gm.Point,
p2: gm.Point,
p3: gm.Point,
p4: gm.Point,
dep: pr.Dependency,
)
| 686 | return [self.v2obj[n][1] for n in names] |
| 687 | |
| 688 | def add_cong( |
| 689 | self, |
| 690 | l12: gm.Line, |
| 691 | l34: gm.Line, |
| 692 | p1: gm.Point, |
| 693 | p2: gm.Point, |
| 694 | p3: gm.Point, |
| 695 | p4: gm.Point, |
| 696 | dep: pr.Dependency, |
| 697 | ) -> None: |
| 698 | """Add that distance between p1 and p2 (on l12) == p3 and p4 (on l34).""" |
| 699 | if p2.num > p1.num: |
| 700 | p1, p2 = p2, p1 |
| 701 | if p4.num > p3.num: |
| 702 | p3, p4 = p4, p3 |
| 703 | |
| 704 | p1 = self.name(l12, p1) |
| 705 | p2 = self.name(l12, p2) |
| 706 | p3 = self.name(l34, p3) |
| 707 | p4 = self.name(l34, p4) |
| 708 | return super().add_eq4(p1, p2, p3, p4, dep) |
| 709 | |
| 710 | def get_all_eqs_and_why(self) -> Generator[Any, None, None]: |
| 711 | for x in super().get_all_eqs_and_why(True): |