Total_positivity loading ...