The options of VerifyRealRoots

option.solver = 'MMCRSolver'

MMCRSolver is based on low-rank moment matrix completion method

option.order

The degree. If the set of approximate real solution is empty, the problem will be solved again by increasing the order of variable. Default is 2.

option.method

The method to construct a square polynomial system when the original system is not square.
'fix' (default) fix variable(s) to construct.
'nullspace' use null vector to construct.
'regular' use method [construct_regular] to construct.

option.schur_type

The function to decompose.
'full' AFPC_BB_moment will call function schur in MATLAB.
'partial' (default) call function laneig in PROPACK.

option.continuation

Use Barzilai-Borwein continuation technique in function AFPC_BB_moment. The choices are '0' or the default, '1'.

option.eta

The rational number (<1) to determine how much to decrease μ at every step. Default is 1/4.

option.fast_eig_ratio

The ratio for computing the rank for next iteration. Default is 0.01.

option.maxinneriter

The maximum number of iterations per inner loop. Default is 5000.

option.projection

The variables are project. The choices are 'true' or the default, 'false'.

option.loop

The maximum iterations to call probabilistic algorithm 'nullspaceConstruct'. Default is 5.

option.tol

The tolerance, default is 1e-3.

option.refine

Refine the sample roots. The choices are 'true' or the default, 'false'.

option.solver ='hom4ps'

Hom4ps is based on critical point method and homotopy continuation method

option.demand

The method to construct a square polynomial system when the original system is not square.
'roots_exsitence' (default) use method 'construct_regular' to construct.
'each_component' use minor to construct.

option.nonradical

If fail to obtain a verified root, use nonradical method to construct a new polynomial system to verify sample point again. The choices are 'true' or the default, 'false'.

option.tol

The tolerance, default is 1e-7.

option.refine

Refine the sample roots. The choices are 'true' or the default, 'false'.