added some stuff about kummer/dedekind factoring