search

mschlund / FPsolve

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

Make polynomials use Idempotence of the semiring #33

Closed michalt closed 11 years ago

michalt commented 11 years ago

I've also added a static assertion so that we never use a non-commutative semiring with a commutative polynomial.