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
Generally it seems we need to migrate the solver in transforms.py to use python floats, since sympy has unreliable performance for edge cases which will be too complicated to try and track.
https://github.com/probcomp/sum-product-dsl/blob/95c0daf08af9eea974e0053a45ec9d462e18dbfc/src/transforms.py#L593
Test case
The final call will cause sympy to hang, which cannot evaluate two raised to a large Rational, specifically:
The text was updated successfully, but these errors were encountered: