trípoli m. geol. Roca sedimentaria silícea empleada para pulir vidrio, metales y piedras duras, que mezclada con nitroglicerina forma parte de la dinamita.