Improved working version 1.1, using memorize to cache polysolver output