Diophantine_analysis loading ...