It seems to me that thinking of quotients as a fundamental operator is usually painful and unnecessary when the objects are almost anything other than real (or rational) numbers. Instead it is better to think of a quotient as a combination of the reciprocal and the product. A good example of this is complex numbers. Suppose that

Then, the usual rule for the quotient is that

This qualifies as non-memorizable. On the other hand, take the reciprocal of

.

This is simple enough (“the complex conjugate divided by the squared norm”), and we recover the rule for the quotient easily enough by multiplying with .

The same thing holds true for derivatives. I’ve never been able to remember that quotient rule from high-school; Namely that if , then

Ick. Instead, better to note that if then

along with the standard rule for differentiating products, so that if , then

.

Another case would be the “matrix quotient” . Of course, everyone already thinks of the matrix multiplication and inverse as separate operations– to do otherwise would be horrible– but I think that just proves the point…

(Although, I assume that computing as a single operation would be more numerically stable than first taking an explicit inverse. This might mean something to people who feel that mathematical notation ought to suggest an obvious stable implementation in IEEE floating point (if any).)

You might consider the free and opensource ADMB for automatic differentiation. See

ADMB-project.org