cleaned the mathematics library