Changes by: Yegor N. Bryukhov (ybryukhov at gc.cuny.edu)
Date: 2004-05-16 22:06:46 -0700 (Sun, 16 May 2004)
Revision: 5783
Log message:

      I'm trying another approach to multivariate polynomials:
      Polynomial is a (arbitrary) list of monomials.
      Each monomial is a pair of its coefficient and function from var-index to its exponent.
      This approach allows many representations of the same polinomial hence
      standartization/normalization function is provided.
      
      At this moment this approach looks an order of magnitude faster than itt_mpoly.
      (on eval(standardize(p)))
      

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