multiplicativeValuationΒΆ

attribs.spad line 63 [edit on github]

The class of all euclidean domains such that euclideanSize(a*b)=euclideanSize(a)*euclideanSize(b).