discrete additive valuation

... ) discrete valuation 离散赋值 ) discrete additive valuation 离散加法赋值 ) nondiscrete valuation ring 非离散赋值环 ...