An algorithm for computing the factor ring of an ideal in Dedekind domain with finite rank