alphageometry
alphageometry copied to clipboard
TypeError while parsing problems in imo_ag_30.txt
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 <module>
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?
I have met the same error as you. Can you tell me how you solved the problem? Thanks!