discretized rediscretized quasidiscrete pseudodiscrete ultradiscrete discrete symmetrizable contractible semiquantifiable prodiscrete