A short tutorial

Downloading and installing

1. Download VerifyRealRoots.zip, and unpack it

- You will get a folder VerifyRealRoots, some required software will be add to ./VerifyRealRoots/src later

2. Download the required software packages for using VerifyRealRoots

- Download GloptiPoly 3.8 . Unpack the zip file, and move the folder gloptipoly3 to ./VerifyRealRoots/src
- Download the correct version of HOM4PS-2.0 for your operating system, and unzip, then copy and paste the bin folder to ./VerifyRealRoots/src/homotopy_aux and merge it to the existing bin folder
- The two software above could be downloaded automatically in configure.m. If error happens while downloading automatically, it is necessary to do this manually

3. Run configure.m to configure VerifyRealRoots

- Type "configure" in MATLAB Command Window
- Type "testDemos" to check whether the installation of VerifyRealRoots is complete

Input formats

A lot of examples are contained in the Demos.zip, you can also see some online examples in homepage

Consider the following system

1) Declare the variables in your polynomial system
    >> syms x1 x2 x3 x4;
2) Input the polynomials
    >> f1 = x1 + x2 - 1;
    >> f2 = x3 + x4 - 1;
    >> g1 = 2*x1ˆ3 - x2*x3 + 4*x4 - 1;
    >> g2 = x1ˆ2 + x2ˆ2 + x3ˆ2 - 1;
3) Construct the polynomial system
    >> F = [f1, f2];
    >> G = [g1, g2];
    >> H = {F, G};
4) Define options of VerifyRealRoots (see Options of the VerifyRealRoots or User manual)
    >> option.solver=’MMCRSolver’;
    >> option.tol=1e-5;
5) Call main function to solve your polynomial system
    >> [out, vars, msg] = verifyrealroots(H, option);