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.