matchdeclare and defrule not working as in documentation.

I too like the way simplification is going and don't see it as a
problem, it's just that I wasn't expecting 8*2^n to simplify to 2^(n+3).

cheers,

Bernard Hurley
On Mon, 2011-07-11 at 16:18 -0600, Robert Dodier wrote:
> Just to be clear, I don't see any problem with such simplifications.
> 
> best,
> 
> Robert Dodier
> 
> On 7/11/11, Dieter Kaiser <drdieterkaiser at web.de> wrote:
> > Am Montag, den 11.07.2011, 14:06 -0600 schrieb Robert Dodier:
> >> Well, I see that 8*2^n simplifies to 2^(n + 3) (dunno when that
> >> was implemented). That changes the expression so 8*%pi doesn't
> >> appear. Try changing 8 to 7 --
> >> I think you'll get the
> >> expected result.
> >
> > For the record: This type of simplification is present since Maxima 5.10
> > (September 2006).
> >
> > Maxima version: 5.10.0
> > Maxima build date: 21:56 3/14/2011
> > host type: i686-pc-linux-gnu
> > lisp-implementation-type: SBCL
> > lisp-implementation-version: 1.0.45
> >
> > (%i2) 8*2^n;
> > (%o2) 2^(n+3)
> >
> > In the next release we will get more simplifications of expressions like
> > 2^(n+3)+2*2^(n+3), which do not fully simplify in Maxima 5.24:
> >
> > Maxima version: 5.24.0
> > Maxima build date: 22:5 4/26/2011
> > Host type: i686-pc-linux-gnu
> > Lisp implementation type: SBCL
> > Lisp implementation version: 1.0.45
> >
> > (%i2) 2^(n+3)+2*2^(n+3);
> > (%o2) 2^(n+4)+2^(n+3)
> >
> > But in Maxima 5.24post we will have
> >
> > Maxima version: 5.24post
> > Maxima build date: 21:18 7/11/2011
> > Host type: i686-pc-linux-gnu
> > Lisp implementation type: SBCL
> > Lisp implementation version: 1.0.45
> >
> > (%i2) 2^(n+3)+2*2^(n+3);
> > (%o2) 3*2^(n+3)
> >
> > Dieter Kaiser
> >
> >
> >