Reference · Non-negative rationals

rainbow.math.rational.nnrat.weighted-sum-scaled-bound

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

Compose the finite weighted-sum bound with right-scaling of a sum.

Depends onmath.rational.nnrat.weighted-sum-boundmath.rational.nnrat.weighted-sum-scaling