Check whether rVD is too small in dimension *before*
commit53820f132a346f1b210dc05ffdcabd3f967b8a13
authorskimo <skimo>
Wed, 9 Jun 2004 09:08:37 +0000 (9 09:08 +0000)
committerskimo <skimo>
Wed, 9 Jun 2004 09:08:37 +0000 (9 09:08 +0000)
treec53098cb79ac11ebd0ad4e2e09cfa721a1068a0e
parentf7f42b76998454673c6b493abafcf14f51b11aeb
Check whether rVD is too small in dimension *before*
performing any difference operation on it.
barvinok.cc