constructive-algebra-0.2.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

Documentation

newtype ZSqrt5 Source

Z[sqrt(-5)] is a pair such that (a,b) = a + b*sqrt(-5)

Constructors

ZSqrt5 (Z, Z) 

Instances