semilinear: offsets should not use a Divider

mschlund / FPsolve

FPsolve: solver for polynomial equations over omega-continuous semirings

BSD 2-Clause "Simplified" License

11 stars 5 forks source link

Closed michalt closed 11 years ago

michalt commented 11 years ago

This fixes the bug of simplifying the offsets (we can only do that with generators).