, there is a natural choice for d (e.g., in
the integers, the non-negative d; in the ring of polynomials over a
field, the monic d (having leading coeff. 1)). In some UFDs there is no
canonical choice (e.g. in the Gaussian integers, a + ib for a, b integers).
gcd(0, 0) = 0.
Cheers,
Michael Ackerman
x_i.
Cheers,
Michael Ackerman
___
Haskell mailing list
[EMAIL PROTECTED]
http://www.haskell.org/mailman/listinfo/haskell
Oops. Sorry for stupid question.
Michael Ackerman
Levent Erkok wrote:
On Friday 29 June 2001 07:42 am, you wrote:
Hello,
I tried this:
data Nat = Zero | Succ Nat
instance Enum Nat where
fromEnum Zero = 0
fromEnum (Succ n) = 1