search

mschlund / FPsolve

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

Minor change to linear sets #23

Closed michalt closed 11 years ago

michalt commented 11 years ago

With this commit we try to share the sets of generators not the entire linear sets. This seems like the right thing to do and might increase sharing.

michalt commented 11 years ago

I've just found and fixed a memory leak, so I've added it to the pull request.