mschlund / FPsolve

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

Optimize #gens in SL-set #9

Closed mschlund closed 11 years ago

mschlund commented 11 years ago

reduce the number of generators by solving ILPs and/or by quick heuristics (e.g. check if two gens are multiples of each other)