handling tellsimp'ed rules



There is a function remrule.  It works like this:

remrule(<name of function>, <rulename>)

example..

matchdeclare(a,true);
tellsimp(f(a),g(a+1);    ... returns [f, fRULE1].

f(34) ;... returns g(35).

remrule(f,fRULE1);

now  f(34) is not changed.

There is also a variable called rules  that has all the
rules defined in the system so far.

I think this is all you need.
Good luck!

RJF



Andrei Zorine wrote:

> Dear group,
> I have to repeat my question abou removing and reintroducing rules to 
> tellsimp. I've been writing a package, which states its rules to 
> tellsimp. When I reload it without callind kill(all), I get
>
> Circular rule attempted - TELLSIMP
>  -- an error.  Quitting.  To debug this try DEBUGMODE(TRUE);)
>
> The best theoretical solution would be to have some function remove 
> the rules introduced by my package in course of loading and its 
> procedures working (yes, I have procedures that introduce rules, 
> remember my recent post dated May, 6th). How do I collect a database 
> of these newly introduced rules and how do I youse it to reset the 
> system with respect of my pachage rubbish?
>
> -- 
> Andrei Zorine
>
>
> _______________________________________________
> Maxima mailing list
> Maxima@www.math.utexas.edu
> http://www.math.utexas.edu/mailman/listinfo/maxima