probsys / sppl

Probabilistic programming system for fast and exact symbolic inference
Apache License 2.0
76 stars 10 forks source link

FiniteSet('-v1') will by a sympy mul, not a sympy symbol. #26

Closed fsaad closed 4 years ago

fsaad commented 4 years ago

Currently it converts them to integers.

fsaad commented 4 years ago

https://github.com/probcomp/sum-product-dsl/commit/5d5020d9b8ddaba2478e0eecfbce54cb2c1ae3cc