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

Paterson, Ross 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 mailing list