You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
However, a bosphorus call on this system still produce a solution (which is not a solution
of the problem however). After inspecting the output with option --anfwrite, it seems that
some parsing is still going on and that a system is somehow produced, which is pretty odd.
Is it a feature, or should the parser raise an error because the system is not in ANF ?
The text was updated successfully, but these errors were encountered:
Thanks for the report! Parser should raise an error. It misparses the system. This is a bug, I'm flagging it as such. If you wanna have a go at it, the parsing function is here: https://github.com/meelgroup/bosphorus/blob/master/src/anf.cpp#L100 Otherwise, we'll try to fix :)
Ah, I figured out what's going on. It ignores all brackets because people sometimes write x(1) and sometimes they write x1. I am now creating a test case to check for this!
Yay, fixed it! Also, thanked you in the commit :) Thanks again for reporting, and sorry for the delay. I also added a bunch of tests so we should be able to catch these next time without much further ado :)
I tried to solve the following system which is not in ANF (ternary factorized system):
However, a bosphorus call on this system still produce a solution (which is not a solution
of the problem however). After inspecting the output with option --anfwrite, it seems that
some parsing is still going on and that a system is somehow produced, which is pretty odd.
Is it a feature, or should the parser raise an error because the system is not in ANF ?
The text was updated successfully, but these errors were encountered: