Reference · Non-negative rationals

rainbow.math.rational.nnrat.weighted-map-sum-distance

Non-negative rationalssrc/rainbow/math/rational/nnrat/weighted_map_sum_distance.clj0 definitions, 0 theorems

Weighted distance lift using the canonical scalar scaling theorem.

Depends onmath.rational.nnrat.metric-separation