Is there a way to suppress messages from tellsimp?
Subject: Is there a way to suppress messages from tellsimp?
From: Robert Dodier
Date: Thu, 11 Dec 2008 22:44:01 -0700
On Thu, Dec 11, 2008 at 5:46 PM, Richard Fateman
<fateman at cs.berkeley.edu> wrote:
> A properly constructed pattern will almost never get such a message. I can
> see that perhaps in a collection of 25 carefully written rules, you might have
> one that validly partitions a sum or product. If you have 25 such warnings,
> I would be very suspicious.
The "foo partitions bar" message is triggered by constructs like this:
matchdeclare (xx, foo_p, yy, not_foo_p);
foo_p (e) := not atom(e) and op(e) = 'foo;
not_foo_p (e) := not foo_p (e);
tellsimpafter (xx*yy, FOO (xx, yy));
=> yy xx partitions `product'
Since the predicates foo_p and not_foo_p are exhaustive and
mutually exclusive, this is really a best-case scenario.
The rules I write usually have such predicates (because they make
life easier) so they usually get the warning message.
FWIW
Robert Dodier