/dports/lang/racket/racket-8.3/share/pkgs/redex-examples/redex/examples/delim-cont/ |
H A D | meta.rkt | 10 [(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 D | std-d04.in | 4 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 D | std-c03.in | 3 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 D | std-f4.in | 2 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 D | std-a04.in | 3 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 D | std-a03.in | 3 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 D | std-b03.in | 3 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 D | std-b04.in | 3 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 D | std-c04.in | 3 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 D | std-a05.in | 43 [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 D | std-c05.in | 43 [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 D | std-b05.in | 43 [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 D | std-d05.in | 44 [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 D | std-c06.in | 51 [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 D | std-a06.in | 51 [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 D | std-d06.in | 52 [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 D | std-e6.in | 52 [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 D | std-b06.in | 51 [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 D | serr-c10.in | 4 [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 D | serr-d10.in | 6 [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 D | serr-b10.in | 4 [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 D | serr-a10.in | 4 [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 D | serr-d09.in | 2 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 D | serr-c09.in | 2 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 D | ls_step.c | 385 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 …]
|