VerifyRealRoots

A MATLAB package for computing real verified solutions of polynomial systems of equations and inequalities

Zhengfeng Yang and Lihong Zhi

Version 2.0 (October 15, 2022). A short FAQ.

Notes

Pay attention to the version of MATLAB and C++ compiler

- VerifyRealRoots is a MATLAB package which only works on MATLAB R2014b and higher version.
- The function verify() is necessary for VerifyRealRoots which is written by C++, as a result, a supported C++ compiler has to be installed.
- Click here to find more information about MATLAB and supported compilers.

The VerifyRealRoots release 2.0 works on

- MATLAB R2014b (or higher)
- Microsoft Windows with Microsoft Windows SDK 7.1 (Installation Instructions)
- Microsoft Windows with Microsoft Visual C++ 2013 Compiler
- Linux with GNU C++ compiler gcc 4.4.x/4.5.x/4.6.x/4.7.x
- Mac OS X with Xcode 5.x/6.x

The links of the software VerifyRealRoots uses are listed in Required Software below

- Before installing VerifyRealRoots you should have set a supported platform and downloaded the GloptiPoly 3.8 and HOM4PS-2.0 , expediently, this can be done automatically by running configure.m.
- The function verify() in VerifyRealRoots is based on C-XSC 2.5.4, you can get it from the official site http://www2.math.uni-wuppertal.de/wrswt/xsc/ cxsc_new.html.

License

The software is distributed under the GNU Library General Public License.