MCPcopy Create free account
hub / github.com/google-deepmind/alphageometry / _why_coll8

Method _why_coll8

graph.py:1052–1071  ·  view source on GitHub ↗

Dependency list of why 8 points are collinear.

(
      self,
      a: Point,
      b: Point,
      ab: Line,
      c: Point,
      d: Point,
      cd: Line,
      m: Point,
      n: Point,
      mn: Line,
      p: Point,
      q: Point,
      pq: Line,
      level: int,
  )

Source from the content-addressed store, hash-verified

1050 return self._why_coll2(a, b, ab, level) + self._why_coll2(c, d, cd, level)
1051
1052 def _why_coll8(
1053 self,
1054 a: Point,
1055 b: Point,
1056 ab: Line,
1057 c: Point,
1058 d: Point,
1059 cd: Line,
1060 m: Point,
1061 n: Point,
1062 mn: Line,
1063 p: Point,
1064 q: Point,
1065 pq: Line,
1066 level: int,
1067 ) -> list[Dependency]:
1068 """Dependency list of why 8 points are collinear."""
1069 why8 = self._why_coll4(a, b, ab, c, d, cd, level)
1070 why8 += self._why_coll4(m, n, mn, p, q, pq, level)
1071 return why8
1072
1073 def add_para(
1074 self, points: list[Point], deps: EmptyDependency

Callers

nothing calls this directly

Calls 1

_why_coll4Method · 0.95

Tested by

no test coverage detected