Change Lovasz condition, work in progress.
Change Lovasz condition, work in progress.

cr-marcstevens/fplll,cr-marcstevens/fplll,dstehle/fplll,fplll/fplll,fplll/fplll,dstehle/fplll,fplll/fplll,cr-marcstevens/fplll,cr-marcstevens/fplll,fplll/fplll,fplll/fplll,dstehle/fplll