Lines Matching refs:CR
57 private static void check_eq(CR x, CR y, String s) {
69 CR zero = CR.valueOf(0);
70 CR one = CR.valueOf(1);
71 CR two = CR.valueOf(2);
84 CR three = two.add(one);
85 CR four = two.add(two);
86 check_eq(CR.valueOf(4), four, "2 + 2 failed");
87 check_eq(CR.valueOf(3), three, "2 + 1 failed");
93 CR thirteen = CR.valueOf(13);
101 CR e = one.exp();
106 CR half_pi = CR.PI.divide(two);
107 CR half = one.divide(two);
110 CR huge = CR.valueOf(million.multiply(million).multiply(thousand));
122 .monotoneDerivative(zero, CR.PI);
133 CR sqrt13 = thirteen.sqrt();
135 CR tmp = CR.PI.add(CR.valueOf(-123).exp());
136 CR tmp2 = tmp.subtract(CR.PI);
142 check_appr_eq(Math.sin(n), CR.valueOf(n).sin().doubleValue(),
144 check_appr_eq(Math.cos(n), CR.valueOf(n).cos().doubleValue(),
146 check_appr_eq(Math.exp(n), CR.valueOf(n).exp().doubleValue(),
149 CR.valueOf(0.1*n).asin().doubleValue(),
152 CR.valueOf(0.1*n).acos().doubleValue(),
155 check_appr_eq(Math.log(n), CR.valueOf(n).ln().doubleValue(),
160 CR.valueOf(12345678).cos().doubleValue(),
