make -j16 fails
Or rather, it should be = 0 because the < 0 case is listed separately.
fourier_elim returns non-(in)equations
Can the one-line fix be commited?
Thanks Robert! Looks like you found the source and a fix. I don't know if it matters much which term is changed. Maybe at least a comment could be added to indicate explicitly that a choice has been made. It would be good to have this fix committed; then both this ticket and the SageMath ticket downstream can be closed (as soon as Sage's Maxima is updated).
simplify_sum(sum(binomial(1,n),n,0,inf)) gives 3 instead of 2