> defmspec functions sometimes receive arguments that involve expressions
> with mquotient operators...
> Question: Is there a maxima function that _only_ eliminates
> mquotient operators
You mean a Lisp function in Maxima, I suppose, since defmspec defines
Lisp functions....
Normally, mquotient is eliminated during simplification. So you could
call simpquot directly. Or you could handle the mquotient case
specially, e.g.
(cond ((symbolp x)...)
((eq (caar x) 'mplus) ...)
...
((eq (caar x) 'mquotient) ...)
You'll probably also want to handle mminus -- -x parses as ((mminus)
x) before it simplifies to ((mtimes) -1 x).
-s