Changes by: Yegor N. Bryukhov (ybryukhov at gc.cuny.edu)
Date: 2004-05-24 23:30:20 -0700 (Mon, 24 May 2004)
Revision: 5814
Log message:

      list2 - unfold_mklist was not in the interface
      mpoly2 - change in the representation:
      monom was represented as a function from var-index to its exponent
      now monom is a list of exponents of _all_ variables
      with this version intermediate steps of computation are much more readable,
      which permitted to make several optimizations in the order of computations.
      
      I'm going to switch to the third version - monom is a list of non-zero exponents
      (with variable indices).
      Or even reject polynomials as an intermediate representation and
      do all manipulations on the raw reflected syntax.
      

Changes	Path
+1 -0	metaprl/theories/itt/itt_list2.mli
+87 -112	metaprl/theories/itt/itt_mpoly2.ml
+2 -4	metaprl/theories/itt/itt_mpoly2.mli
+1 -0	metaprl/theories/itt/itt_mpoly2_bench.ml