egolf-cs

Gruntz should have been free of _w, value error, recursion error

6

I'm trying to apply gruntz to the following limit ``` G = "(-sqrt(5)*(3/2 - sqrt(5)/2)**k + 5*(3/2 - sqrt(5)/2)**k + (sqrt(5)/2 + 3/2)**k*(sqrt(5) + 5))/(-3*sqrt(5)*(3/2 - sqrt(5)/2)**k + 5*(3/2 -...

Gruntz sign function, imaginary number

2

`G = (-2*sqrt(5)*(-1 + sqrt(5))*(1/2 - sqrt(5)/2)**k/5 - 2*sqrt(5)*(1/2 + sqrt(5)/2)**k*(1 + sqrt(5))/5)/(-2*sqrt(5)*(-1 + sqrt(5))*(1/2 - sqrt(5)/2)**k/5 + (-1 + sqrt(5))*(1/2 - sqrt(5)/2)**k*(sqrt(5)/5 + 1) - 2*sqrt(5)*(1/2 + sqrt(5)/2)**k*(1 +...

This is a feature request. If I have BDD A over variables v1..v50 and BDD B over variables v51..v100, then I believe A & B reduces to a sort of...

Trying to set incremental mode, but not compiled properly for this.

2

I get the error `Trying to set incremental mode, but not compiled properly for this.` when trying to instantiate `Solver(name="g42", incr=True)` How can I recompile the appropriate component to support...