Skip to content
Commit e8391dbb authored by James Stevens's avatar James Stevens
Browse files

returned loopy.symbolic.CoefficientCollector to initial state, instead using... 

returned loopy.symbolic.CoefficientCollector to initial state, instead using modified coeff collector (that ignores denom in floor div) locally in stats gatherer; also created corresponding test
parent 9da8f5d3
Hide whitespace changes
Inline Side-by-side
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment