Changes by: Yegor N. Bryukhov (ybryukhov at gc.cuny.edu)
Date: 2005-02-20 18:02:36 -0800 (Sun, 20 Feb 2005)
Revision: 6729
Log message:

      Subtraction and addition of linear forms were inefficient.
      130 seconds dropped to 100
      (time in omega core dropped from 70 to 40)
      One of the most difficult itt_int_bench2/test7 dropped from 42 to 20
      with time in omega core dropped from 40 to 15.
      
      There are still several non-tail recursive calls (List.map etc) that can be
      eliminated because constraint sets are a _sets_
      

Changes  Path
+61 -38 metaprl/theories/itt/itt_omega.ml