Dedekind_ring loading ...