toysolver icon indicating copy to clipboard operation
toysolver copied to clipboard

Published 20 hours ago • verified publisher icon msakai

Real-closed field solver

Open copumpkin opened this issue 12 years ago • 1 comments
trafficstars

These are remarkably hard to find and it would be nice to have a clean one in Haskell.

copumpkin avatar Apr 11 '13 23:04 copumpkin

Thank you for your comment.

Here's my implementation of cylindrical algebraic decomposition. https://github.com/msakai/toysolver/blob/71c5d068d9c2f80e1cb9735a4c3f799ee0422da4/src/Algorithm/CAD.hs It only provides quantifier elimination (or projection) procedure for conjunction of polynomial constraints. But it is easy to extend it to full RCF decision procedure.

I'd like to split the functionality into a separate package with clean API, if I could clean up it' API and dependencies.

msakai avatar Apr 15 '13 00:04 msakai