(4,5,2,2) Inequality Files

For the raw list of inequalities,

No index:
Inequalities_Only_4522_Raw
Inequalities_Only_4522_Raw.mat (Matlab Format)

Indexed:
Indexed_Raw_4522

Inequalities affinely transformed so that the lowest local values are 1,2 :

No index:
Inequalities_Only_4522_Affine
Inequalities_Only_4522_Affine.mat (Matlab Format)

Indexed:
Indexed_Affine_4522

Raw inequalities with lifted inputs/outputs removed.

No index:
Reduced_Raw_4522

Indexed:
Indexed_Reduced_Raw_4522

Affine inequalities with lifted inputs/outputs removed.

No index:
Reduced_Affine_4522

Indexed:
Indexed_Reduced_Affine_4522

Inequalities sorted into the scenarios for which they first appear (indexed for reference)

Raw inequalities:
Gathered_Raw_4522

Affinely transformed inequalities:
Gathered_Affine_4522

back