Ricardo Buring

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