additiveValuationΒΆ
attribs.spad line 58 [edit on github]
The class of all euclidean domains such that euclideanSize(a*b)=euclideanSize(a)+euclideanSize(b).
attribs.spad line 58 [edit on github]
The class of all euclidean domains such that euclideanSize(a*b)=euclideanSize(a)+euclideanSize(b).