Lennart Augustsson ([EMAIL PROTECTED]) wrote:
: > The definition
: > of (*) in the Prelude has to be clumsy because it cannot
: > assume that this will the case because users can construct
: > their own Ratios.
: How can a user create his own Ratio? The % operation does the
: GCD reduction, as does every other operation that creates a Ratio.
It is not possible.
As I replied before but you may not have received
it yet, I was wrong in assuming that one could use :%.
Again, sorry about the confusion.
Regards,
Marc van Dongen