[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: Inconsistency of 1-argument QUOTIENT with //,//$

The behavior of QUOTIENT and //$ is entirely analogous to that
of DIFFERENCE and -; they were, after all, invented simultaneously.
The analogy is not spurious; // and - of one argument are each the
inverse operator of the group to which it belongs.  // is the
inverse operator for the multiplicative group, and - of the additive