Closed navidmokh closed 2 years ago
Yes, I simply rebased this commit on top of the current master, apologies for the confusion.
@navidmokh Thanks for proposing these changes. I renamed this pull request because I would not describe this as an issue of correctness. We will eventually revisit how precision is tuned in polytope
, but for now, propagating the argument in a few locations is a good practical change.
Relevant to #55.