/dports/math/gap/gap-4.11.0/pkg/FPLSA-1.2.4/lib/ |
H A D | std-g2.in | 3 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 D | std-a04.in | 4 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 D | std-a05.in | 43 [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 D | std-c05.in | 43 [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 D | std-b05.in | 43 [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 D | std-d05.in | 44 [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 D | std-b04.in | 4 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 D | std-c04.in | 4 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 D | std-d04.in | 5 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 D | std-f4.in | 3 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 D | std-a03.in | 4 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 D | std-c03.in | 4 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 D | std-b03.in | 4 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 D | std-c06.in | 51 [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 D | std-a06.in | 51 [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 D | std-d06.in | 52 [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 D | std-e6.in | 52 [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 D | std-b06.in | 51 [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 D | std-a02.in | 4 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 D | std-b02.in | 3 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 D | std-c07.in | 60 [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 D | std-e7.in | 61 [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 D | std-a07.in | 60 [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 D | std-b07.in | 60 [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 D | std-d07.in | 61 [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 …]
|