YAP (was Re: Proposal: Remove Show and Eq superclasses of Num)

[Tyson Whitehead]

On November 3, 2011 15:01:25 Balazs Komuves wrote:
> - The Gaussian integers Z[i] (units are 1,-1,i,-i; what would be the
> associated element of 5+7i ?)

Wouldn't the associated elements be just (5+7i) * { 1, -1, i, and -i } (i.e.,
the set generated by multiplying an element by each element of the units)?

Cheers!  -Tyson