Changes by: Yegor N. Bryukhov (ybryukhov at gc.cuny.edu)
Date: 2004-05-14 21:02:50 -0700 (Fri, 14 May 2004)
Revision: 5779
Log message:

      normalization is kind of work but really slow - 10 secs for
      x + (x * y) + y + 1
      
      and the weird slowness is experienced at /itt_mpoly/test12/2/1/1
      

Changes	Path
+178 -84	metaprl/theories/itt/itt_mpoly.ml
+3 -2	metaprl/theories/itt/itt_mpoly.mli
+12032 -7886	metaprl/theories/itt/itt_mpoly.prla