Changes by: Yegor N. Bryukhov (ybryukhov at gc.cuny.edu)
Date: 2004-06-08 20:49:14 -0700 (Tue, 08 Jun 2004)
Revision: 5863
Log message:

      Added one more version with no intermediate conversions
      (from reflected terms to polynomials) at all but efficency is exactly same as
      in itt_mpoly2(_bench). Will look for possible optimizations.
      

Changes	Path
+1 -0	metaprl/theories/itt/OMakefile
Added	metaprl/theories/itt/itt_mpoly3.ml
Properties	metaprl/theories/itt/itt_mpoly3.ml
Added	metaprl/theories/itt/itt_mpoly3.mli
Properties	metaprl/theories/itt/itt_mpoly3.mli
Added	metaprl/theories/itt/itt_mpoly3.prla
Properties	metaprl/theories/itt/itt_mpoly3.prla
Added	metaprl/theories/itt/itt_mpoly3_bench.ml
Properties	metaprl/theories/itt/itt_mpoly3_bench.ml
Added	metaprl/theories/itt/itt_mpoly3_bench.mli
Properties	metaprl/theories/itt/itt_mpoly3_bench.mli
Added	metaprl/theories/itt/itt_mpoly3_bench.prla
Properties	metaprl/theories/itt/itt_mpoly3_bench.prla