Stellt die Typklasse RingMorphism
fuer Ringhomomorphismen bereit,
beispielsweise um Ganzheitsringe (deren Datum eben ein Ringhomomorphismus
ist) statisch typisieren zu koennen.
Documentation
class (Ring (Domain m), Ring (Codomain m)) ⇒ RingMorphism m where
Klasse fuer Ringhomomorphismen.
data Zin a
Bezeichnung fuer den eindeutigen Ringhomomorphismus vom Ring der ganzen Zahlen in einen beliebigen Ring a (nur zu Demonstrationszwecken).
Zentral nutzen wir Complex.QinC
fuer die algebraischen Zahlen.
Ring a ⇒ RingMorphism (Zin a) |