MCPcopy Create free account

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

Functions675 in github.com/google-deepmind/alphageometry

⨍ Functions 675◇ Types & classes 52
↓ 4 callersMethodmake_equal_pairs
Add ab/cd = mn/pq in case either two of (ab,cd,mn,pq) are equal.
graph.py:1573
↓ 4 callersMethodname
(self, l: gm.Line, p: gm.Point)
ar.py:680
↓ 4 callersFunctionnatural_language_statement
Convert logical_statement to natural language. Args: logical_statement: pr.Dependency with .name and .args Returns: a string of (pseudo)
alphageometry.py:83
↓ 4 callersFunctionpretty_angle
(a: str, b: str, c: str, d: str)
pretty.py:82
↓ 4 callersMethodregister
Register a new equality vc=[(v, c), ..] with traceback dependency dep.
ar.py:339
↓ 4 callersFunctionsketch_bisect
(args: tuple[gm.Point, ...])
numericals.py:1526
↓ 4 callersMethodwhy
AR traceback == MILP.
ar.py:376
↓ 4 callersFunctionwhy_eqangle
Why two angles are equal, returns a Dependency objects.
problem.py:518
↓ 4 callersMethodwhy_rep
(self)
geometry.py:82
↓ 3 callersMethod_get_or_create_ratio
( self, s1: Segment, s2: Segment, deps: Dependency )
graph.py:2055
↓ 3 callersMethod_setup_equality_example
(self)
geometry_test.py:25
↓ 3 callersMethodadd_algebra
Add new algebraic predicates.
graph.py:178
↓ 3 callersMethodadd_coll
Add a predicate that `points` are collinear.
graph.py:919
↓ 3 callersMethodall_eqangles_8points
List all sets of 8 points that make two equal angles.
graph.py:2759
↓ 3 callersMethodall_eqratios_8points
List all sets of 8 points that make two equal ratios.
graph.py:2876
↓ 3 callersMethodall_midps
(self)
graph.py:3007
↓ 3 callersMethodbeam_decode
Beam search.
lm_inference.py:146
↓ 3 callersMethodcheck_circle
(self, points: list[Point])
graph.py:1476
↓ 3 callersMethodcheck_midp
(self, points: list[Point])
graph.py:1456
↓ 3 callersMethodcheck_npara
(self, points: list[Point])
graph.py:1117
↓ 3 callersMethodcheck_perpl
(self, ab: Line, cd: Line)
graph.py:1311
↓ 3 callersMethodcopy
(self)
problem.py:606
↓ 3 callersMethoddecode
(self, ids: list[int])
lm_inference.py:87
↓ 3 callersMethodderive_algebra
Derive new algebraic predicates.
graph.py:370
↓ 3 callersFunctiondraw_angle
Draw an angle on plt ax.
numericals.py:846
↓ 3 callersMethodencode_list
(self, inputs_strs: list[str])
lm_inference.py:96
↓ 3 callersMethodflip
(self)
numericals.py:111
↓ 3 callersMethodget_new_line_thru_pair
(self, p1: Point, p2: Point)
graph.py:884
↓ 3 callersMethodmap2obj
(self, names: list[str])
ar.py:537
↓ 3 callersMethodmerge_into
Merge nodes1 into a single node0.
graph.py:619
↓ 3 callersMethodmodulo
(self, e: dict[str, float])
ar.py:464
↓ 3 callersMethodnames2points
Return Point objects given names.
graph.py:549
↓ 3 callersMethodparallel_line
(self, p: Point)
numericals.py:174
↓ 3 callersFunctionperm2
(elems: list[Any])
ar.py:168
↓ 3 callersFunctionpretty2a
(a: str, b: str, c: str, d: str)
pretty.py:72
↓ 3 callersFunctionpretty2r
(a: str, b: str, c: str, d: str)
pretty.py:62
↓ 3 callersFunctionrotate_contri
( a: gm.Point, b: gm.Point, c: gm.Point, x: gm.Point, y: gm.Point, z: gm.Point )
dd.py:641
↓ 3 callersMethodrotatea
(self, ang: float)
numericals.py:103
↓ 3 callersFunctionrun_ddar
Run DD+AR. Args: g: gh.Graph object, containing the proof state. p: pr.Problem object, containing the problem statement. out_file: path
alphageometry.py:206
↓ 3 callersMethodset_directions
(self, d1: Direction, d2: Direction)
geometry.py:490
↓ 3 callersMethodset_lengths
(self, l1: Length, l2: Length)
geometry.py:515
↓ 3 callersMethodsetup_str_from_problem
Construct the <theorem_premises> string from Problem object.
problem.py:217
↓ 3 callersFunctionsimplify
(n: int, d: int)
ar.py:38
↓ 3 callersFunctionsolve_quad
Solve a x^2 + bx + c = 0.
numericals.py:470
↓ 3 callersMethodwhy_me
Figure out the dependencies predicates of self.
problem.py:722
↓ 2 callersMethod_add_eqangle
Add eqangle core.
graph.py:1692
↓ 2 callersMethod_add_eqratio
Add a new eqratio from 8 points (core).
graph.py:2120
↓ 2 callersFunction_check_between
Whether a is between b & c.
numericals.py:550
↓ 2 callersFunction_comb2
(elems)
graph_utils.py:34
↓ 2 callersMethod_create_const_ang
(self, n: int, d: int)
graph.py:143
↓ 2 callersMethod_create_const_rat
(self, n: int, d: int)
graph.py:149
↓ 2 callersFunction_draw_circle
( ax: matplotlib.axes.Axes, c: Circle, color: Any = 'cyan', lw: float = 1.2 )
numericals.py:994
↓ 2 callersFunction_perpendicular_bisector
(p1: Point, p2: Point)
numericals.py:374
↓ 2 callersMethod_why_coll4
( self, a: Point, b: Point, ab: Line, c: Point, d: Point, cd: Line,
graph.py:1040
↓ 2 callersFunctionadd_beam_dim
Creates new beam dimension in non-scalar array and tiles into it.
beam_search.py:66
↓ 2 callersMethodadd_clause
Add a new clause of construction, e.g. a new excenter.
graph.py:2536
↓ 2 callersMethodadd_contri
Add two congruent triangles.
graph.py:2415
↓ 2 callersMethodadd_contri2
Add two congruent reflected triangles.
graph.py:2440
↓ 2 callersMethodadd_cyclic
Add a new cyclic predicate that 4 points are concyclic.
graph.py:1501
↓ 2 callersMethodadd_eq
(self, l1: gm.Length, l2: gm.Length, dep: pr.Dependency)
ar.py:566
↓ 2 callersMethodadd_eq3
(self, a: str, b: str, f: float, dep: pr.Dependency)
ar.py:433
↓ 2 callersMethodadd_eqrat_const
Add new algebraic predicates of type eqratio-constant.
graph.py:233
↓ 2 callersMethodadd_eqratio3
Add three eqratios through a list of 6 points (due to parallel lines).
graph.py:2093
↓ 2 callersMethodadd_free
(self, v: str)
ar.py:292
↓ 2 callersMethodadd_piece
Add a new predicate.
graph.py:680
↓ 2 callersMethodadd_s_angle
Add that an angle abx is equal to constant y.
graph.py:1895
↓ 2 callersMethodadd_simtri
Add two similar triangles.
graph.py:2372
↓ 2 callersMethodadd_simtri2
Add two similar reflected triangles.
graph.py:2397
↓ 2 callersFunctionall_4points
(l1, l2)
graph_utils.py:90
↓ 2 callersMethodall_colls
(self)
graph.py:3002
↓ 2 callersMethodall_congs
(self)
graph.py:2868
↓ 2 callersMethodall_cyclics
(self)
graph.py:2997
↓ 2 callersMethodall_paras
(self)
graph.py:2851
↓ 2 callersMethodall_perps
(self)
graph.py:2857
↓ 2 callersMethodall_same_line
( self, a: Point, b: Point )
graph.py:2469
↓ 2 callersFunctionapply_derivations
( g: gh.Graph, derives: dict[str, list[tuple[gm.Point, ...]]] )
dd.py:1148
↓ 2 callersFunctionbfs_backtrack
Return the path given BFS trace of parent nodes.
geometry.py:305
↓ 2 callersFunctionbrevity_penalty
Brevity penalty function for beam search penalizing short sequences. Args: alpha: float: brevity-penalty scaling parameter. length: int: le
beam_search.py:47
↓ 2 callersFunctioncache_match
Cache throughout one single BFS level.
dd.py:810
↓ 2 callersMethodcheck_aconst
Check if the angle is equal to a certain constant.
graph.py:1953
↓ 2 callersMethodcheck_nperp
(self, points: list[Point])
graph.py:1329
↓ 2 callersMethodcheck_para_or_coll
(self, points: list[Point])
graph.py:1103
↓ 2 callersMethodcheck_rconst
Check whether a ratio is equal to some given constant.
graph.py:2244
↓ 2 callersMethodcheck_sameside
(self, points: list[Point])
graph.py:1002
↓ 2 callersFunctioncheck_too_close
( newpoints: list[Point], points: list[Point], tol: int = 0.1 )
numericals.py:588
↓ 2 callersFunctioncheck_too_far
( newpoints: list[Point], points: list[Point], tol: int = 4 )
numericals.py:602
↓ 2 callersFunctioncollx_to_coll_setup
Convert collx to coll in setups.
trace_back.py:208
↓ 2 callersMethodcopy
Make a copy of self.
graph.py:128
↓ 2 callersFunctiondiff_point
(l: gm.Line, a: gm.Point)
dd.py:38
↓ 2 callersMethodencode
(self, inputs_str: str)
lm_inference.py:93
↓ 2 callersMethodenum_sides
( self, points: list[Point] )
graph.py:2348
↓ 2 callersMethodenum_triangle2
( self, points: list[Point] )
graph.py:2364
↓ 2 callersMethodextend_many
Extend the dependency list by many name_args.
problem.py:626
↓ 2 callersFunctionflatten_beam_dim
Flattens the first two dimensions of a non-scalar array.
beam_search.py:93
↓ 2 callersFunctionfn
(array: Array, idx: Array)
transformer_layer.py:48
↓ 2 callersMethodfrom_string
Load deduction rule from a str object.
problem.py:384
↓ 2 callersMethodget_all_eqs_and_why
(self)
ar.py:655
↓ 2 callersMethodget_new_circle_thru_triplet
Get a new Circle that goes thru three given Points.
graph.py:861
↓ 2 callersMethodget_or_create_angle_d
Get or create an angle between two Direction d1 and d2.
graph.py:1155
↓ 2 callersFunctionget_quotient
(v: float)
ar.py:50
← previousnext →101–200 of 675, ranked by callers