desingularize rediagonalize discretize rationalize ultradiscretize tetrahedralize deconvolute diagonalise mathematicalize mathematize