SHOWRULES _ _ _ _ _ _ _ _ _ _ _ _ operator
showrulesreturns in rule-list form any operator rules associated with its argument.
showrules log;
{LOG(E) => 1,
LOG(1) => 0,
~X
LOG(E ) => ~X,
1
DF(LOG(~X),~X) => --}
~X
Such rules can then be manipulated further as with any list. For example rhs first ws; has the value 1.
An operator may have properties that cannot be displayed in such a form, such as the fact it is an odd function, or has a definition defined as a procedure.