Home
last modified time | relevance | path

Searched refs:e_1 (Results 1 – 25 of 731) sorted by relevance

12345678910>>...30

/dports/lang/yorick/yorick-y_2_2_04/matrix/
H A Ddbdsqr.c55 #undef e_1 in dbdsqr()
719 e_1( ll+1 ) = cosl*e_1( ll+1 ); in dbdsqr()
729 e_1( i ) = cosr*e_1( i ) - sinr*d_1( i ); in dbdsqr()
737 e_1( i+1 ) = cosl*e_1( i+1 ); in dbdsqr()
787 e_1( ll+1 ) = cosl*e_1( ll+1 ); in dbdsqr()
792 e_1( i ) = cosr*e_1( i ) - sinr*d_1( i ); in dbdsqr()
800 e_1( i+1 ) = cosl*e_1( i+1 ); in dbdsqr()
843 e_1( m-2 ) = cosl*e_1( m-2 ); in dbdsqr()
861 e_1( i-2 ) = cosl*e_1( i-2 ); in dbdsqr()
897 e_1( m-2 ) = cosl*e_1( m-2 ); in dbdsqr()
[all …]
/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)])
20 [(subst* ((x_0 e_0) ... (x_1 e_1) (x_2 e_2) ...) x_1) e_1]
22 [(subst* ((x_1 e_1) ...) (list v_1 ...)) (list (subst* ((x_1 e_1) ...) v_1) ...)]
23 [(subst* ((x_1 e_1) ...) (cont v E)) (cont (subst* ((x_1 e_1) ...) v) E)]
28 (if (subst* ((x_1 e_1) ...) e_2)
29 (subst* ((x_1 e_1) ...) e_3)
37 (% (subst* ((x_1 e_1) ...) e_2)
38 (subst* ((x_1 e_1) ...) e_3)
46 (subst* ((x_1 e_1) ...) e_2)
88 [(expose-wcm e_1) e_1 (side-condition (term (noMatchWCM e_1 (wcm w e))))]
[all …]
/dports/math/gap/gap-4.11.0/pkg/semigroups-3.2.3/tst/standard/
H A Dsemigraph.tst25 [ e_5^-1, e_4^-1, e_3^-1, e_3^-1e_1^-1, e_2^-1, e_2^-1e_1^-1, e_1^-1, 0, e_1,
36 gap> Zero(e_1);
45 [ e_5^-1, e_4^-1, e_3^-1, e_3^-1e_1^-1, e_2^-1, e_2^-1e_1^-1, e_1^-1, e_1,
71 gap> e_1 ^ -1;
72 e_1^-1
76 gap> e_1 ^ -1;
77 e_1^-1
78 gap> e_1 = e_2;
80 gap> e_1 ^ -1 * e_1 = v_1;
82 gap> e_1 * e_1 ^ -1 = v_1;
[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()
503 e_1 = e_1 + dth*(e_dot_1 + e_dot_1_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()
513 e_1 = inv_eps*e_1; 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 …]
/dports/lang/racket/racket-8.3/share/pkgs/redex-examples/redex/examples/
H A Dchurch.rkt33 [(subst (x_1 e_1 (lambda (x_2) e_2)))
36 [(subst (x_1 e_1 (let (x_1 e_2) e_3))) (let (x_1 (subst (x_1 e_1 e_2))) e_3)]
39 (term (let (x_2 (subst (x_1 e_1 e_2))) (subst (x_1 e_1 (subst (x_2 x_new e_3)))))))]
40 [(subst (x_1 e_1 x_1)) e_1]
41 [(subst (x_1 e_1 x_2)) x_2]
42 [(subst (x_1 e_1 (app e_2 e_3)))
43 (app (subst (x_1 e_1 e_2))
44 (subst (x_1 e_1 e_3)))]
45 [(subst (x_1 e_1 (+ e_2 e_3)))
46 (+ (subst (x_1 e_1 e_2))
[all …]
/dports/math/gap/gap-4.11.0/pkg/FPLSA-1.2.4/lib/
H A Dstd-g2.in3 e_1 e_2 f_1 f_2 h_1 h_2;
16 [e_1,f_1]-h_1;
19 [e_1,f_2];
24 [h_1,e_1]-2 e_1;
27 [h_2,e_1]+e_1;
38 [e_1,[e_1,[e_1,[e_1,e_2]]]];
40 [e_2,[e_2,e_1]];
H A Dstd-a04.in3 e_1 e_2 e_3 e_4
32 [e_1,f_2];
33 [e_1,f_3];
34 [e_1,f_4];
49 [h_1,e_1]-2 e_1;
54 [h_2,e_1]+e_1;
59 [h_3,e_1];
64 [h_4,e_1];
91 [e_1,[e_1,e_2]];
92 [e_1,e_3];
[all …]
H A Dstd-a05.in3 e_1 e_2 e_3 e_4 e_5
38 [e_1,f_2];
39 [e_1,f_3];
40 [e_1,f_4];
41 [e_1,f_5];
64 [h_1,e_1]-2 e_1;
70 [h_2,e_1]+e_1;
76 [h_3,e_1];
82 [h_4,e_1];
88 [h_5,e_1];
[all …]
H A Dstd-c05.in38 [e_1,f_2];
39 [e_1,f_3];
40 [e_1,f_4];
41 [e_1,f_5];
64 [h_1,e_1]-2 e_1;
70 [h_2,e_1]+e_1;
76 [h_3,e_1];
82 [h_4,e_1];
88 [h_5,e_1];
126 [e_1,[e_1,e_2]];
[all …]
H A Dstd-b05.in38 [e_1,f_2];
39 [e_1,f_3];
40 [e_1,f_4];
41 [e_1,f_5];
64 [h_1,e_1]-2 e_1;
70 [h_2,e_1]+e_1;
76 [h_3,e_1];
82 [h_4,e_1];
88 [h_5,e_1];
126 [e_1,[e_1,e_2]];
[all …]
H A Dstd-d05.in39 [e_1,f_2];
40 [e_1,f_3];
41 [e_1,f_4];
42 [e_1,f_5];
65 [h_1,e_1]-2 e_1;
71 [h_2,e_1]+e_1;
77 [h_3,e_1];
83 [h_4,e_1];
89 [h_5,e_1];
127 [e_1,[e_1,e_2]];
[all …]
H A Dstd-b04.in3 e_1 e_2 e_3 e_4
32 [e_1,f_2];
33 [e_1,f_3];
34 [e_1,f_4];
49 [h_1,e_1]-2 e_1;
54 [h_2,e_1]+e_1;
59 [h_3,e_1];
64 [h_4,e_1];
91 [e_1,[e_1,e_2]];
92 [e_1,e_3];
[all …]
H A Dstd-c04.in3 e_1 e_2 e_3 e_4
32 [e_1,f_2];
33 [e_1,f_3];
34 [e_1,f_4];
49 [h_1,e_1]-2 e_1;
54 [h_2,e_1]+e_1;
59 [h_3,e_1];
64 [h_4,e_1];
91 [e_1,[e_1,e_2]];
92 [e_1,e_3];
[all …]
H A Dstd-d04.in4 e_1 e_2 e_3 e_4
33 [e_1,f_2];
34 [e_1,f_3];
35 [e_1,f_4];
50 [h_1,e_1]-2 e_1;
55 [h_2,e_1]+e_1;
60 [h_3,e_1];
65 [h_4,e_1];
92 [e_1,[e_1,e_2]];
93 [e_1,e_3];
[all …]
H A Dstd-f4.in2 e_1 e_2 e_3 e_4
31 [e_1,f_2];
32 [e_1,f_3];
33 [e_1,f_4];
48 [h_1,e_1]-2 e_1;
53 [h_2,e_1]+e_1;
58 [h_3,e_1];
63 [h_4,e_1];
90 [e_1,[e_1,e_2]];
91 [e_1,e_3];
[all …]
H A Dstd-a03.in3 e_1 e_2 e_3
23 [e_1,f_1]-h_1;
27 [e_1,f_2];
28 [e_1,f_3];
37 [h_1,e_1]-2 e_1;
41 [h_2,e_1]+e_1;
45 [h_3,e_1];
63 [e_1,[e_1,e_2]];
64 [e_1,e_3];
66 [e_2,[e_2,e_1]];
H A Dstd-c03.in3 e_1 e_2 e_3
23 [e_1,f_1]-h_1;
27 [e_1,f_2];
28 [e_1,f_3];
37 [h_1,e_1]-2 e_1;
41 [h_2,e_1]+e_1;
45 [h_3,e_1];
63 [e_1,[e_1,e_2]];
64 [e_1,e_3];
66 [e_2,[e_2,e_1]];
H A Dstd-b03.in3 e_1 e_2 e_3
23 [e_1,f_1]-h_1;
27 [e_1,f_2];
28 [e_1,f_3];
37 [h_1,e_1]-2 e_1;
41 [h_2,e_1]+e_1;
45 [h_3,e_1];
63 [e_1,[e_1,e_2]];
64 [e_1,e_3];
66 [e_2,[e_2,e_1]];
H A Dstd-c06.in45 [e_1,f_2];
46 [e_1,f_3];
47 [e_1,f_4];
48 [e_1,f_5];
49 [e_1,f_6];
82 [h_1,e_1]-2 e_1;
89 [h_2,e_1]+e_1;
96 [h_3,e_1];
103 [h_4,e_1];
110 [h_5,e_1];
[all …]
H A Dstd-a06.in45 [e_1,f_2];
46 [e_1,f_3];
47 [e_1,f_4];
48 [e_1,f_5];
49 [e_1,f_6];
82 [h_1,e_1]-2 e_1;
89 [h_2,e_1]+e_1;
96 [h_3,e_1];
103 [h_4,e_1];
110 [h_5,e_1];
[all …]
H A Dstd-d06.in46 [e_1,f_2];
47 [e_1,f_3];
48 [e_1,f_4];
49 [e_1,f_5];
50 [e_1,f_6];
83 [h_1,e_1]-2 e_1;
90 [h_2,e_1]+e_1;
97 [h_3,e_1];
104 [h_4,e_1];
111 [h_5,e_1];
[all …]
H A Dstd-e6.in46 [e_1,f_2];
47 [e_1,f_3];
48 [e_1,f_4];
49 [e_1,f_5];
50 [e_1,f_6];
83 [h_1,e_1]-2 e_1;
90 [h_2,e_1]+e_1;
97 [h_3,e_1];
104 [h_4,e_1];
111 [h_5,e_1];
[all …]
H A Dstd-b06.in45 [e_1,f_2];
46 [e_1,f_3];
47 [e_1,f_4];
48 [e_1,f_5];
49 [e_1,f_6];
82 [h_1,e_1]-2 e_1;
89 [h_2,e_1]+e_1;
96 [h_3,e_1];
103 [h_4,e_1];
110 [h_5,e_1];
[all …]
H A Dstd-a02.in3 e_1 e_2
20 [e_1,f_1]-h_1;
23 [e_1,f_2];
28 [h_1,e_1]-2 e_1;
31 [h_2,e_1]+e_1;
42 [e_1,[e_1,e_2]];
44 [e_2,[e_2,e_1]];
H A Dstd-b02.in3 e_1 e_2 f_1 f_2 h_1 h_2;
18 [e_1,f_1]-h_1;
21 [e_1,f_2];
26 [h_1,e_1]-2 e_1;
29 [h_2,e_1]+2 e_1;
40 [e_1,[e_1,e_2]];
42 [e_2,[e_2,[e_2,e_1]]];

12345678910>>...30