source: git/Tst/Plural.lst @ c2400ce

spielwiese
Last change on this file since c2400ce 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
Line 
1; Plural/AlgDep-qso3-dp.tst
2Plural/AnnFD-sl2-10.tst
3; Plural/AnnFD-sl2-15.tst
4Plural/AnnFD-sl2-4.tst
5Plural/AnnFD-sl2-7.tst
6; Plural/bern5_slimgb.tst
7Plural/dmod_lib.tst
8Plural/doc-bracket.tst
9Plural/doc-dim.tst
10Plural/doc-division1.tst
11Plural/doc-division2.tst
12Plural/doc-elimination.tst
13Plural/doc-ideal-decl.tst
14Plural/doc-ideal-expr.tst
15Plural/doc-ideal-ops.tst
16Plural/doc-minres.tst
17Plural/doc-module-decl.tst
18Plural/doc-module-ops.tst
19Plural/doc-mres.tst
20Plural/doc-nres.tst
21;; Plural/doc-plural.tst
22Plural/doc-poly-decl.tst
23Plural/doc-poly-expr.tst
24Plural/doc-qring-decl.tst
25Plural/doc-reduce.tst
26Plural/doc-resolution-decl.tst
27Plural/doc-ring-ops.tst
28Plural/doc-std.tst
29Plural/doc-syz.tst
30Plural/doc-syz-resol.tst
31Plural/doc-twostd.tst
32Plural/doc-vdim.tst
33Plural/involut_lib.tst
34Plural/mult_general1.tst
35Plural/mult_general_q1.tst
36Plural/mult_lie1.tst
37Plural/mult_skew1.tst
38Plural/Syz-qso3.tst
39Plural/Syz-qso3-q3.tst
40Plural/TwoGB-g2-3.tst
41; Plural/ucha2.tst
42Plural/ucha4.tst
43Plural/derham.tst
Note: See TracBrowser for help on using the repository browser.