mantkiew
commented
11 years ago Tested and this works great. Added two test cases i188-sum-quantifier.cfr and i188-sum-quantifier2.cfr.
Closed Luke-Michael-Brown closed 11 years ago
mantkiew
commented
11 years ago Tested and this works great. Added two test cases i188-sum-quantifier.cfr and i188-sum-quantifier2.cfr.
see http://gsd.uwaterloo.ca:8888/question/803/integer-values-that-repeat-disappear
Note this fix does not fix http://gsd.uwaterloo.ca:8888/question/1005/sum-quantifier-on-non-simplified-expression or even consider that as an option it assumes the argument given to it is already a simplified expression