evalue.c: evalue_sum: better handling of negative values

[barvinok.git] / tests / evalue / devos

#variables V
         U + 2V + 3 >= 0
         - U -2V  >= 0
         - U  10 >= 0
         U  >= 0

(    {( 1/3 * U + ( 2/3 * V + 0 )
 )
} 
 )