ComplexRational

Description

Dieses Modul stellt den Datentyp ComplexRational komplexrationaler Zahlen, also den Elementen von Q(i), bereit.

Synopsis

Documentation

data ComplexRational

Typ fuer komplexrationale Zahlen in kartesischer Darstellung. Der Konstruktor ist strikt in seinen beiden Argumenten.

Constructors

!Rational :+: !Rational

Instances

Eq ComplexRational
Show ComplexRational
Arbitrary ComplexRational
HasFloatingApprox ComplexRational
HasConjugation ComplexRational
HasRationalEmbedding ComplexRational
IntegralDomain ComplexRational
Ring ComplexRational
NormedRing ComplexRational
Field ComplexRational

fromComplexRational ∷ (Ring a, HasRationalEmbedding a, HasConjugation a) ⇒ ComplexRational → a

Ringe, die eine Einbettung der rationalen Zahlen zulassen und ausserdem ueber eine komplexe Konjugation verfuegen, erlauben auch eine Einbettung der komplexrationalen Zahlen. Diese ist eindeutig, wenn man fordert, dass die imaginaere Einheit 0 :+: 1 der komplexrationalen Zahlen auf die ausgezeichnete imaginaere Einheit imagUnit des Zielrings gehen soll.

fromComplexRational z ist dann das Bild von z unter dieser Einbettung.

check_ComplexRational ∷ IO ()