On 2013-10-03, Stavros Macrakis <macrakis at alum.mit.edu> wrote:
> Not sure what you mean about op of an atom -- that is currently an error;
> are you proposing something else?
Right, at present op(<atom>) is an error. But there exists at least one
computer algebra system (That Which Shall Not Be Named) in which the
equivalent operation returns the type of the atom. I was just trying to
indicate something of the range of possibilities.
best
Robert Dodier