From: pertti.kellomaki@tut.fi   
      
   George Neuner wrote   
   > David Klappholz, Kleanthis Psarris, and Xiangyun Kong, "On the perfect   
   > accuracy of an approximate subscript analysis test", ACM SIGARCH   
   > Computer Architecture News , Proceedings of the 4th international   
   > conference on Supercomputing ICS '90,  Volume 18 Issue 3b, June 1990.   
      
   Thanks, this is a good source. It also provides an interesting   
   reason why the Banerjee test works so well in practice: "if there   
   is a coefficient of +1 or -1, and if all coefficients are smaller,   
   in absolute value, than all loop iteration ranges, then the Banerjee   
   test checks for integer solutions".   
   --   
   Pertti   
      
   --- SoupGate-Win32 v1.05   
    * Origin: you cannot sedate... all the things you hate (1:229/2)