Dieses Modul stellt QuickCheck-Eigenschaften fuer RootFinding bereit.

Die Eigenschaften sind hierhin deswegen ausgelagert, um die sonst entstehende zyklische Abhaengigkeit von RootFinding und Algebraic zu verhindern.