Searched refs:C1 (Results 1 - 25 of 47) sorted by relevance

12

/barrelfish-master/lib/msun/ld80/
H A Dk_cosl.c54 #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 Dk_cosf.c29 C1 = 0x155553e1053a42.0p-57, /* 0.0416666233237390631894 */ variable
45 return ((one+z*C0) + w*C1) + (w*z)*r;
H A Dk_cos.c29 * 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 Dmath-utilities.pl35 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 Dmath-gauss.pl77 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 Dtime-pc.pl152 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 Dmath-eager.pl62 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 Dmath-fourier.pl391 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 Dmath-lazy.pl63 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 Dk_cosl.c36 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 Dscreen.pl16 C1 is (C+1)/10 - ((C+1) mod 10 / 10) + 48,
17 fix(C1, F1),
H A Dpuzzle.pl29 structure([friend(N1,C1,S1), friend(N2,C2,S2), friend(N3,C3,S3)]).
/barrelfish-master/usr/eclipseclp/Kernel/lib/
H A Dlinearize.pl33 % [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 Dt_all.pl345 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 Dsicstus.pl252 condition_fails((C1;C2), [V1|V2]) :-
253 condition_fails(C1, V1),
255 condition_fails((C1,_C2), V) :-
256 condition_fails(C1, V), !.
H A Dsystools.pl230 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 Dasm.pl876 %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 Dkb.pl1135 '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 Dwp_block.c151 # 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 Dr.pl483 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 Dannotate.tex48 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 Dcardinal_functions.pl112 cardinality(S, C1),
113 (ground(Card), is_list(Card) -> C1::Card ; C1#=Card)
/barrelfish-master/usr/eclipseclp/lib_tcl/widget/
H A Dpane.tcl219 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 Deplex.tex135 \(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 Dt.pl149 path(t(N0-C0, N1-C1, N2-0), transit, 1, value).

Completed in 160 milliseconds

12