| Author |
Comment/Response |
jf
|
10/08/12 4:35pm
Left alone, they do reduce,
In[5]:= P[Abs[1], Abs[-4]]
Out[5]= P[1, 4]
The problem is that If holds its second and third arguments so FullSimplify cannot access them.
In[8]:= Attributes[If]
Out[8]= {HoldRest, Protected}
If S is defined, the test can be evaluated and the appropriate 2nd or 3rd argument evaluated.
URL: , |
|