Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

TypeError while parsing problems in imo_ag_30.txt #151

Open
adharshkamath opened this issue Dec 7, 2024 · 0 comments
Open

TypeError while parsing problems in imo_ag_30.txt #151

adharshkamath opened this issue Dec 7, 2024 · 0 comments

Comments

@adharshkamath
Copy link

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?

@adharshkamath adharshkamath changed the title TypeError while running imo_ag_30.txt TypeError while running on problems in imo_ag_30.txt Dec 7, 2024
@adharshkamath adharshkamath changed the title TypeError while running on problems in imo_ag_30.txt TypeError while parsing problems in imo_ag_30.txt Dec 7, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

No branches or pull requests

1 participant