MCPcopy Create free account

hub / github.com/google-deepmind/alphageometry / functions

Functions675 in github.com/google-deepmind/alphageometry

⨍ Functions 675◇ Types & classes 52
Methodmerge_vals
(self, vx: gm.Node, vy: gm.Node, deps: Dependency)
graph.py:1031
Methodmidpoint
(self, p: Point)
numericals.py:84
Methodmodulo
(self, e: dict[str, float])
ar.py:599
Functionname_map
(struct: Any)
geometry.py:471
Methodnames2points_or_int
Return Point objects given names.
graph.py:565
Methodnew_val
(self)
geometry.py:333
Methodnew_val
(self)
geometry.py:368
Methodnew_val
(self)
geometry.py:487
Methodnew_val
(self)
geometry.py:512
Methodnull_iter_fn
()
lm_inference.py:43
Methodobj
(self)
geometry.py:157
Methodparallel_line
(self, line: Line)
numericals.py:126
Functionperm3
(elems)
graph_utils.py:114
Functionperm4
(elems)
graph_utils.py:131
Methodperpendicular_line
(self, line: Line)
numericals.py:114
Methodpoint_at
Get a point on line closest to (x, y).
numericals.py:247
Functionpoint_log
Reformat setup into groups of point constructions.
trace_back.py:53
Functionpretty
Pretty formating a predicate string.
pretty.py:150
Functionpretty_nl
Natural lang formatting a predicate.
pretty.py:93
Methodrange_fn
()
graph.py:2582
Functionreduce
Reduce intersecting objects into one point of intersections.
numericals.py:1297
Functionsame_clock
( a: Point, b: Point, c: Point, d: Point, e: Point, f: Point )
numericals.py:725
Functionsame_sign
( a: Point, b: Point, c: Point, d: Point, e: Point, f: Point )
numericals.py:379
Methodsample_within
(self, points: list[Point], n: int = 5)
numericals.py:350
Methodsample_within
Sample a point within the boundary of points.
numericals.py:428
MethodsetUpClass
(cls)
dd_test.py:31
MethodsetUpClass
(cls)
ar_test.py:28
MethodsetUpClass
(cls)
ddar_test.py:28
MethodsetUpClass
(cls)
graph_test.py:31
MethodsetUpClass
(cls)
trace_back_test.py:30
MethodsetUpClass
(cls)
lm_inference_test.py:34
MethodsetUpClass
(cls)
problem_test.py:26
Functionset_skip_theorems
(theorems: set[str])
dd.py:942
Methodsign
(self, line: Line)
numericals.py:140
Functionsimplify
(n: int, d: int)
pretty.py:57
Methodsingle_window_attention
( carry: tuple[Array, Array], inputs_w: tuple[Array, Array] )
transformer_layer.py:303
Functionsketch_2l1c
Sketch a circle touching two lines and another circle.
numericals.py:1397
Functionsketch_3peq
(args: tuple[gm.Point, ...])
numericals.py:1426
Functionsketch_acircle
(args: tuple[gm.Point, ...])
numericals.py:1481
Functionsketch_amirror
Sketch the angle mirror.
numericals.py:1510
Functionsketch_bline
(args: tuple[gm.Point, ...])
numericals.py:1540
Functionsketch_cc_tangent
Sketch tangents to two circles.
numericals.py:1562
Functionsketch_centroid
(args: tuple[gm.Point, ...])
numericals.py:1379
Functionsketch_circle
(args: tuple[gm.Point, ...])
numericals.py:1557
Functionsketch_cyclic
(args: tuple[gm.Point, ...])
numericals.py:1711
Functionsketch_e5128
(args: tuple[gm.Point, ...])
numericals.py:1599
Functionsketch_eq_quadrangle
Sketch quadrangle with two equal opposite sides.
numericals.py:1613
Functionsketch_eq_trapezoid
(args: tuple[gm.Point, ...])
numericals.py:1629
Functionsketch_eqangle2
Sketch the def eqangle2.
numericals.py:1642
Functionsketch_eqangle3
(args: tuple[gm.Point, ...])
numericals.py:1664
Functionsketch_eqdia_quadrangle
Sketch quadrangle with two equal diagonals.
numericals.py:1674
Functionsketch_excenter2
(args: tuple[gm.Point, ...])
numericals.py:1368
Functionsketch_free
(args: tuple[gm.Point, ...])
numericals.py:1691
Functionsketch_hcircle
(args: tuple[gm.Point, ...])
numericals.py:1594
Functionsketch_hline
(args: tuple[gm.Point, ...])
numericals.py:1716
Functionsketch_ieq_triangle
(args: tuple[gm.Point, ...])
numericals.py:1349
Functionsketch_incenter2
(args: tuple[gm.Point, ...])
numericals.py:1357
Functionsketch_isos
(args: tuple[gm.Point, ...])
numericals.py:1695
Functionsketch_isquare
(args: tuple[gm.Point, ...])
numericals.py:1845
Functionsketch_line
(args: tuple[gm.Point, ...])
numericals.py:1706
Functionsketch_midp
(args: tuple[gm.Point, ...])
numericals.py:1721
Functionsketch_ninepoints
(args: tuple[gm.Point, ...])
numericals.py:1388
Functionsketch_on_hline
(args: tuple[gm.Point, ...])
numericals.py:1344
Functionsketch_on_opline
(args: tuple[gm.Point, ...])
numericals.py:1339
Functionsketch_pentagon
(args: tuple[gm.Point, ...])
numericals.py:1726
Functionsketch_pline
(args: tuple[gm.Point, ...])
numericals.py:1740
Functionsketch_pmirror
(args: tuple[gm.Point, ...])
numericals.py:1745
Functionsketch_quadrangle
Sketch a random quadrangle.
numericals.py:1750
Functionsketch_r_trapezoid
(args: tuple[gm.Point, ...])
numericals.py:1768
Functionsketch_r_triangle
(args: tuple[gm.Point, ...])
numericals.py:1777
Functionsketch_rectangle
(args: tuple[gm.Point, ...])
numericals.py:1785
Functionsketch_reflect
(args: tuple[gm.Point, ...])
numericals.py:1795
Functionsketch_risos
(args: tuple[gm.Point, ...])
numericals.py:1801
Functionsketch_rotaten90
(args: tuple[gm.Point, ...])
numericals.py:1809
Functionsketch_rotatep90
(args: tuple[gm.Point, ...])
numericals.py:1815
Functionsketch_s_angle
(args: tuple[gm.Point, ...])
numericals.py:1821
Functionsketch_segment
(args: tuple[gm.Point, ...])
numericals.py:1828
Functionsketch_shift
(args: tuple[gm.Point, ...])
numericals.py:1833
Functionsketch_square
(args: tuple[gm.Point, ...])
numericals.py:1838
Functionsketch_tangent
(args: tuple[gm.Point, ...])
numericals.py:1551
Functionsketch_tline
(args: tuple[gm.Point, ...])
numericals.py:1854
Functionsketch_trapezoid
(args: tuple[gm.Point, ...])
numericals.py:1859
Functionsketch_triangle
(args: tuple[gm.Point, ...])
numericals.py:1871
Functionsketch_triangle12
(args: tuple[gm.Point, ...])
numericals.py:1880
Functionsketch_trisect
Sketch two trisectors of an angle.
numericals.py:1888
Functionsketch_trisegment
(args: tuple[gm.Point, ...])
numericals.py:1918
Functionsolve
Alternate between DD and AR until goal is found.
ddar.py:77
Methodtest_angle_table_equilateral_triangle
Test that AR can figure out triangles with 3 equal angles => each is pi/3.
ar_test.py:125
Methodtest_angle_table_inbisector_exbisector
Test that AR can figure out bisector & ex-bisector are perpendicular.
ar_test.py:88
Methodtest_beam_queue
(self)
alphageometry_test.py:91
Methodtest_bfs_for_equality_transitivity
(self)
geometry_test.py:72
Methodtest_build_graph_points
(self)
graph_test.py:42
Methodtest_build_graph_predicates
(self)
graph_test.py:52
Methodtest_comb2
(self)
graph_utils_test.py:36
Methodtest_comb3
(self)
graph_utils_test.py:42
Methodtest_comb4
(self)
graph_utils_test.py:51
Methodtest_cross
(self)
graph_utils_test.py:25
Methodtest_enumerate_circles
(self)
graph_test.py:155
Methodtest_enumerate_colls
(self)
graph_test.py:91
Methodtest_enumerate_congs
(self)
graph_test.py:112
← previousnext →501–600 of 675, ranked by callers