google-deepmind / google-deepmind/alphageometry

TypeError while parsing problems in imo_ag_30.txt

Open
#151 1 comment 0 reactions 0 assignees View on GitHub
Dominant language
Python
Stars
4.9k
Forks
572
PR merge metrics
No merged PRs in 30d

Description

I tried running the alphageometry tool on the problems in imo_ag_30.txt.
The tool ran fine for some of the problems but for several of them, I get an error. Specifically, running the following command:
```
python -m alphageometry \
--alsologtostderr \
--problems_file=$(pwd)/imo_ag_30.txt \
--problem_name=translated_imo_2005_p5 \
--mode=ddar \
"${DDAR_ARGS[@]}" \
"${SEARCH_ARGS[@]}" \
"${LM_ARGS[@]}"
```
results in the following error:

```
I1206 21:37:19.515453 140168746628288 graph.py:499] a b c = triangle a b c; d = eqdistance d a b c; e = on_line e b c; f = on_line f a d, eqdistance f d e b; p = on_line p a c, on_line p b d; q = on_line q e f, on_line q b d; r = on_line r e f, on_line r a c; o1 = circle o1 a p d; o2 = circle o2 b p c; m = on_circle m o1 p, on_circle m o2 p ? cyclic p q r m
Traceback (most recent call last):
File "/home/miniconda3/envs/alphageometry/lib/python3.10/runpy.py", line 196, in _run_module_as_main
return _run_code(code, main_globals, None,
File "/home/miniconda3/envs/alphageometry/lib/python3.10/runpy.py", line 86, in _run_code
exec(code, run_globals)
File "/home/repos/test/alphageometry/alphageometry.py", line 651, in
app.run(main)
File "/home/miniconda3/envs/alphageometry/lib/python3.10/site-packages/absl/app.py", line 308, in run
_run_main(main, args)
File "/home/miniconda3/envs/alphageometry/lib/python3.10/site-packages/absl/app.py", line 254, in _run_main
sys.exit(main(argv))
File "/home/repos/test/alphageometry/alphageometry.py", line 633, in main
g, _ = gh.Graph.build_problem(this_problem, DEFINITIONS)
File "/home/repos/test/alphageometry/graph.py", line 523, in build_problem
check = nm.check(pr.goal.name, args)
File "/home/repos/test/alphageometry/numericals.py", line 649, in check
return fun(args)
File "/home/repos/test/alphageometry/numericals.py", line 705, in check_cyclic
(a, b, c), *ps = points
TypeError: cannot unpack non-iterable Point object
```

A similar error is encountered for problems `translated_imo_2008_p1a`, `translated_imo_2008_p1b`,`translated_imo_2019_p2`,
`translated_imo_2022_p4`.

Is there a workaround for this? Is this an issue in the syntax of the problems in the file?

Contributor guide

Open the contributing guide

Assessment

This issue has not been assessed yet.

Get new issues in your inbox

A short digest of beginner-friendly GitHub issues.