mschlund / FPsolve

FPsolve: solver for polynomial equations over omega-continuous semirings
BSD 2-Clause "Simplified" License
11 stars 5 forks source link

cleanup of semilinear sets #3

Closed michalt closed 11 years ago

michalt commented 11 years ago

The first commit is a bit of a cleanup of header includes.

The remaining ones clean up the semilinear sets implementation. No functionality should be changed. The main goal here was to improve the code (simplify/make it a bit faster).

Let me know what do you think about it!