discretisation discretization semidiscretisation semidiscretization ultradiscretization discrete math quantization desingularization defuzzifier uniformizer