Reidemeister_torsion loading ...