algebra icon indicating copy to clipboard operation
algebra copied to clipboard
verified publisher icon ekmett

Weaken PID superclass from Euclidean

Open hseg opened this issue 5 years ago • 1 comments

It suffices to assume ZeroProductSemiring (ie the semiring variant of Domain). Then Natural can be given a Euclidean instance. Possibly doable by splitting Euclidean into EuclideanSemiring containing the functions and Euclidean containing the PID superclass.

The PID constraint does make sense the moment we actually have a Ring, since all euclidean domains are PIDs.

hseg avatar Jan 28 '20 01:01 hseg

Works for me.

ekmett avatar Jan 30 '20 09:01 ekmett