===================================================================
RCS file: /home/cvs/OpenXM/src/asir-contrib/packages/doc/Attic/dsolv.oxweave,v
retrieving revision 1.1
retrieving revision 1.2
diff -u -p -r1.1 -r1.2
--- OpenXM/src/asir-contrib/packages/doc/Attic/dsolv.oxweave	2000/02/06 06:39:48	1.1
+++ OpenXM/src/asir-contrib/packages/doc/Attic/dsolv.oxweave	2000/02/07 04:46:25	1.2
@@ -1,4 +1,4 @@
-/* $OpenXM$ */
+/* $OpenXM: OpenXM/src/asir-contrib/packages/doc/dsolv.oxweave,v 1.1 2000/02/06 06:39:48 takayama Exp $ */
 /* dsolv.oxweave */
 /*&eg-texi
 @node DSOLV Functions,,, Top
@@ -34,7 +34,7 @@ is as same as those you can use in the package @code{s
 $B$3$N%Q%C%1!<%8$O(B @code{ox_sm1} $B$rMxMQ$7$F$$$k(B.
 $B$7$?$,$C$F;HMQ$G$-$kJQ?t$O(B @code{sm1} $B%Q%C%1!<%8$HF1MM$NJQ?t$7$+$D$+$($J$$(B.
 
-@section Functions
+@section $BH!?t0lMw(B
 
 */
 
@@ -67,7 +67,7 @@ an infinite loop.
 @item This is an implementation of Algorithm 2.3.14 of the book [SST].
 If we replace variables x, y, ... in the output by log(x), log(y), ...,
 then these polynomials in log are solutions of the system of differential
-equations @code{map(subst,@var{f},x,x*dx, y,y*dy, ...)}.
+equations @var{f}@code{_(x->x*dx, y->y*dy, ...)}.
 @end itemize
 */
 
@@ -99,7 +99,8 @@ primary $B$G$J$$>l9g(B, $B$3$NH!?t$OL58B%k!<%W$K$*$
 @item $B$3$NH!?t$OK\(B [SST] $B$N(B Algorithm 2.3.14  $B$N<BAu$G$"$k(B.
 $B=PNOCf$NJQ?t(B x, y, ... $B$r$=$l$>$l(B log(x), log(y), ..., $B$G$*$-$+$($k$H(B,
 $B$3$l$i$N(B log $BB?9`<0$O(B, 
-@code{map(subst,@var{f},x,x*dx, y,y*dy, ...)} $B$G@8@.$5$l$kHyJ,J}Dx<07O(B
+@var{f}@code{_(x->x*dx, y->y*dy, ...)}
+$B$G@8@.$5$l$kHyJ,J}Dx<07O(B
 $B$N2r$H$J$C$F$$$k(B.
 @end itemize
 */