spielwiese
Last change
on this file since 7fe9f8b was
7fe9f8b,
checked in by Oleksandr Motsak <motsak@…>, 11 years ago
|
Added new experimental library "derham.lib"
add: derham.lib as an experimental library (SLIB1 in singular-libs)
add: added tests for derham.lib as Tst/Plural/derham.tst + included into Tst/Plural.lst
chg/fix: avoid "wrong weights" warning out of 'std'
TODO: induced deg seems to be ignored - one is to make use of "am" instead?
|
-
Property mode set to
100644
|
File size:
1001 bytes
|
Rev | Line | |
---|
[1cbc28] | 1 | ; Plural/AlgDep-qso3-dp.tst |
---|
| 2 | Plural/AnnFD-sl2-10.tst |
---|
| 3 | ; Plural/AnnFD-sl2-15.tst |
---|
| 4 | Plural/AnnFD-sl2-4.tst |
---|
| 5 | Plural/AnnFD-sl2-7.tst |
---|
| 6 | ; Plural/bern5_slimgb.tst |
---|
| 7 | Plural/dmod_lib.tst |
---|
| 8 | Plural/doc-bracket.tst |
---|
| 9 | Plural/doc-dim.tst |
---|
| 10 | Plural/doc-division1.tst |
---|
| 11 | Plural/doc-division2.tst |
---|
| 12 | Plural/doc-elimination.tst |
---|
| 13 | Plural/doc-ideal-decl.tst |
---|
| 14 | Plural/doc-ideal-expr.tst |
---|
| 15 | Plural/doc-ideal-ops.tst |
---|
| 16 | Plural/doc-minres.tst |
---|
| 17 | Plural/doc-module-decl.tst |
---|
| 18 | Plural/doc-module-ops.tst |
---|
| 19 | Plural/doc-mres.tst |
---|
| 20 | Plural/doc-nres.tst |
---|
| 21 | ;; Plural/doc-plural.tst |
---|
| 22 | Plural/doc-poly-decl.tst |
---|
| 23 | Plural/doc-poly-expr.tst |
---|
| 24 | Plural/doc-qring-decl.tst |
---|
| 25 | Plural/doc-reduce.tst |
---|
| 26 | Plural/doc-resolution-decl.tst |
---|
| 27 | Plural/doc-ring-ops.tst |
---|
| 28 | Plural/doc-std.tst |
---|
| 29 | Plural/doc-syz.tst |
---|
| 30 | Plural/doc-syz-resol.tst |
---|
| 31 | Plural/doc-twostd.tst |
---|
| 32 | Plural/doc-vdim.tst |
---|
| 33 | Plural/involut_lib.tst |
---|
| 34 | Plural/mult_general1.tst |
---|
| 35 | Plural/mult_general_q1.tst |
---|
| 36 | Plural/mult_lie1.tst |
---|
| 37 | Plural/mult_skew1.tst |
---|
| 38 | Plural/Syz-qso3.tst |
---|
| 39 | Plural/Syz-qso3-q3.tst |
---|
| 40 | Plural/TwoGB-g2-3.tst |
---|
| 41 | ; Plural/ucha2.tst |
---|
| 42 | Plural/ucha4.tst |
---|
[7fe9f8b] | 43 | Plural/derham.tst |
---|
Note: See
TracBrowser
for help on using the repository browser.