blob: 9eafe5859bfc4ae134706f11642aad7b00d41826 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
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 <stdio.h>
#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;
}
|