https://123dok.net/document/yj7rmj5y-msolve-a-library-for-solving-polynomial-systems.html