Home
last modified time | relevance | path

Searched refs:f_1 (Results 1 – 25 of 1712) sorted by relevance

12345678910>>...69

/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;
21 [e_2,f_1];
31 [h_1,f_1]+2 f_1;
34 [h_2,f_1]-f_1;
43 [f_1,[f_1,[f_1,[f_1,f_2]]]];
45 [f_2,[f_2,f_1]];
H A Dstd-a04.in4 f_1 f_2 f_3 f_4
36 [e_2,f_1];
40 [e_3,f_1];
44 [e_4,f_1];
70 [h_1,f_1]+2 f_1;
75 [h_2,f_1]-f_1;
80 [h_3,f_1];
85 [h_4,f_1];
105 [f_1,[f_1,f_2]];
106 [f_1,f_3];
[all …]
H A Dstd-a05.in43 [e_2,f_1];
48 [e_3,f_1];
53 [e_4,f_1];
58 [e_5,f_1];
95 [h_1,f_1]+2 f_1;
101 [h_2,f_1]-f_1;
107 [h_3,f_1];
113 [h_4,f_1];
119 [h_5,f_1];
146 [f_1,[f_1,f_2]];
[all …]
H A Dstd-c05.in43 [e_2,f_1];
48 [e_3,f_1];
53 [e_4,f_1];
58 [e_5,f_1];
95 [h_1,f_1]+2 f_1;
101 [h_2,f_1]-f_1;
107 [h_3,f_1];
113 [h_4,f_1];
119 [h_5,f_1];
146 [f_1,[f_1,f_2]];
[all …]
H A Dstd-b05.in43 [e_2,f_1];
48 [e_3,f_1];
53 [e_4,f_1];
58 [e_5,f_1];
95 [h_1,f_1]+2 f_1;
101 [h_2,f_1]-f_1;
107 [h_3,f_1];
113 [h_4,f_1];
119 [h_5,f_1];
146 [f_1,[f_1,f_2]];
[all …]
H A Dstd-d05.in44 [e_2,f_1];
49 [e_3,f_1];
54 [e_4,f_1];
59 [e_5,f_1];
96 [h_1,f_1]+2 f_1;
102 [h_2,f_1]-f_1;
108 [h_3,f_1];
114 [h_4,f_1];
120 [h_5,f_1];
147 [f_1,[f_1,f_2]];
[all …]
H A Dstd-b04.in4 f_1 f_2 f_3 f_4
36 [e_2,f_1];
40 [e_3,f_1];
44 [e_4,f_1];
70 [h_1,f_1]+2 f_1;
75 [h_2,f_1]-f_1;
80 [h_3,f_1];
85 [h_4,f_1];
105 [f_1,[f_1,f_2]];
106 [f_1,f_3];
[all …]
H A Dstd-c04.in4 f_1 f_2 f_3 f_4
36 [e_2,f_1];
40 [e_3,f_1];
44 [e_4,f_1];
70 [h_1,f_1]+2 f_1;
75 [h_2,f_1]-f_1;
80 [h_3,f_1];
85 [h_4,f_1];
105 [f_1,[f_1,f_2]];
106 [f_1,f_3];
[all …]
H A Dstd-d04.in5 f_1 f_2 f_3 f_4
37 [e_2,f_1];
41 [e_3,f_1];
45 [e_4,f_1];
71 [h_1,f_1]+2 f_1;
76 [h_2,f_1]-f_1;
81 [h_3,f_1];
86 [h_4,f_1];
106 [f_1,[f_1,f_2]];
107 [f_1,f_3];
[all …]
H A Dstd-f4.in3 f_1 f_2 f_3 f_4
35 [e_2,f_1];
39 [e_3,f_1];
43 [e_4,f_1];
69 [h_1,f_1]+2 f_1;
74 [h_2,f_1]-f_1;
79 [h_3,f_1];
84 [h_4,f_1];
104 [f_1,[f_1,f_2]];
105 [f_1,f_3];
[all …]
H A Dstd-a03.in4 f_1 f_2 f_3
23 [e_1,f_1]-h_1;
30 [e_2,f_1];
33 [e_3,f_1];
50 [h_1,f_1]+2 f_1;
54 [h_2,f_1]-f_1;
58 [h_3,f_1];
72 [f_1,[f_1,f_2]];
73 [f_1,f_3];
75 [f_2,[f_2,f_1]];
H A Dstd-c03.in4 f_1 f_2 f_3
23 [e_1,f_1]-h_1;
30 [e_2,f_1];
33 [e_3,f_1];
50 [h_1,f_1]+2 f_1;
54 [h_2,f_1]-f_1;
58 [h_3,f_1];
72 [f_1,[f_1,f_2]];
73 [f_1,f_3];
75 [f_2,[f_2,f_1]];
H A Dstd-b03.in4 f_1 f_2 f_3
23 [e_1,f_1]-h_1;
30 [e_2,f_1];
33 [e_3,f_1];
50 [h_1,f_1]+2 f_1;
54 [h_2,f_1]-f_1;
58 [h_3,f_1];
72 [f_1,[f_1,f_2]];
73 [f_1,f_3];
75 [f_2,[f_2,f_1]];
H A Dstd-c06.in51 [e_2,f_1];
57 [e_3,f_1];
63 [e_4,f_1];
69 [e_5,f_1];
75 [e_6,f_1];
125 [h_1,f_1]+2 f_1;
132 [h_2,f_1]-f_1;
139 [h_3,f_1];
146 [h_4,f_1];
153 [h_5,f_1];
[all …]
H A Dstd-a06.in51 [e_2,f_1];
57 [e_3,f_1];
63 [e_4,f_1];
69 [e_5,f_1];
75 [e_6,f_1];
125 [h_1,f_1]+2 f_1;
132 [h_2,f_1]-f_1;
139 [h_3,f_1];
146 [h_4,f_1];
153 [h_5,f_1];
[all …]
H A Dstd-d06.in52 [e_2,f_1];
58 [e_3,f_1];
64 [e_4,f_1];
70 [e_5,f_1];
76 [e_6,f_1];
126 [h_1,f_1]+2 f_1;
133 [h_2,f_1]-f_1;
140 [h_3,f_1];
147 [h_4,f_1];
154 [h_5,f_1];
[all …]
H A Dstd-e6.in52 [e_2,f_1];
58 [e_3,f_1];
64 [e_4,f_1];
70 [e_5,f_1];
76 [e_6,f_1];
126 [h_1,f_1]+2 f_1;
133 [h_2,f_1]-f_1;
140 [h_3,f_1];
147 [h_4,f_1];
154 [h_5,f_1];
[all …]
H A Dstd-b06.in51 [e_2,f_1];
57 [e_3,f_1];
63 [e_4,f_1];
69 [e_5,f_1];
75 [e_6,f_1];
125 [h_1,f_1]+2 f_1;
132 [h_2,f_1]-f_1;
139 [h_3,f_1];
146 [h_4,f_1];
153 [h_5,f_1];
[all …]
H A Dstd-a02.in4 f_1 f_2
20 [e_1,f_1]-h_1;
25 [e_2,f_1];
35 [h_1,f_1]+2 f_1;
38 [h_2,f_1]-f_1;
47 [f_1,[f_1,f_2]];
49 [f_2,[f_2,f_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;
23 [e_2,f_1];
33 [h_1,f_1]+2 f_1;
36 [h_2,f_1]-2 f_1;
45 [f_1,[f_1,f_2]];
47 [f_2,[f_2,[f_2,f_1]]];
H A Dstd-c07.in60 [e_2,f_1];
67 [e_3,f_1];
74 [e_4,f_1];
81 [e_5,f_1];
88 [e_6,f_1];
95 [e_7,f_1];
160 [h_1,f_1]+2 f_1;
168 [h_2,f_1]-f_1;
176 [h_3,f_1];
184 [h_4,f_1];
[all …]
H A Dstd-e7.in61 [e_2,f_1];
68 [e_3,f_1];
75 [e_4,f_1];
82 [e_5,f_1];
89 [e_6,f_1];
96 [e_7,f_1];
161 [h_1,f_1]+2 f_1;
169 [h_2,f_1]-f_1;
177 [h_3,f_1];
185 [h_4,f_1];
[all …]
H A Dstd-a07.in60 [e_2,f_1];
67 [e_3,f_1];
74 [e_4,f_1];
81 [e_5,f_1];
88 [e_6,f_1];
95 [e_7,f_1];
160 [h_1,f_1]+2 f_1;
168 [h_2,f_1]-f_1;
176 [h_3,f_1];
184 [h_4,f_1];
[all …]
H A Dstd-b07.in60 [e_2,f_1];
67 [e_3,f_1];
74 [e_4,f_1];
81 [e_5,f_1];
88 [e_6,f_1];
95 [e_7,f_1];
160 [h_1,f_1]+2 f_1;
168 [h_2,f_1]-f_1;
176 [h_3,f_1];
184 [h_4,f_1];
[all …]
H A Dstd-d07.in61 [e_2,f_1];
68 [e_3,f_1];
75 [e_4,f_1];
82 [e_5,f_1];
89 [e_6,f_1];
96 [e_7,f_1];
161 [h_1,f_1]+2 f_1;
169 [h_2,f_1]-f_1;
177 [h_3,f_1];
185 [h_4,f_1];
[all …]

12345678910>>...69