From 11da511c784eca003deb90c23570f0873954e0de Mon Sep 17 00:00:00 2001 From: Duncan Wilkie Date: Sat, 18 Nov 2023 06:11:09 -0600 Subject: Initial commit. --- ic-reals-6.3/math-lib/neg_R.c | 16 ++++++++++++++++ 1 file changed, 16 insertions(+) create mode 100644 ic-reals-6.3/math-lib/neg_R.c (limited to 'ic-reals-6.3/math-lib/neg_R.c') diff --git a/ic-reals-6.3/math-lib/neg_R.c b/ic-reals-6.3/math-lib/neg_R.c new file mode 100644 index 0000000..3ae644c --- /dev/null +++ b/ic-reals-6.3/math-lib/neg_R.c @@ -0,0 +1,16 @@ +/* + * Copyright (C) 2000, Imperial College + * + * This file is part of the Imperial College Exact Real Arithmetic Library. + * See the copyright notice included in the distribution for conditions + * of use. + */ + +#include +#include "real.h" + +Real +neg_R(Real x) +{ + return mul_R_Int(x, -1); +} -- cgit v1.2.3