Features or bugs? trigsimp and kill



The problems you see with trigsimp are, I think, the result
of it being implemented using rules  (defrule).  When you say
kill(all), you kill those rules.

How to fix this?  Perhaps to have a command that will remove
the trigsimp rules from the global variable $rules.

Right now there are
[TRIGRULE0, TRIGRULE1, TRIGRULE2, TRIGRULE3, TRIGRULE4, HTRIGRULE1,

                        HTRIGRULE2, HTRIGRULE3, HTRIGRULE4]
It may be sufficient to put into the trigsimp file, something like..

(setf oldrules $rules)
..... load up trigsimp...

(setf $rules oldrules)

RJF


Daniel Martins wrote:

>The first mystery is old and really intriguing and sometimes we cannot
>simplify e.g. the product of rotation matrices due to this quite
>randomic bahaviour
>
>Differently from you I dont know why this happens!
>Daniel
>
>
>On Sat, 4 Dec 2004 18:18:37 -0500, Viktor T. Toth <vttoth@vttoth.com> wrote:
>  
>
>>Some minor mysteries:
>>
>>1. I think I know why this happens, but should it be happening?
>>
>>(%i1) trigsimp(sin(x)^2+cos(x)^2);
>>
>>(%o1)                                  1
>>(%i2) kill(all);
>>
>>(%o0)                                done
>>(%i1) trigsimp(sin(x)^2+cos(x)^2);
>>
>>                                  2         2
>>(%o1)                          sin (x) + cos (x)
>>
>>2. This is cosmetic only, but can be annoying, e.g., when creating demos:
>>When a "string" (yes, I know MAXIMA doesn't really have strings, hence the
>>quotes) containing a linefeed is barfed back, it becomes double spaced. Is
>>this intentional?
>>
>>(%i2) "This is a ...
>>... two line string.";
>>
>>(%o2) This is a ...
>>
>>... two line string.
>>
>>Viktor
>>
>>_______________________________________________
>>Maxima mailing list
>>Maxima@www.math.utexas.edu
>>http://www.math.utexas.edu/mailman/listinfo/maxima
>>
>>    
>>
>