double-double/src/double-double/unary/dd-negative-of.ts

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

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


export { ddNegativeOf }