add constant in multi_monom
commit73110bd314953ebee7f18994b80d43622178c820
authorskimo <skimo>
Mon, 12 Jan 2004 15:43:07 +0000 (12 15:43 +0000)
committerskimo <skimo>
Mon, 12 Jan 2004 15:43:07 +0000 (12 15:43 +0000)
treee68523afe8e09b775254052db7d11db496a39473
parent668509ac0c90525facf4826106b17a8f193a3433
add constant in multi_monom
barvinok.cc