Controlling simplification of type a*a^k -> a^(k+1)
Subject: Controlling simplification of type a*a^k -> a^(k+1)
From: Robert Dodier
Date: Sat, 4 Aug 2007 18:45:41 -0600
On 8/4/07, Yasuaki Honda <yhonda at mac.com> wrote:
> For this purpose, I want to introduce a control variable $exposimp.
> If the value is nil the a*a^k->a^(k+1) will be suppressed.
Yasuaki, I guess I'm not in favor of this. It seems like a pretty
narrow problem to introduce another global flag, and it seems
like there is potential to interact badly with other parts of the
simplification code -- I would guess that the a*a^k->a^(k+1)
simplification is coded in more than one place.
best
Robert Dodier