double-double/src/double-double/unary/dd-mult-by-neg-2.ts

Pure double-double precision functions *with strict error bounds*.

/**
 * Returns the result of multiplying the given double-double by -2.
 * * The result is exact
 * @param f a double-double precision floating point number
 */
function ddMultByNeg2(f: number[]) {
    return [-2*f[0],-2*f[1]];
}


export { ddMultByNeg2 }