
# This is M
# The solution is 160 which gives 160/(5*8*27) =4/27
5*8*27  5  0      1 2 1 2 1     2 1 1 1   2 1 1  2 1   2



``

./a.out -n 9 -ub -v -solver csdp -vcp '1 1 1 1 1 2 2 2 2' 
./a.out -n 9 -fev  '6 0 1 2 1 2 1 2  2 1 1 1 2  2 1 1 1  2 1 1  2 1  2' -fevphantom '6 0 1 2 1 2 1 2  2 1 2 1 2  2 1 1 1  2 1 1  2 1  2' > evp9.py
./a.out -n 9 -fev  '6 0 1 2 1 2 1 2  2 1 1 1 2  2 1 1 1  2 1 1  2 1  2'  > ev9.py




load("../rounding_exact.sage")
p=FAProblem("SDP_n9_UB_F_vertices2_edges2__objectivee.txt.dat-s",5)
load('evp9.py')
pa=p.change_base(extremalVectors)
pa=resolve(pa,'altered9evpesap.dat-s')
pa=FAProblem('altered.dat-s')


pa=resolve(pa,'altered-esap-ev.dat-s')

.. This resolve had to be done many times and adding more zero eigenvectors.
