The Belyi code already has a Polredabs function. There is another version here in BelyiDB. It's not a good idea to have competing versions.
I had problems with our old version of Polredabs, and I think everyone who is running BelyiDB will also run Belyi (probably it's a required dependency?), which means that we should use the Belyi version, and clean up the calls to it.
The Belyi code already has a Polredabs function. There is another version here in BelyiDB. It's not a good idea to have competing versions.
I had problems with our old version of Polredabs, and I think everyone who is running BelyiDB will also run Belyi (probably it's a required dependency?), which means that we should use the Belyi version, and clean up the calls to it.