*** exprode.spad	2006-07-05 08:52:04.000000000 +0200
--- /pusers/rubey/axiom/mnt/linux/src/algebra/exprode.spad	2006-05-26 14:06:29.000000000 +0200
***************
*** 118,124 ****
      --opex  := operator("exquo"::Symbol)$OP
      opex  := operator("fixedPointExquo"::Symbol)$OP
      opint := operator("integer"::Symbol)$OP
-     opmon := operator("mymonomial"::Symbol)$OP
  
      Rint? := R has IntegerNumberSystem
  
--- 118,123 ----
***************
*** 171,177 ****
        for i in 2..n repeat
          l  := concat(retract(f := differentiate(f, x))@K, l)
          lv := concat(opelt(sy, localInteger(m := m + 1)), lv)
!       div2exquo subst(subst(diffRhs(differentiate(f, x), diffeq), l, lv), x::F=opmon(1))
  
      checkSystem(diffeq, yx, lv) ==
        for k in kernels diffeq repeat
--- 170,176 ----
        for i in 2..n repeat
          l  := concat(retract(f := differentiate(f, x))@K, l)
          lv := concat(opelt(sy, localInteger(m := m + 1)), lv)
!       div2exquo subst(diffRhs(differentiate(f, x), diffeq), l, lv)
  
      checkSystem(diffeq, yx, lv) ==
        for k in kernels diffeq repeat