Diophantine_set loading ...