Unexpected behavior on a factored system about bosphorus

[msoos]

Hi,

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 :)

Thanks again,

Mate

[msoos]

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!

[msoos]

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 :)