Differences From Artifact [ce0b4c95c5]:

• File mttroot/mtt/lib/reduce/fix_c.r — part of check-in [47742bde53] at 2001-04-11 09:44:26 on branch origin/master — Fixed cc and c problems to do with pow(x,y) and integers
  mtt/lib/reduce/fix_c.r is included in rdae2dae and cse2smx_lang for
  -c, -cc and -oct options (user: gawthrop@users.sourceforge.net, size: 350) [annotate] [blame] [check-ins using] [more...]

To Artifact [0428d6f425]:

• File mttroot/mtt/lib/reduce/fix_c.r — part of check-in [ace0503385] at 2002-03-26 12:11:12 on branch origin/master — Added abs => fabs rule. (user: geraint@users.sourceforge.net, size: 397) [annotate] [blame] [check-ins using] [more...]

10
11
12
13
14
15
16


17
18

 FOR ALL f,g,x LET df(pow(f,g),x)=
 	   pow(f,g-1) * (df(f,x)*g + df(g,x)*f*log(f))$

 %% Special cases
 FOR ALL x LET pow(x,0) = 1$
 FOR ALL x LET pow(x,1) = x$




END$

>
>

10
11
12
13
14
15
16
17
18
19
20

 FOR ALL f,g,x LET df(pow(f,g),x)=
 	   pow(f,g-1) * (df(f,x)*g + df(g,x)*f*log(f))$

 %% Special cases
 FOR ALL x LET pow(x,0) = 1$
 FOR ALL x LET pow(x,1) = x$

OPERATOR fabs$
FOR ALL x let abs(x) = fabs(x)$

END$