google-deepmind / google-deepmind/alphageometry
TypeError while parsing problems in imo_ag_30.txt
- 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
Assessment
This issue has not been assessed yet.