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
Since we don't cache the result of delta_x(), when comparing the output of create_discrete_sample() with delta_x(), it'll be wrong unless you set the seed. We could cache the box, or allow inputting the box itself to create_discrete_sample().
The text was updated successfully, but these errors were encountered:
Since we don't cache the result of
delta_x()
, when comparing the output ofcreate_discrete_sample()
withdelta_x()
, it'll be wrong unless you set the seed. We could cache the box, or allow inputting the box itself tocreate_discrete_sample()
.The text was updated successfully, but these errors were encountered: