I learned today that defmspec functions sometimes
receive arguments that involve expressions with
mquotient operators; for example
(defmspec $unk (x)
(print x)
x)
(%i1) load("c:/maxima/try.lisp")$
(%i2) unk(a/b);
(($UNK) ((MQUOTIENT) |$a| |$b|)) <--- we have a mquotient
(%o2) UNK(a/b)
Question: Is there a maxima function that _only_ eliminates
mquotient operators; thus it would do
((MTIMES SIMP) |$a| ((MEXPT SIMP) |$b| -1)) --> ((MQUOTIENT) |$a| |$b|)
Barton