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/cos_R.c | 21 +++++++++++++++++++++ 1 file changed, 21 insertions(+) create mode 100644 ic-reals-6.3/math-lib/cos_R.c (limited to 'ic-reals-6.3/math-lib/cos_R.c') diff --git a/ic-reals-6.3/math-lib/cos_R.c b/ic-reals-6.3/math-lib/cos_R.c new file mode 100644 index 0000000..9eafe58 --- /dev/null +++ b/ic-reals-6.3/math-lib/cos_R.c @@ -0,0 +1,21 @@ +/* + * 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 +cos_R(Real x) +{ + Real r; + + r = div_R_Int(x, 2); + r = tan_R(r); + r = tensor_Int(r, r, -1, 1, 0, 0, 0, 0, 1, 1); + return r; +} -- cgit v1.2.3