YAP (was Re: Proposal: Remove Show and Eq superclasses of Num)
R.Paterson at city.ac.uk
Wed Nov 2 23:56:41 CET 2011
Tyson Whitehead writes:
> Am I correct in understanding then that there could actually be euclidean
> domains that don't have good definitions unit and associate?
The properties make sense for any integral domain; there can always be
a definition. Of course there may be some integral domains for which
the operations are not computable, just as other operations might not be.
More information about the Libraries