mschlund / FPsolve

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

A few minor improvements #28

Closed michalt closed 11 years ago

michalt commented 11 years ago

This contains some performance improvements to recursive_star and some general cleanup (I've removed some unneeded includes, etc. so the build times are slightly better).

michalt commented 11 years ago

Ugh... I've just noticed that for a second we had the GcdDivider enabled by default. :-/