Home
last modified time | relevance | path

Searched refs:e_2 (Results 1 – 25 of 619) sorted by relevance

12345678910>>...25

/dports/lang/racket/racket-8.3/share/pkgs/redex-examples/redex/examples/delim-cont/
H A Dmeta.rkt10 [(subst x e_1 e_2) (subst* ((x e_1)) e_2)])
72 [(get-marks-core (in-hole hole hole) v e_2) e_2]
75 [(get-marks-core (v ... E_1 e ...) v_1 e_2) (get-marks E_1 v_1 e_2)]
76 [(get-marks-core (begin E_1 e) v_1 e_2) (get-marks E_1 v_1 e_2)]
77 [(get-marks-core (% v_2 E_1 v_3) v_1 e_2) (get-marks E_1 v_1 e_2)]
78 [(get-marks-core (% v_2 e_1 E_1) v_1 e_2) (get-marks E_1 v_1 e_2)]
79 [(get-marks-core (% E_1 e_1 e_3) v_1 e_2) (get-marks E_1 v_1 e_2)]
80 [(get-marks-core (dw x e_1 E_1 e_3) v_1 e_2) (get-marks E_1 v_1 e_2)])
83 [(get-marks (if E_1 e_1 e_3) v_1 e_2) (get-marks E_1 v_1 e_2)]
84 [(get-marks (set! x E_1) v_1 e_2) (get-marks E_1 v_1 e_2)]
[all …]
/dports/math/gap/gap-4.11.0/pkg/FPLSA-1.2.4/lib/
H A Dstd-d04.in4 e_1 e_2 e_3 e_4
37 [e_2,f_1];
38 [e_2,f_3];
39 [e_2,f_4];
51 [h_1,e_2]+e_2;
56 [h_2,e_2]-2 e_2;
61 [h_3,e_2]+e_2;
66 [h_4,e_2]+e_2;
96 [e_2,[e_2,e_1]];
97 [e_2,[e_2,e_3]];
[all …]
H A Dstd-c03.in3 e_1 e_2 e_3
24 [e_2,f_2]-h_2;
30 [e_2,f_1];
31 [e_2,f_3];
38 [h_1,e_2]+e_2;
42 [h_2,e_2]-2 e_2;
46 [h_3,e_2]+e_2;
63 [e_1,[e_1,e_2]];
66 [e_2,[e_2,e_1]];
67 [e_2,[e_2,[e_2,e_3]]];
[all …]
H A Dstd-f4.in2 e_1 e_2 e_3 e_4
35 [e_2,f_1];
36 [e_2,f_3];
37 [e_2,f_4];
49 [h_1,e_2]+e_2;
54 [h_2,e_2]-2 e_2;
59 [h_3,e_2]+e_2;
64 [h_4,e_2];
94 [e_2,[e_2,e_1]];
95 [e_2,[e_2,[e_2,e_3]]];
[all …]
H A Dstd-a04.in3 e_1 e_2 e_3 e_4
36 [e_2,f_1];
37 [e_2,f_3];
38 [e_2,f_4];
50 [h_1,e_2]+e_2;
55 [h_2,e_2]-2 e_2;
60 [h_3,e_2]+e_2;
65 [h_4,e_2];
95 [e_2,[e_2,e_1]];
96 [e_2,[e_2,e_3]];
[all …]
H A Dstd-a03.in3 e_1 e_2 e_3
24 [e_2,f_2]-h_2;
30 [e_2,f_1];
31 [e_2,f_3];
38 [h_1,e_2]+e_2;
42 [h_2,e_2]-2 e_2;
46 [h_3,e_2]+e_2;
63 [e_1,[e_1,e_2]];
66 [e_2,[e_2,e_1]];
67 [e_2,[e_2,e_3]];
[all …]
H A Dstd-b03.in3 e_1 e_2 e_3
24 [e_2,f_2]-h_2;
30 [e_2,f_1];
31 [e_2,f_3];
38 [h_1,e_2]+e_2;
42 [h_2,e_2]-2 e_2;
46 [h_3,e_2]+2 e_2;
63 [e_1,[e_1,e_2]];
66 [e_2,[e_2,e_1]];
67 [e_2,[e_2,e_3]];
[all …]
H A Dstd-b04.in3 e_1 e_2 e_3 e_4
36 [e_2,f_1];
37 [e_2,f_3];
38 [e_2,f_4];
50 [h_1,e_2]+e_2;
55 [h_2,e_2]-2 e_2;
60 [h_3,e_2]+e_2;
65 [h_4,e_2];
95 [e_2,[e_2,e_1]];
96 [e_2,[e_2,e_3]];
[all …]
H A Dstd-c04.in3 e_1 e_2 e_3 e_4
36 [e_2,f_1];
37 [e_2,f_3];
38 [e_2,f_4];
50 [h_1,e_2]+e_2;
55 [h_2,e_2]-2 e_2;
60 [h_3,e_2]+e_2;
65 [h_4,e_2];
95 [e_2,[e_2,e_1]];
96 [e_2,[e_2,e_3]];
[all …]
H A Dstd-a05.in43 [e_2,f_1];
44 [e_2,f_3];
45 [e_2,f_4];
46 [e_2,f_5];
65 [h_1,e_2]+e_2;
71 [h_2,e_2]-2 e_2;
77 [h_3,e_2]+e_2;
83 [h_4,e_2];
89 [h_5,e_2];
131 [e_2,[e_2,e_1]];
[all …]
H A Dstd-c05.in43 [e_2,f_1];
44 [e_2,f_3];
45 [e_2,f_4];
46 [e_2,f_5];
65 [h_1,e_2]+e_2;
71 [h_2,e_2]-2 e_2;
77 [h_3,e_2]+e_2;
83 [h_4,e_2];
89 [h_5,e_2];
131 [e_2,[e_2,e_1]];
[all …]
H A Dstd-b05.in43 [e_2,f_1];
44 [e_2,f_3];
45 [e_2,f_4];
46 [e_2,f_5];
65 [h_1,e_2]+e_2;
71 [h_2,e_2]-2 e_2;
77 [h_3,e_2]+e_2;
83 [h_4,e_2];
89 [h_5,e_2];
131 [e_2,[e_2,e_1]];
[all …]
H A Dstd-d05.in44 [e_2,f_1];
45 [e_2,f_3];
46 [e_2,f_4];
47 [e_2,f_5];
66 [h_1,e_2]+e_2;
72 [h_2,e_2]-2 e_2;
78 [h_3,e_2]+e_2;
84 [h_4,e_2];
90 [h_5,e_2];
132 [e_2,[e_2,e_1]];
[all …]
H A Dstd-c06.in51 [e_2,f_1];
52 [e_2,f_3];
53 [e_2,f_4];
54 [e_2,f_5];
55 [e_2,f_6];
83 [h_1,e_2]+e_2;
90 [h_2,e_2]-2 e_2;
97 [h_3,e_2]+e_2;
104 [h_4,e_2];
174 [e_2,[e_2,e_1]];
[all …]
H A Dstd-a06.in51 [e_2,f_1];
52 [e_2,f_3];
53 [e_2,f_4];
54 [e_2,f_5];
55 [e_2,f_6];
83 [h_1,e_2]+e_2;
90 [h_2,e_2]-2 e_2;
97 [h_3,e_2]+e_2;
104 [h_4,e_2];
174 [e_2,[e_2,e_1]];
[all …]
H A Dstd-d06.in52 [e_2,f_1];
53 [e_2,f_3];
54 [e_2,f_4];
55 [e_2,f_5];
56 [e_2,f_6];
84 [h_1,e_2]+e_2;
91 [h_2,e_2]-2 e_2;
98 [h_3,e_2]+e_2;
105 [h_4,e_2];
175 [e_2,[e_2,e_1]];
[all …]
H A Dstd-e6.in52 [e_2,f_1];
53 [e_2,f_3];
54 [e_2,f_4];
55 [e_2,f_5];
56 [e_2,f_6];
84 [h_1,e_2]+e_2;
91 [h_2,e_2]-2 e_2;
98 [h_3,e_2]+e_2;
105 [h_4,e_2];
174 [e_2,[e_2,e_1]];
[all …]
H A Dstd-b06.in51 [e_2,f_1];
52 [e_2,f_3];
53 [e_2,f_4];
54 [e_2,f_5];
55 [e_2,f_6];
83 [h_1,e_2]+e_2;
90 [h_2,e_2]-2 e_2;
97 [h_3,e_2]+e_2;
104 [h_4,e_2];
174 [e_2,[e_2,e_1]];
[all …]
H A Dserr-c10.in4 [e_1,[e_1,e_2]];
13 [e_2,[e_2,e_1]];
14 [e_2,[e_2,e_3]];
15 [e_2,e_4];
16 [e_2,e_5];
17 [e_2,e_6];
18 [e_2,e_7];
19 [e_2,e_8];
20 [e_2,e_9];
21 [e_2,e_10];
[all …]
H A Dserr-d10.in6 [e_1,[e_1,e_2]];
15 [e_2,[e_2,e_1]];
16 [e_2,[e_2,e_3]];
17 [e_2,e_4];
18 [e_2,e_5];
19 [e_2,e_6];
20 [e_2,e_7];
21 [e_2,e_8];
22 [e_2,e_9];
23 [e_2,e_10];
[all …]
H A Dserr-b10.in4 [e_1,[e_1,e_2]];
13 [e_2,[e_2,e_1]];
14 [e_2,[e_2,e_3]];
15 [e_2,e_4];
16 [e_2,e_5];
17 [e_2,e_6];
18 [e_2,e_7];
19 [e_2,e_8];
20 [e_2,e_9];
21 [e_2,e_10];
[all …]
H A Dserr-a10.in4 [e_1,[e_1,e_2]];
13 [e_2,[e_2,e_1]];
14 [e_2,[e_2,e_3]];
15 [e_2,e_4];
16 [e_2,e_5];
17 [e_2,e_6];
18 [e_2,e_7];
19 [e_2,e_8];
20 [e_2,e_9];
21 [e_2,e_10];
[all …]
H A Dserr-d09.in2 e_1 e_2 e_3 e_4 e_5 e_6 e_7 e_8 e_9;
4 [e_1,[e_1,e_2]];
12 [e_2,[e_2,e_1]];
13 [e_2,[e_2,e_3]];
14 [e_2,e_4];
15 [e_2,e_5];
16 [e_2,e_6];
17 [e_2,e_7];
18 [e_2,e_8];
19 [e_2,e_9];
[all …]
H A Dserr-c09.in2 e_1 e_2 e_3 e_4 e_5 e_6 e_7 e_8 e_9;
4 [e_1,[e_1,e_2]];
12 [e_2,[e_2,e_1]];
13 [e_2,[e_2,e_3]];
14 [e_2,e_4];
15 [e_2,e_5];
16 [e_2,e_6];
17 [e_2,e_7];
18 [e_2,e_8];
19 [e_2,e_9];
[all …]
/dports/games/flightgear/flightgear-2020.3.11/src/FDM/LaRCsim/
H A Dls_step.c385 T_local_to_body_11 = e_0*e_0 + e_1*e_1 - e_2*e_2 - e_3*e_3; in ls_step()
389 T_local_to_body_22 = e_0*e_0 - e_1*e_1 + e_2*e_2 - e_3*e_3; in ls_step()
393 T_local_to_body_33 = e_0*e_0 - e_1*e_1 - e_2*e_2 + e_3*e_3; in ls_step()
504 e_2 = e_2 + dth*(e_dot_2 + e_dot_2_past); in ls_step()
509 epsilon = sqrt(e_0*e_0 + e_1*e_1 + e_2*e_2 + e_3*e_3); in ls_step()
514 e_2 = inv_eps*e_2; in ls_step()
526 T_local_to_body_11 = e_0*e_0 + e_1*e_1 - e_2*e_2 - e_3*e_3; in ls_step()
527 T_local_to_body_12 = 2*(e_1*e_2 + e_0*e_3); in ls_step()
528 T_local_to_body_13 = 2*(e_1*e_3 - e_0*e_2); in ls_step()
530 T_local_to_body_22 = e_0*e_0 - e_1*e_1 + e_2*e_2 - e_3*e_3; in ls_step()
[all …]

12345678910>>...25