int do_scaled_add(int a, int b, int s) { return scaled_add(a, b, s); }
Chain& scaled_add( const Coefficient & a, const Chain& rhs, Compare c = Compare()){ Chain result; return scaled_add( a, rhs, result, c); }