constructive-algebra-0.3.0: A library of constructive algebra.
Proof that Z[sqrt(-5)] is a Prufer domain. This implies that it is
possible to solve systems of equations over Z[sqrt(-5)].
newtype ZSqrt5 Source
Z[sqrt(-5)] is a pair such that (a,b) = a + b*sqrt(-5)
Produced by Haddock version 2.9.2