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