/barrelfish-master/lib/msun/ld80/ |
H A D | k_cosl.c | 54 #define C1 ((long double)C1hi + C1lo) macro 57 C1 = 0.0416666666666666666136L; /* 0xaaaaaaaaaaaaaa9b.0p-68 */ variable 74 r = z*(C1+z*(C2+z*(C3+z*(C4+z*(C5+z*(C6+z*C7))))));
|
/barrelfish-master/lib/msun/src/ |
H A D | k_cosf.c | 29 C1 = 0x155553e1053a42.0p-57, /* 0.0416666233237390631894 */ variable 45 return ((one+z*C0) + w*C1) + (w*z)*r;
|
H A D | k_cos.c | 29 * cos(x) ~ 1 - x*x/2 + C1*x + ... + C6*x 33 * |cos(x)-(1-.5*x +C1*x +C2*x +C3*x +C4*x +C5*x +C6*x )| <= 2 37 * 4. let r = C1*x +C2*x +C3*x +C4*x +C5*x +C6*x , then 61 C1 = 4.16666666666666019037e-02, /* 0x3FA55555, 0x5555554C */ variable 75 r = z*(C1+z*(C2+z*C3)) + w*w*(C4+z*(C5+z*C6));
|
/barrelfish-master/usr/eclipseclp/ecrc_solvers/chr/ |
H A D | math-utilities.pl | 35 math_portray(equals(P,C),P1=:=C1):-!, 37 avoid_float(MC,C1), 45 Out=..[R,P1,C1], 47 avoid_float(MC,C1), 56 C1 is (-C), 57 avoid_float(C1,C2), 60 avoid_float(C,C1), 61 make_mono(C1,X,CX). 63 C1 is (-C), 64 avoid_float(C1,C [all...] |
H A D | math-gauss.pl | 77 mult_const(eq0(G, H), A1, eq0(B1, C1)), 78 add_eq0(eq0(B, Z), eq0(B1, C1), eq0(D1, E1)), 110 is_div(A1, I, C1), 111 mult_const(eq0(K, J), C1, eq0(D1, E1)),
|
H A D | time-pc.pl | 152 coca(try_double(Q, path(M, B, C, N, E - F, O), J, path(A, B, C, D, E - F, G), path(R, S, T, U, V - W, X), path(Y, S, T, Z, V - W, A1), augmentation, ((intersection(U, Z, B1, V - W), length(B1, C1), D1 is min(X, A1)), 'CHRkeep_heads_checking'(path(R, S, T, U, V - W, X), E1, path(Y, S, T, Z, V - W, A1), F1, path(C1, S, T, B1, V - W, D1), G1)), 'CHRhead_not_kept'(G1) -> path(C1, S, T, B1, V - W, D1) ; true, intersect_xy_xy)), 180 coca(try_double(Q, path(M, B, C, N, E - F, O), J, path(A, B, C, D, E - F, G), path(R, S, T, U, V - W, X), path(Y, S, T, Z, V - W, A1), augmentation, ((intersection(Z, U, B1, V - W), length(B1, C1), D1 is min(A1, X)), 'CHRkeep_heads_checking'(path(Y, S, T, Z, V - W, A1), E1, path(R, S, T, U, V - W, X), F1, path(C1, S, T, B1, V - W, D1), G1)), 'CHRhead_not_kept'(G1) -> path(C1, S, T, B1, V - W, D1) ; true, intersect_xy_xy)), 208 coca(try_double(Q, path(M, C, B, N, F - E, O), J, path(A, B, C, D, E - F, G), path(R, S, T, U, V - W, X), path(Y, T, S, Z, W - V, A1), augmentation, ((equality([B1], W - W), transl(Z, C1, [B1], W - V - W), intersection(U, C1, D1, V - W), length(D1, E1), F1 is min(X, A1)), 'CHRkeep_heads_checking'(path(R, S, T, U, V - W, X), G1, path(Y, T, S, Z, W - V, A1), H1, path(E1, S, T, D1, V - W, F1), I1)), 'CHRhead_not_kept'(I1) -> path(E1, S, T, D1, V - W, F1) ; true, intersect_yx_xy)), 236 coca(try_double(Q, path(M, C, B, N, F - E, O), J, path(A, B, C, D, E - F, G), path(R, S, T, U, V - W, X), path(Y, T, S, Z, W - V, A1), augmentation, ((equality([B1], V - V), transl(U, C1, [B1], V - W - V), intersection(Z, C1, D [all...] |
H A D | math-eager.pl | 62 mult_const(eq0(G, H), B1, C1), 63 add_eq0(eq0(B, A1), C1, eq0(D1, E1)), 90 no_delayed_goals((delete(A1 * B1, A, C1), H == A1)), 97 add_eq0(eq0(B, C1), E1, eq0(F1, G1)),
|
H A D | math-fourier.pl | 391 C1 is B1 - K, 392 zero(C1), 403 C1 is B1 - D, 404 zero(C1), 423 is_div(A1, J, C1), 424 mult_const(eq0(H, I), C1, D1), 476 no_delayed_goals((inequation(N), inequation(E), B1 is B / K, call_kernel(B1 > 0), C1 is M * B1, call_kernel(C1 =< D), stronger(K, C1, N, B, D, E), same_poly(L, C, B1))), 497 no_delayed_goals((var(I), extract(I * C1, [all...] |
H A D | math-lazy.pl | 63 sort1(B1, C1), 64 equals(C1, A1). 116 add_eq0(eq0(D, C), B1, eq0(C1, D1)), 118 equals(E1, C1).
|
/barrelfish-master/lib/msun/ld128/ |
H A D | k_cosl.c | 36 C1 = 0.04166666666666666666666666666666658424671L, variable 56 r = z*(C1+z*(C2+z*(C3+z*(C4+z*(C5+z*(C6+z*(C7+
|
/barrelfish-master/usr/eclipseclp/Opium/demo/ |
H A D | screen.pl | 16 C1 is (C+1)/10 - ((C+1) mod 10 / 10) + 48, 17 fix(C1, F1),
|
H A D | puzzle.pl | 29 structure([friend(N1,C1,S1), friend(N2,C2,S2), friend(N3,C3,S3)]).
|
/barrelfish-master/usr/eclipseclp/Kernel/lib/ |
H A D | linearize.pl | 33 % [C0*1, C1*X1, C2*X2, ...] 86 [C0*1, C1*X1, C2*X2, ...] 137 [C0*1, C1*X1, C2*X2, ...] 220 linearize(E1, C0, C1, L1, L0, R1, R0, Mod), 221 linearize(E2, C1, C, L, L1, R, R1, Mod). 225 linearize(E1, C0, C1, L1, L0, R1, R0, Mod), 226 linearize((-1)*E2, C1, C, L, L1, R, R1, Mod). 327 linearize(E, C0, C1, L1, L0, R1, R0, Mod), 328 linearize_sum(Es, C1, C, L, L1, R, R1, Mod). 719 C1 i [all...] |
H A D | t_all.pl | 345 similar_lists([C1|T1], [C2|T2]) :- % treat space sequences as equal 346 blank_space(C1), 354 similar_lists([C1|T1], T2) :- % skip one left 355 ignored_char(C1),
|
H A D | sicstus.pl | 252 condition_fails((C1;C2), [V1|V2]) :- 253 condition_fails(C1, V1), 255 condition_fails((C1,_C2), V) :- 256 condition_fails(C1, V), !.
|
H A D | systools.pl | 230 open(quickaa, read, C1), 234 merge(C1, C2, C3, C4), 235 close(C1), 250 merge(C1, C2, C3, C4) :- 251 read_string(C1, end_of_line, L1, S1), 262 merge(C1, C2, C3, C4).
|
H A D | asm.pl | 876 %instr(get_atom2(a(A1),C1,a(A2),C2), 377, [a(A1),atom(C1),a(A2),atom(C2)]). 877 %instr(get_integer2(a(A1),C1,a(A2),C2), 378, [a(A1),i(C1),a(A2),i(C2)]). 886 %instr(read_atom2(C1,C2), 386, [atom(C1),atom(C2)]). 887 %instr(read_integer2(C1,C2), 387, [i(C1),i(C2)]). 888 %instr(read_integeratom(C1,C2), 388, [i(C1),ato [all...] |
H A D | kb.pl | 1135 'KBS_cond_parse'( C1 and C2, Rs, and( TC1, TC2)) :- 1136 'KBS_cond_parse'( C1, Rs, TC1), 1139 'KBS_cond_parse'( C1 or C2, Rs, or( TC1, TC2)) :- 1140 'KBS_cond_parse'( C1, Rs, TC1), 1299 'KB_flatten'( and( C1, C2), S, Args, ','(Xtras1, Xtras2)) :- 1300 'KB_flatten'( C1, S, Args, Xtras1), 1368 'KB_simpl_flat_tree'(','(','(C1, C2), C3), NC) :- 1370 'KB_simpl_flat_tree'(','(C1, C2), NC1), 1371 NC1 \== and( C1, C2), 1373 'KB_simpl_flat_tree'(','(C3, ','(C1, C [all...] |
/barrelfish-master/lib/openssl-1.0.0d/crypto/whrlpool/ |
H A D | wp_block.c | 151 # define C1(K,i) ROTATE(Cx.q[K.c[(i)*8+1]],8) macro 169 # define C1(K,i) (Cx.q[1+8*K.c[(i)*8+1]]) macro 182 # define C1(K,i) (((u64*)(Cx.c+7))[2*K.c[(i)*8+1]]) macro 487 L[i] ^= C0(K,i) ^ C1(K,(i-1)&7) ^ 495 L[i] ^= C0(S,i) ^ C1(S,(i-1)&7) ^ 536 L0 = C0(K,0) ^ C1(K,7) ^ C2(K,6) ^ C3(K,5) ^ 538 L1 = C0(K,1) ^ C1(K,0) ^ C2(K,7) ^ C3(K,6) ^ 540 L2 = C0(K,2) ^ C1(K,1) ^ C2(K,0) ^ C3(K,7) ^ 542 L3 = C0(K,3) ^ C1(K,2) ^ C2(K,1) ^ C3(K,0) ^ 544 L4 = C0(K,4) ^ C1( [all...] |
/barrelfish-master/usr/eclipseclp/ecrc_solvers/ |
H A D | r.pl | 483 update(V, lin with [dead:Dead,pvar:Pvar], [mono(C1,V1)]) :- 484 number(C1), 487 V2 is C1*V1, 508 divide_remove(C,Var,[mono(C1,V)|T],R) :- 512 C2 is C1/C, 547 C1 is Coeff*C, 549 substitute(C1,Rhs,R0,R1) 551 R1 = [mono(C1,V)|R0] 559 C1 is Coeff*C, 560 substitute_aux(C1, [all...] |
/barrelfish-master/usr/eclipseclp/documents/visualisation/ |
H A D | annotate.tex | 48 Carries = [C1,C2,C3,C4], 53 C1 #= M, 54 C2 + S + M #= O + 10*C1, 64 classic puzzle uses four variables \texttt{[C1,C2,C3,C4]} to indicate 194 viewable_expand(equation, 1, [C1, C2, C3, C4, 0]). 257 Carries = [C1,C2,C3,C4], 262 C1 #= M, 263 C2 + S + M #= O + 10*C1, 269 viewable_expand(equation, 1, [C1, C2, C3, C4, 0], "carries"). 374 Vars = [A1, B1, C1, D [all...] |
/barrelfish-master/usr/eclipseclp/Contrib/ |
H A D | cardinal_functions.pl | 112 cardinality(S, C1), 113 (ground(Card), is_list(Card) -> C1::Card ; C1#=Card)
|
/barrelfish-master/usr/eclipseclp/lib_tcl/widget/ |
H A D | pane.tcl | 219 C0 [expr $t0+$offset] C1 [expr $t1+$t2-$offset]] 231 if {$f>$PANE(C1)} { set f $PANE(C1) }
|
/barrelfish-master/usr/eclipseclp/documents/tutorial/ |
H A D | eplex.tex | 135 \(A1 + B1 + C1 + D1 \leq 50 \) 150 \min (10A1 + 7A2 + 200A3 + 8B1 + 5B2 + 10B3 + 5C1 + 5C2 + 8C3 + 9D1 + 3D2 + 7D3) 159 C1 + C2 + C3 & = & 34\\ 161 A1 + B1 + C1 + D1 & \leq & 50\\ 227 Vars = [A1,A2,A3,B1,B2,B3,C1,C2,C3,D1,D2,D3], 233 prob: (C1 + C2 + C3 \$= 34), 236 prob: (A1 + B1 + C1 + D1 \$=< 50), 244 5*C1 + 5*C2 + 8*C3 + 387 Vars = [A1,A2,A3,B1,B2,B3,C1,C2,C3,D1,D2,D3], 391 prob: (C1 [all...] |
/barrelfish-master/usr/eclipseclp/icparc_solvers/ilog/ |
H A D | t.pl | 149 path(t(N0-C0, N1-C1, N2-0), transit, 1, value).
|