spielwiese
|
Last change
on this file since 022882 was
022882,
checked in by Hans Schoenemann <hannes@…>, 9 years ago
|
|
test for tr. #690
|
-
Property mode set to
100644
|
|
File size:
842 bytes
|
| Line | |
|---|
| 1 | abusalem |
|---|
| 2 | bug_ecart |
|---|
| 3 | bug_misc |
|---|
| 4 | bug_minpoly |
|---|
| 5 | bug_newstruct |
|---|
| 6 | bug_ring |
|---|
| 7 | bug_ringlist |
|---|
| 8 | bug_tr237 |
|---|
| 9 | ; do not try bug_tr276 without 2.2 GB RAM free |
|---|
| 10 | ; bug_tr276 |
|---|
| 11 | bug_tr488 |
|---|
| 12 | bug_tr501 |
|---|
| 13 | ; bug_554 ;ehv.lib depr. |
|---|
| 14 | bug_tr559 |
|---|
| 15 | bug_tr587 |
|---|
| 16 | bug_tr599 |
|---|
| 17 | bug_tr604 |
|---|
| 18 | bug_tr627 |
|---|
| 19 | bug_tr630 |
|---|
| 20 | bug_tr640 |
|---|
| 21 | bug_tr650 |
|---|
| 22 | bug_tr659 |
|---|
| 23 | bug_tr660 |
|---|
| 24 | bug_tr661 |
|---|
| 25 | bug_tr662 |
|---|
| 26 | bug_tr664 |
|---|
| 27 | bug_tr665 |
|---|
| 28 | bug_tr666 |
|---|
| 29 | bug_tr667 |
|---|
| 30 | bug_tr668 |
|---|
| 31 | bug_tr671 |
|---|
| 32 | bug_tr679 |
|---|
| 33 | bug_tr686 |
|---|
| 34 | bug_tr690 |
|---|
| 35 | bug_genus_etc |
|---|
| 36 | facstd |
|---|
| 37 | fermat_gcd_1var |
|---|
| 38 | fermat_gcd_2var |
|---|
| 39 | fermat_gcd_3var |
|---|
| 40 | fermat_gcd_4var |
|---|
| 41 | fermat_gcd_mod_1var |
|---|
| 42 | fermat_gcd_mod_2var |
|---|
| 43 | fermat_gcd_mod_3var |
|---|
| 44 | fermat_gcd_mod_4var |
|---|
| 45 | gcd2test |
|---|
| 46 | gcd3primtest |
|---|
| 47 | gcd3test |
|---|
| 48 | gcd4test |
|---|
| 49 | gcd5primtest |
|---|
| 50 | gcd5test |
|---|
| 51 | gcd_univar_p_s |
|---|
| 52 | gcd_univar_p_alpha_s |
|---|
| 53 | modular_s |
|---|
| 54 | modstd_s |
|---|
| 55 | ncfactor_facNthShift1_s |
|---|
| 56 | ncfactor_landau_ex_s |
|---|
| 57 | ncfactor_multipleFacsSameTopAndBottom_s |
|---|
| 58 | ncfactor_nthweylringalt_s |
|---|
| 59 | parallel_s |
|---|
| 60 | primdec3 |
|---|
| 61 | reesclos |
|---|
| 62 | resources_s |
|---|
| 63 | tasks_s |
|---|
Note: See
TracBrowser
for help on using the repository browser.
