Changes by: Yegor N. Bryukhov (ybryukhov at gc.cuny.edu)
Date: 2004-05-10 15:22:27 -0700 (Mon, 10 May 2004)
Revision: 5764
Log message:

      I started the theory of multivariate (or multivariable?) polynomials on top of
      one-var polynomials.
      I want to try to use it for polynomials normalization (convertion to a standard form)
      I managed to build reduction list so that resonable polynomials are evaluated
      (eval_mpoly) to what one would expect (even if values for vars are not literals!).
      Unfortunately it might still be too slow for practical purposes but we'll see.
      

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