source:
git/Tst/Old/universal.lst
@
721650
| Last change on this file since 721650 was 721650, checked in by , 24 years ago | |
|---|---|
|
|
| File size: 1.9 KB | |
| Line | |
|---|---|
| 1 | cmp |
| 2 | barei |
| 3 | bett |
| 4 | ch |
| 5 | col |
| 6 | corner |
| 7 | def |
| 8 | degre |
| 9 | dimens |
| 10 | execut |
| 11 | fetch |
| 12 | freemod |
| 13 | generat |
| 14 | hilbert |
| 15 | homo |
| 16 | idea |
| 17 | initial |
| 18 | integ |
| 19 | interred |
| 20 | intersec |
| 21 | jacobi |
| 22 | jett |
| 23 | kbas |
| 24 | kil |
| 25 | lif |
| 26 | liftstan |
| 27 | liste |
| 28 | mapp |
| 29 | matr |
| 30 | maxdegr |
| 31 | maxid |
| 32 | minbas |
| 33 | mino |
| 34 | modu |
| 35 | mre |
| 36 | mult |
| 37 | normalf |
| 38 | numvar |
| 39 | opt |
| 40 | order |
| 41 | part |
| 42 | pol |
| 43 | preim |
| 44 | prim |
| 45 | qrin |
| 46 | rang |
| 47 | re |
| 48 | ; DIFF regul |
| 49 | ringdef |
| 50 | row |
| 51 | rvari |
| 52 | setrin |
| 53 | shor |
| 54 | siz |
| 55 | sre |
| 56 | sstring |
| 57 | substit |
| 58 | syzygy |
| 59 | teste |
| 60 | time |
| 61 | trans |
| 62 | typ |
| 63 | typof |
| 64 | va |
| 65 | vdimen |
| 66 | vec |
| 67 | wedg |
| 68 | m1ex |
| 69 | m2ex |
| 70 | m3ex |
| 71 | m4ex |
| 72 | m5ex |
| 73 | m7ex |
| 74 | m8ex |
| 75 | m9ex |
| 76 | m10ex |
| 77 | m11ex |
| 78 | m13ex |
| 79 | m15ex |
| 80 | m16ex |
| 81 | m17ex |
| 82 | m18ex |
| 83 | m19ex |
| 84 | polylib |
| 85 | ringlib |
| 86 | lamm |
| 87 | alex2 |
| 88 | cyclic |
| 89 | mora2 |
| 90 | weight2 |
| 91 | res2 |
| 92 | zahlen0 |
| 93 | aa |
| 94 | formmat |
| 95 | if |
| 96 | alex1 |
| 97 | betti |
| 98 | binomial |
| 99 | bluff |
| 100 | cring |
| 101 | curve |
| 102 | ord |
| 103 | coef |
| 104 | coeff |
| 105 | dups |
| 106 | echo |
| 107 | ech |
| 108 | err1 |
| 109 | err2 |
| 110 | err3 |
| 111 | err4 |
| 112 | ; DIFF err5 |
| 113 | err6 |
| 114 | err7 |
| 115 | sat |
| 116 | fak |
| 117 | filenest |
| 118 | firsts |
| 119 | gm |
| 120 | h4 |
| 121 | hilb |
| 122 | ideal |
| 123 | idealop |
| 124 | modul |
| 125 | modul1 |
| 126 | modulo |
| 127 | quot |
| 128 | fastelim |
| 129 | integers |
| 130 | intvec |
| 131 | intmat |
| 132 | index |
| 133 | jet |
| 134 | lists |
| 135 | longalg |
| 136 | lpowers |
| 137 | palg |
| 138 | algnorm |
| 139 | det |
| 140 | map |
| 141 | imap |
| 142 | matrix |
| 143 | matrows |
| 144 | mora1 |
| 145 | moralex |
| 146 | nofile |
| 147 | poly |
| 148 | deg |
| 149 | comp |
| 150 | permutat |
| 151 | preimage |
| 152 | proc |
| 153 | qring |
| 154 | qring1 |
| 155 | regr1 |
| 156 | ring |
| 157 | rings |
| 158 | smm |
| 159 | std1 |
| 160 | std_test |
| 161 | stdhilb |
| 162 | redtail |
| 163 | string |
| 164 | namof |
| 165 | koszul |
| 166 | res |
| 167 | sres |
| 168 | ; DIFF syzygies |
| 169 | varlist |
| 170 | qhw |
| 171 | weight |
| 172 | m1si |
| 173 | m2si |
| 174 | m3si |
| 175 | m4si |
| 176 | m5si |
| 177 | m6si |
| 178 | m7si |
| 179 | m8si |
| 180 | m9si |
| 181 | m10si |
| 182 | m11si |
| 183 | m12si |
| 184 | m13si |
| 185 | m14si |
| 186 | m15si |
| 187 | m16si |
| 188 | m17si |
| 189 | m18si |
| 190 | m19si |
| 191 | m20si |
| 192 | m21si |
| 193 | m22si |
| 194 | m23si |
| 195 | m24si |
| 196 | m25si |
| 197 | m27si |
| 198 | m28si |
| 199 | m29si |
| 200 | m30si |
| 201 | m31si |
| 202 | m32si |
| 203 | m33si |
| 204 | m34si |
| 205 | m35si |
| 206 | m36si |
| 207 | m37si |
| 208 | m38si |
| 209 | m39si |
| 210 | m40si |
| 211 | m41si |
| 212 | m42si |
| 213 | m43si |
| 214 | m44si |
| 215 | m45si |
| 216 | m46si |
| 217 | m47si |
| 218 | m48si |
| 219 | m49si |
| 220 | m50si |
| 221 | m51si |
| 222 | m52si |
| 223 | m53si |
| 224 | m54si |
| 225 | m55si |
| 226 | m56si |
| 227 | m57si |
| 228 | m58si |
| 229 | m59si |
| 230 | m60si |
| 231 | m61si |
| 232 | m62si |
| 233 | m63si |
| 234 | m64si |
| 235 | m65si |
| 236 | m66si |
| 237 | m67si |
| 238 | m68si |
| 239 | m69si |
| 240 | m70si |
| 241 | m71si |
| 242 | m72si |
| 243 | m73si |
| 244 | m74si |
| 245 | m75si |
| 246 | m76si |
| 247 | m77si |
| 248 | m78si |
| 249 | m79si |
| 250 | m80si |
| 251 | m81si |
| 252 | m82si |
| 253 | m83si |
| 254 | m84si |
| 255 | m85si |
| 256 | m86si |
| 257 | m88si |
| 258 | m89si |
| 259 | m90si |
| 260 | m91si |
| 261 | m92si |
| 262 | m93si |
| 263 | m94si |
| 264 | m95si |
| 265 | m96si |
| 266 | m97si |
| 267 | m98si |
| 268 | m99si |
| 269 | m100si |
| 270 | m101si |
| 271 | m102si |
| 272 | m103si |
| 273 | m104si |
| 274 | m105si |
| 275 | m106si |
| 276 | m107si |
| 277 | m108si |
| 278 | m109si |
| 279 | m110si |
| 280 | m111si |
| 281 | m112si |
| 282 | m113si |
| 283 | m114si |
| 284 | m115si |
| 285 | m116si |
| 286 | m117si |
| 287 | m118si |
| 288 | m119si |
| 289 | m120si |
| 290 | m121si |
| 291 | m122si |
| 292 | m123si |
| 293 | m124si |
| 294 | m125si |
| 295 | m126si |
| 296 | m127si |
| 297 | m128si |
| 298 | m129si |
| 299 | m130si |
| 300 | m131si |
| 301 | m132si |
| 302 | m133si |
| 303 | m134si |
| 304 | m135si |
| 305 | m136si |
| 306 | m137si |
| 307 | m138si |
| 308 | m139si |
| 309 | m140si |
| 310 | m141si |
| 311 | m142si |
| 312 | m143si |
| 313 | m144si |
| 314 | m145si |
| 315 | m146si |
| 316 | m147si |
| 317 | m148si |
| 318 | m149si |
| 319 | m150si |
| 320 | m151si |
| 321 | m153si |
| 322 | m154si |
| 323 | agnes |
Note: See TracBrowser
for help on using the repository browser.
