MCPcopy Create free account

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

Functions675 in github.com/google-deepmind/alphageometry

⨍ Functions 675◇ Types & classes 52
Functionbeam_search_flat
Beam search for LM. inputs and cache is already flat! i.e. first dimention == batch*beam. Args: seed_token: array: [beam_size, 1] int32 sequ
beam_search.py:227
Functionbeam_search_loop_body_fn
Beam search loop state update function.
beam_search.py:292
Functionbeam_search_loop_cond_fn
Beam search loop termination condition.
beam_search.py:267
Functionbfs_one_level
Forward deduce one breadth-first level.
dd.py:1008
Functioncheck
Numerical check.
numericals.py:624
Functioncheck_aconst
(args: list[Point])
numericals.py:615
Functioncheck_circle
(points: list[Point])
numericals.py:652
Functioncheck_cong
(points: list[Point])
numericals.py:798
Functioncheck_const_angle
Check if the angle is equal to the given constant.
numericals.py:735
Functioncheck_contri
(points: list[Point])
numericals.py:823
Functioncheck_cyclic
(points: list[Point])
numericals.py:703
Functioncheck_eqratio
(points: list[Point])
numericals.py:789
Functioncheck_midp
(points: list[Point])
numericals.py:803
Functioncheck_ncoll
(points: list[Point])
numericals.py:669
Functioncheck_para_or_coll
(points: list[Point])
numericals.py:683
Functioncheck_perp
(points: list[Point])
numericals.py:696
Functioncheck_ratio
(points: list[Point])
numericals.py:839
Functioncheck_sameside
(points: list[Point])
numericals.py:673
Functioncheck_simtri
Check if 6 points make a pair of similar triangles.
numericals.py:808
Functioncircle_of_and_why
Why points are concyclic.
geometry.py:456
Functioncomb3
(elems)
graph_utils.py:55
Functioncomb4
(elems)
graph_utils.py:68
Functioncompare_fn
(dep: Dependency)
problem.py:132
Methodcond_fn
(scan_state)
models.py:153
Methodcopy
(self)
problem.py:190
Methodcopy
(self)
problem.py:704
Functioncreate_consts
(g: Graph, p: gm.Node)
graph.py:3048
Functioncreate_consts_str
(g: Graph, s: str)
graph.py:3036
Functioncross
(elems1, elems2)
graph_utils.py:30
Methoddecode_list
(self, tokens: list[int])
lm_inference.py:90
Methoddirections
(self)
geometry.py:494
Methoddistance2
(self, p: Point)
numericals.py:96
Functiondo_algebra
( g: gh.Graph, added: list[pr.Dependency], verbose: bool = False )
dd.py:1138
Methoddot
(self, other: Point)
numericals.py:137
Functiondraw
Draw everything on the same canvas.
numericals.py:1203
Methoddraw_fn
()
graph.py:2606
Methodequal
(self, other: Line)
numericals.py:199
Functionfix
(e: dict[str, float])
ar.py:69
Functionflat_batch_beam_expand
Expands the each batch item by beam_size in batch_dimension.
beam_search.py:108
Functionfrac_string
(f: frac)
ar.py:73
Methodfrom_string
(cls, string: str, to_dict: bool = False)
problem.py:307
Methodfrom_txt
(cls, data: str)
problem.py:53
Methodfrom_txt
Load a problem from a str object.
problem.py:161
Methodfrom_txt
Load definitions from a str object.
problem.py:319
Methodfrom_txt
(cls, data: str)
problem.py:405
Methodfrom_txt_file
(cls, fname: str, to_dict: bool = False)
problem.py:301
Methodfrom_txt_file
(cls, fname: str, to_dict: bool = False)
problem.py:378
Functiongather_fn
(x)
beam_search.py:131
Methodget_all_eqs_and_why
( self, return_quads: bool )
ar.py:540
Methodget_all_eqs_and_why
(self)
ar.py:587
Methodget_all_eqs_and_why
(self)
ar.py:710
Methodget_circles_thru_all
(self, *points: list[Point])
graph.py:1480
Methodget_fake_input
(self)
models.py:36
Methodget_first_angle
Get a first angle between line l1 and line l2.
graph.py:1130
Methodget_lines_thru_all
(self, *points: list[gm.Point])
graph.py:825
Functionget_logs
Given a DAG and conclusion N, return the premise, aux, proof.
trace_back.py:273
Functionget_proof_steps
Extract proof steps from the built DAG.
ddar.py:134
Methodinit_decoder_state_vanilla
Initialize decoder state for autoregressive generation. Args: sequence_length: The maximum length of the sequence to generate. start_
transformer_layer.py:487
Methodintersect
(self, obj: Union[Line, HalfLine, Circle, HoleCircle])
numericals.py:327
Methodintersect
(self, obj: Union[Line, Circle])
numericals.py:422
Methodintersect
(self, obj: Union[Line, HalfLine, Circle, HoleCircle])
numericals.py:450
Functionis_equal
(x: Node, y: Node, level: int = None)
geometry.py:295
Methodis_same
(self, other: Point)
numericals.py:143
Methodis_same
(self, other: Line)
numericals.py:288
Methodlengths
(self)
geometry.py:519
Methodless_than
(self, other: Line)
numericals.py:205
Functionline_of_and_why
Why points are collinear.
geometry.py:429
Functionline_segment_intersection
(l: Line, A: Point, B: Point)
numericals.py:569
Methodloop_fn
(scan_state: Any)
models.py:157
Functionmain
(_)
alphageometry.py:604
Functionmap_symbol
(c: str)
pretty.py:43
Functionmatch_circle_coll_eqangle_midp
Match circle O A B C, coll M B C, eqangle A B A C O B O M => midp M B C.
dd.py:170
Functionmatch_circle_eqangle_perp
Match circle O A B C, eqangle A X A B C A C B => perp O A A X.
dd.py:242
Functionmatch_circle_perp_eqangle
Match circle O A B C, perp O A A X => eqangle A X A B C A C B.
dd.py:283
Functionmatch_cong_cong_cong_cyclic
Match cong O A O B, cong O B O C, cong O C O D => cyclic A B C D.
dd.py:462
Functionmatch_cong_cong_cong_ncoll_contri
Match cong A B P Q, cong B C Q R, cong C A R P, ncoll A B C => contri* A B C P Q R.
dd.py:481
Functionmatch_cong_cong_eqangle6_ncoll_contri
Match cong A B P Q, cong B C Q R, eqangle6 B A B C Q P Q R, ncoll A B C => contri* A B C P Q R.
dd.py:500
Functionmatch_cyclic_eqangle
Match cyclic A B P Q => eqangle P A P B Q A Q B.
dd.py:429
Functionmatch_cyclic_eqangle_cong
Match cyclic A B C P Q R, eqangle C A C B R P R Q => cong A B P Q.
dd.py:227
Functionmatch_eqangle6_coll_ncoll_eqratio6
Match eqangle6 a b a d a d a c, coll d b c, ncoll a b c => eqratio6 d b d c a b a c.
dd.py:747
Functionmatch_eqangle6_eqangle6_ncoll_cong_contri
Match eqangle6 B A B C Q P Q R, eqangle6 C A C B R P R Q, ncoll A B C, cong A B P Q => contri A B C P Q R.
dd.py:648
Functionmatch_eqangle6_eqangle6_ncoll_cong_contri2
Match eqangle6 B A B C Q R Q P, eqangle6 C A C B R Q R P, ncoll A B C, cong A B P Q => contri2 A B C P Q R.
dd.py:702
Functionmatch_eqangle6_eqangle6_ncoll_simtri
Match eqangle6 B A B C Q P Q R, eqangle6 C A C B R P R Q, ncoll A B C => simtri A B C P Q R.
dd.py:569
Functionmatch_eqangle6_eqangle6_ncoll_simtri2
Match eqangle6 B A B C Q R Q P, eqangle6 C A C B R Q R P, ncoll A B C => simtri2 A B C P Q R.
dd.py:617
Functionmatch_eqangle6_ncoll_cong
Match eqangle6 A O A B B A B O, ncoll O A B => cong O A O B.
dd.py:327
Functionmatch_eqangle6_ncoll_cyclic
Match eqangle6 P A P B Q A Q B, ncoll P Q A B => cyclic A B P Q.
dd.py:766
Functionmatch_eqangle_eqangle_eqangle
Match eqangle a b c d m n p q, eqangle c d e f p q r u => eqangle a b e f m n r u.
dd.py:96
Functionmatch_eqangle_ncoll_cyclic
Match eqangle6 P A P B Q A Q B, ncoll P Q A B => cyclic A B P Q.
dd.py:369
Functionmatch_eqangle_para
Match eqangle A B P Q C D P Q => para A B C D.
dd.py:405
Functionmatch_eqangle_perp_perp
Match eqangle A B P Q C D U V, perp P Q U V => perp A B C D.
dd.py:342
Functionmatch_eqratio6_coll_ncoll_eqangle6
Match eqratio6 d b d c a b a c, coll d b c, ncoll a b c => eqangle6 a b a d a d a c.
dd.py:728
Functionmatch_eqratio6_eqangle6_ncoll_simtri
Match eqratio6 B A B C Q P Q R, eqratio6 C A C B R P R Q, ncoll A B C => simtri* A B C P Q R.
dd.py:543
Functionmatch_eqratio6_eqratio6_ncoll_cong_contri
Match eqratio6 B A B C Q P Q R, eqratio6 C A C B R P R Q, ncoll A B C, cong A B P Q => contri* A B C P Q R.
dd.py:675
Functionmatch_eqratio6_eqratio6_ncoll_simtri
Match eqratio6 B A B C Q P Q R, eqratio6 C A C B R P R Q, ncoll A B C => simtri* A B C P Q R.
dd.py:593
Functionmatch_eqratio_eqratio_eqratio
Match eqratio a b c d m n p q, eqratio c d e f p q r u => eqratio a b e f m n r u.
dd.py:49
Functionmatch_fn
(name: str)
dd.py:816
Functionmatch_midp_perp_cong
Match midp M A B, perp O M A B => cong O A O B.
dd.py:212
Functionmatch_perp_perp_ncoll_para
Match perp A B C D, perp C D E F, ncoll A B E => para A B E F.
dd.py:302
Functionmatch_perp_perp_npara_eqangle
Match perp A B C D, perp E F G H, npara A B E F => eqangle A B E F C D G H.
dd.py:143
Methodmerge
(self, nodes: list[Node], deps: list[Any])
geometry.py:119
← previousnext →401–500 of 675, ranked by callers