*** utsode.spad	2006-07-04 08:28:49.000000000 +0200
--- /pusers/rubey/axiom/mnt/linux/src/algebra/utsode.spad	2006-05-26 14:06:38.000000000 +0200
***************
*** 64,71 ****
      fixedPointExquo: (UTS,UTS) -> UTS
        ++ fixedPointExquo(f,g) computes the exact quotient of \spad{f} and
        ++ \spad{g} using a fixed point computation.
-     mymonomial: PositiveInteger -> UTS
-       ++ returns the variable as UTS
      ode1: ((UTS -> UTS),Coef) -> UTS
        ++ ode1(f,c) is the solution to \spad{y' = f(y)}
        ++ such that \spad{y(a) = c}.
--- 64,69 ----
***************
*** 105,113 ****
        rhy case "failed" => error "stream division:no reciprocal"
        divloop(hx,tx,rhy::Coef,ty)
  
!     fixedPointExquo(f, g) == series sdiv(coefficients f, coefficients g)
! 
!     mymonomial k == monomial(1,k)
  
  -- first order
  
--- 103,109 ----
        rhy case "failed" => error "stream division:no reciprocal"
        divloop(hx,tx,rhy::Coef,ty)
  
!     fixedPointExquo(f,g) == series sdiv(coefficients f,coefficients g)
  
  -- first order