search

mschlund / FPsolve

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

Never insert a zero vector to generators #41

Closed michalt closed 10 years ago

michalt commented 10 years ago

This should fix the assertion failure during simplification in sparse_vec.h. :-)