An algorithm for computing indefinite sums of rational and quasi-rational summands
Add rational summation to default imports
Clean up imports
Make rational summation work with new monomial tools
Small clean up
Use much more robust linear solver
Remove obsolete debug print statements