Transformation Rules via AlgebraicRules

*To*: mathgroup at yoda.ncsa.uiuc.edu*Subject*: Transformation Rules via AlgebraicRules*From*: Jack <uunet!sun.udel.edu!jack>*Date*: Fri, 13 Apr 90 18:01:33 EDT

Can someone explain the following result. I thought I would get the same result using rule1 and rule2 below. rule1 = x->t^(3/2) rule2 = AlgebraicRules[x==t^(3/2),{x,t}] exp = x^(5/4) + x + x^2 + x^3 + x^4 (1) exp/.rule1 (2) exp/.rule2 (1) gives the desired result.... 3 15 9 - -- - 2 8 3 2 6 Out[184]= t + t + t + t + t while (2) gives 1 - 2 3 4 4 5 General::newv: x + x + x + x + `private`$AuxVar[x ] involves variables not among {x, `private`$AuxVar[Sqrt[t]], t}. 3 - 2 Replace::rep: {t -> t, x -> t } encountered where lhs->rhs expected. etc.,etc.