Methodenketten und Strukturwechsel

Kongruenzen, ggT, Faktorisierung und symmetrische Größen so verketten, dass aus lokalen Filtern vollständige ganzzahlige Lösungsmengen werden.