runner
index
/home/hennich/Uni/SONC_polynomial_optimization/python/runner.py

Module to run the optimisations programmes on all instances.

 
Modules
       
argparse
aux
cpuinfo
json_tricks
matlab
numpy
os
platform
psutil
signal
sqlite3
subprocess

 
Classes
       
builtins.object
DBrunner

 
class DBrunner(builtins.object)
    Class for running tests and feed them into a DB.
 
  Methods defined here:
__del__(self)
Close database connection.
__init__(self)
Create runner for the main testing loop.
 
Also gets all version number of the solvers and modelers.
close(self)
Close database connection.
conditional_insert(self, table, entry)
Return the rowid of the request and insert if necessary.
 
Input:
        table: string, name of table in DB
        entry: list of pairs (column-name, value), requested tuple in DB
Output:
        rowid: rowid of the requested tuple
connect(self)
Connect to the database given in aux.py.
run(self)
Solve all instances from the given data base, that have not been computed yet.
 
It opens the data base at <SAVE_PATH>/<DB_NAME> and asks for all polynomials that have not been computed.
Then it runs each solver on each instance, checks the validity of the solution and inserts the solution into the data base.
 
The computation can be softly interrupted by altering the file "status" to any string, which is not "run".
run_symbolic(self)
Solve all instances symbolically from the given data base, that have not been computed yet.
 
It opens the data base at <SAVE_PATH>/<DB_NAME> and asks for all polynomials that have not been computed.
Then it runs SAGE on each instance, checks the validity of the solution, does the symbolic post-processing and inserts the solution into the data base.
 
The computation can be softly interrupted by altering the file "status" to any string, which is not "run".
run_unknown(self)
Run all examples where it is yet unknown whether they are bounded.

Data descriptors defined here:
__dict__
dictionary for instance variables (if defined)
__weakref__
list of weak references to the object (if defined)

 
Functions
       
check_all()
Solve all instances from the given data base, that have not been computed yet.
 
It opens the data base at <SAVE_PATH>/<DB_NAME> and asks for all polynomials that have not been computed.
Then it runs each solver on each instance, checks the validity of the solution and inserts the solution into the data base.
 
The computation can be softly interrupted by altering the file "status" to any string, which is not "run".
check_degeneracy()
For all instances (polynomials + cover), compute the number of degenerate points.
check_infinity()
For all instances, where we have no bound, try to check whether they are unbounded.
check_sos_limit()
Run SOS with sparse-option on all instances, which are one step above the threshold.
fill_DB()
Create a series of input examples of sparse polynomials and add them to a database.
transfer_data()
Transfer data from old DB schema to new one.