../
|
AlgDep-qso3-dp.res.gz.uu
|
3.4 KB
|
8ef1e0
|
20 years
|
levandov |
*levandov: respecting new conventions, new res files created
...
|
AlgDep-qso3-dp.stat
|
311 bytes
|
8ef1e0
|
20 years
|
levandov |
*levandov: respecting new conventions, new res files created
...
|
AlgDep-qso3-dp.tst
|
450 bytes
|
48d7c96
|
21 years
|
levandov |
revised tests
git-svn-id: file:///usr/local/Singular/svn/trunk@6648 ...
|
AnnFD-sl2-4.res.gz.uu
|
1.0 KB
|
48d7c96
|
21 years
|
levandov |
revised tests
git-svn-id: file:///usr/local/Singular/svn/trunk@6648 ...
|
AnnFD-sl2-4.stat
|
298 bytes
|
48d7c96
|
21 years
|
levandov |
revised tests
git-svn-id: file:///usr/local/Singular/svn/trunk@6648 ...
|
AnnFD-sl2-4.tst
|
311 bytes
|
48d7c96
|
21 years
|
levandov |
revised tests
git-svn-id: file:///usr/local/Singular/svn/trunk@6648 ...
|
AnnFD-sl2-7.res.gz.uu
|
3.8 KB
|
48d7c96
|
21 years
|
levandov |
revised tests
git-svn-id: file:///usr/local/Singular/svn/trunk@6648 ...
|
AnnFD-sl2-7.stat
|
302 bytes
|
48d7c96
|
21 years
|
levandov |
revised tests
git-svn-id: file:///usr/local/Singular/svn/trunk@6648 ...
|
AnnFD-sl2-7.tst
|
311 bytes
|
48d7c96
|
21 years
|
levandov |
revised tests
git-svn-id: file:///usr/local/Singular/svn/trunk@6648 ...
|
AnnFD-sl2-10.res.gz.uu
|
9.7 KB
|
48d7c96
|
21 years
|
levandov |
revised tests
git-svn-id: file:///usr/local/Singular/svn/trunk@6648 ...
|
AnnFD-sl2-10.stat
|
307 bytes
|
48d7c96
|
21 years
|
levandov |
revised tests
git-svn-id: file:///usr/local/Singular/svn/trunk@6648 ...
|
AnnFD-sl2-10.tst
|
312 bytes
|
48d7c96
|
21 years
|
levandov |
revised tests
git-svn-id: file:///usr/local/Singular/svn/trunk@6648 ...
|
AnnFD-sl2-15.res.gz.uu
|
65.8 KB
|
48d7c96
|
21 years
|
levandov |
revised tests
git-svn-id: file:///usr/local/Singular/svn/trunk@6648 ...
|
AnnFD-sl2-15.stat
|
314 bytes
|
48d7c96
|
21 years
|
levandov |
revised tests
git-svn-id: file:///usr/local/Singular/svn/trunk@6648 ...
|
AnnFD-sl2-15.tst
|
312 bytes
|
48d7c96
|
21 years
|
levandov |
revised tests
git-svn-id: file:///usr/local/Singular/svn/trunk@6648 ...
|
dmod.lst
|
12 bytes
|
ee9695
|
21 years
|
levandov |
ucha2,4
git-svn-id: file:///usr/local/Singular/svn/trunk@6435 ...
|
doc-bracket.res.gz.uu
|
863 bytes
|
a6e7454
|
21 years
|
levandov |
nontrivial examples from Plural doc
git-svn-id: ...
|
doc-bracket.stat
|
302 bytes
|
a6e7454
|
21 years
|
levandov |
nontrivial examples from Plural doc
git-svn-id: ...
|
doc-bracket.tst
|
423 bytes
|
a6e7454
|
21 years
|
levandov |
nontrivial examples from Plural doc
git-svn-id: ...
|
doc-elimination.res.gz.uu
|
801 bytes
|
a6e7454
|
21 years
|
levandov |
nontrivial examples from Plural doc
git-svn-id: ...
|
doc-elimination.stat
|
298 bytes
|
a6e7454
|
21 years
|
levandov |
nontrivial examples from Plural doc
git-svn-id: ...
|
doc-elimination.tst
|
462 bytes
|
a6e7454
|
21 years
|
levandov |
nontrivial examples from Plural doc
git-svn-id: ...
|
doc-ideal-decl.res.gz.uu
|
436 bytes
|
a6e7454
|
21 years
|
levandov |
nontrivial examples from Plural doc
git-svn-id: ...
|
doc-ideal-decl.stat
|
298 bytes
|
a6e7454
|
21 years
|
levandov |
nontrivial examples from Plural doc
git-svn-id: ...
|
doc-ideal-decl.tst
|
194 bytes
|
a6e7454
|
21 years
|
levandov |
nontrivial examples from Plural doc
git-svn-id: ...
|
doc-ideal-expr.res.gz.uu
|
672 bytes
|
adbedc
|
21 years
|
levandov |
*levandov: bugfixes in 2nd prerelease of Plural
git-svn-id: ...
|
doc-ideal-expr.stat
|
298 bytes
|
adbedc
|
21 years
|
levandov |
*levandov: bugfixes in 2nd prerelease of Plural
git-svn-id: ...
|
doc-ideal-expr.tst
|
401 bytes
|
7ebda7
|
21 years
|
levandov |
timer ignored
git-svn-id: file:///usr/local/Singular/svn/trunk@6664 ...
|
doc-ideal-ops.res.gz.uu
|
699 bytes
|
a6e7454
|
21 years
|
levandov |
nontrivial examples from Plural doc
git-svn-id: ...
|
doc-ideal-ops.stat
|
298 bytes
|
a6e7454
|
21 years
|
levandov |
nontrivial examples from Plural doc
git-svn-id: ...
|
doc-ideal-ops.tst
|
345 bytes
|
a6e7454
|
21 years
|
levandov |
nontrivial examples from Plural doc
git-svn-id: ...
|
doc-minres.res.gz.uu
|
716 bytes
|
8ef1e0
|
20 years
|
levandov |
*levandov: respecting new conventions, new res files created
...
|
doc-minres.stat
|
302 bytes
|
8ef1e0
|
20 years
|
levandov |
*levandov: respecting new conventions, new res files created
...
|
doc-minres.tst
|
386 bytes
|
a6e7454
|
21 years
|
levandov |
nontrivial examples from Plural doc
git-svn-id: ...
|
doc-module-decl.res.gz.uu
|
689 bytes
|
a6e7454
|
21 years
|
levandov |
nontrivial examples from Plural doc
git-svn-id: ...
|
doc-module-decl.stat
|
298 bytes
|
a6e7454
|
21 years
|
levandov |
nontrivial examples from Plural doc
git-svn-id: ...
|
doc-module-decl.tst
|
335 bytes
|
a6e7454
|
21 years
|
levandov |
nontrivial examples from Plural doc
git-svn-id: ...
|
doc-module-ops.res.gz.uu
|
432 bytes
|
a6e7454
|
21 years
|
levandov |
nontrivial examples from Plural doc
git-svn-id: ...
|
doc-module-ops.stat
|
298 bytes
|
a6e7454
|
21 years
|
levandov |
nontrivial examples from Plural doc
git-svn-id: ...
|
doc-module-ops.tst
|
179 bytes
|
a6e7454
|
21 years
|
levandov |
nontrivial examples from Plural doc
git-svn-id: ...
|
doc-mres.res.gz.uu
|
570 bytes
|
8ef1e0
|
20 years
|
levandov |
*levandov: respecting new conventions, new res files created
...
|
doc-mres.stat
|
302 bytes
|
8ef1e0
|
20 years
|
levandov |
*levandov: respecting new conventions, new res files created
...
|
doc-mres.tst
|
273 bytes
|
a6e7454
|
21 years
|
levandov |
nontrivial examples from Plural doc
git-svn-id: ...
|
doc-nres.res.gz.uu
|
604 bytes
|
8ef1e0
|
20 years
|
levandov |
*levandov: respecting new conventions, new res files created
...
|
doc-nres.stat
|
302 bytes
|
8ef1e0
|
20 years
|
levandov |
*levandov: respecting new conventions, new res files created
...
|
doc-nres.tst
|
273 bytes
|
a6e7454
|
21 years
|
levandov |
nontrivial examples from Plural doc
git-svn-id: ...
|
doc-plural.res.gz.uu
|
1.5 KB
|
a6e7454
|
21 years
|
levandov |
nontrivial examples from Plural doc
git-svn-id: ...
|
doc-plural.stat
|
298 bytes
|
a6e7454
|
21 years
|
levandov |
nontrivial examples from Plural doc
git-svn-id: ...
|
doc-plural.tst
|
957 bytes
|
a6e7454
|
21 years
|
levandov |
nontrivial examples from Plural doc
git-svn-id: ...
|
doc-poly-decl.res.gz.uu
|
725 bytes
|
a6e7454
|
21 years
|
levandov |
nontrivial examples from Plural doc
git-svn-id: ...
|
doc-poly-decl.stat
|
298 bytes
|
a6e7454
|
21 years
|
levandov |
nontrivial examples from Plural doc
git-svn-id: ...
|
doc-poly-decl.tst
|
359 bytes
|
a6e7454
|
21 years
|
levandov |
nontrivial examples from Plural doc
git-svn-id: ...
|
doc-poly-expr.res.gz.uu
|
741 bytes
|
a6e7454
|
21 years
|
levandov |
nontrivial examples from Plural doc
git-svn-id: ...
|
doc-poly-expr.stat
|
298 bytes
|
a6e7454
|
21 years
|
levandov |
nontrivial examples from Plural doc
git-svn-id: ...
|
doc-poly-expr.tst
|
377 bytes
|
a6e7454
|
21 years
|
levandov |
nontrivial examples from Plural doc
git-svn-id: ...
|
doc-qring-decl.res.gz.uu
|
844 bytes
|
adbedc
|
21 years
|
levandov |
*levandov: bugfixes in 2nd prerelease of Plural
git-svn-id: ...
|
doc-qring-decl.stat
|
298 bytes
|
adbedc
|
21 years
|
levandov |
*levandov: bugfixes in 2nd prerelease of Plural
git-svn-id: ...
|
doc-qring-decl.tst
|
311 bytes
|
a6e7454
|
21 years
|
levandov |
nontrivial examples from Plural doc
git-svn-id: ...
|
doc-reduce.res.gz.uu
|
552 bytes
|
a6e7454
|
21 years
|
levandov |
nontrivial examples from Plural doc
git-svn-id: ...
|
doc-reduce.stat
|
298 bytes
|
a6e7454
|
21 years
|
levandov |
nontrivial examples from Plural doc
git-svn-id: ...
|
doc-reduce.tst
|
353 bytes
|
a6e7454
|
21 years
|
levandov |
nontrivial examples from Plural doc
git-svn-id: ...
|
doc-resolution-decl.res.gz.uu
|
545 bytes
|
8ef1e0
|
20 years
|
levandov |
*levandov: respecting new conventions, new res files created
...
|
doc-resolution-decl.stat
|
302 bytes
|
8ef1e0
|
20 years
|
levandov |
*levandov: respecting new conventions, new res files created
...
|
doc-resolution-decl.tst
|
203 bytes
|
a6e7454
|
21 years
|
levandov |
nontrivial examples from Plural doc
git-svn-id: ...
|
doc-ring-ops.res.gz.uu
|
404 bytes
|
a6e7454
|
21 years
|
levandov |
nontrivial examples from Plural doc
git-svn-id: ...
|
doc-ring-ops.stat
|
298 bytes
|
a6e7454
|
21 years
|
levandov |
nontrivial examples from Plural doc
git-svn-id: ...
|
doc-ring-ops.tst
|
103 bytes
|
a6e7454
|
21 years
|
levandov |
nontrivial examples from Plural doc
git-svn-id: ...
|
doc-std.res.gz.uu
|
739 bytes
|
a6e7454
|
21 years
|
levandov |
nontrivial examples from Plural doc
git-svn-id: ...
|
doc-std.stat
|
298 bytes
|
a6e7454
|
21 years
|
levandov |
nontrivial examples from Plural doc
git-svn-id: ...
|
doc-std.tst
|
479 bytes
|
a6e7454
|
21 years
|
levandov |
nontrivial examples from Plural doc
git-svn-id: ...
|
doc-syz-resol.res.gz.uu
|
835 bytes
|
8ef1e0
|
20 years
|
levandov |
*levandov: respecting new conventions, new res files created
...
|
doc-syz-resol.stat
|
302 bytes
|
8ef1e0
|
20 years
|
levandov |
*levandov: respecting new conventions, new res files created
...
|
doc-syz-resol.tst
|
369 bytes
|
a6e7454
|
21 years
|
levandov |
nontrivial examples from Plural doc
git-svn-id: ...
|
doc-syz.res.gz.uu
|
867 bytes
|
2ddc345
|
19 years
|
levandov |
*levandov: example is changed, simplified
git-svn-id: ...
|
doc-syz.stat
|
302 bytes
|
2ddc345
|
19 years
|
levandov |
*levandov: example is changed, simplified
git-svn-id: ...
|
doc-syz.tst
|
592 bytes
|
2ddc345
|
19 years
|
levandov |
*levandov: example is changed, simplified
git-svn-id: ...
|
doc-twostd.res.gz.uu
|
898 bytes
|
a6e7454
|
21 years
|
levandov |
nontrivial examples from Plural doc
git-svn-id: ...
|
doc-twostd.stat
|
298 bytes
|
a6e7454
|
21 years
|
levandov |
nontrivial examples from Plural doc
git-svn-id: ...
|
doc-twostd.tst
|
337 bytes
|
a6e7454
|
21 years
|
levandov |
nontrivial examples from Plural doc
git-svn-id: ...
|
doc-vdim.res.gz.uu
|
454 bytes
|
a6e7454
|
21 years
|
levandov |
nontrivial examples from Plural doc
git-svn-id: ...
|
doc-vdim.stat
|
298 bytes
|
a6e7454
|
21 years
|
levandov |
nontrivial examples from Plural doc
git-svn-id: ...
|
doc-vdim.tst
|
188 bytes
|
a6e7454
|
21 years
|
levandov |
nontrivial examples from Plural doc
git-svn-id: ...
|
doc.lst
|
289 bytes
|
a6e7454
|
21 years
|
levandov |
nontrivial examples from Plural doc
git-svn-id: ...
|
lie.lst
|
61 bytes
|
f89cb2
|
21 years
|
levandov |
repr. theory
git-svn-id: file:///usr/local/Singular/svn/trunk@6434 ...
|
long.lst
|
49 bytes
|
baffc0
|
21 years
|
levandov |
first run
git-svn-id: file:///usr/local/Singular/svn/trunk@6649 ...
|
mult_general1.res.gz.uu
|
5.6 KB
|
48d7c96
|
21 years
|
levandov |
revised tests
git-svn-id: file:///usr/local/Singular/svn/trunk@6648 ...
|
mult_general1.stat
|
307 bytes
|
48d7c96
|
21 years
|
levandov |
revised tests
git-svn-id: file:///usr/local/Singular/svn/trunk@6648 ...
|
mult_general1.tst
|
441 bytes
|
48d7c96
|
21 years
|
levandov |
revised tests
git-svn-id: file:///usr/local/Singular/svn/trunk@6648 ...
|
mult_general_q1.res.gz.uu
|
899 bytes
|
48d7c96
|
21 years
|
levandov |
revised tests
git-svn-id: file:///usr/local/Singular/svn/trunk@6648 ...
|
mult_general_q1.stat
|
302 bytes
|
48d7c96
|
21 years
|
levandov |
revised tests
git-svn-id: file:///usr/local/Singular/svn/trunk@6648 ...
|
mult_general_q1.tst
|
460 bytes
|
48d7c96
|
21 years
|
levandov |
revised tests
git-svn-id: file:///usr/local/Singular/svn/trunk@6648 ...
|
mult_lie1.res.gz.uu
|
1.1 KB
|
48d7c96
|
21 years
|
levandov |
revised tests
git-svn-id: file:///usr/local/Singular/svn/trunk@6648 ...
|
mult_lie1.stat
|
303 bytes
|
48d7c96
|
21 years
|
levandov |
revised tests
git-svn-id: file:///usr/local/Singular/svn/trunk@6648 ...
|
mult_lie1.tst
|
487 bytes
|
48d7c96
|
21 years
|
levandov |
revised tests
git-svn-id: file:///usr/local/Singular/svn/trunk@6648 ...
|
mult_skew1.res.gz.uu
|
614 bytes
|
48d7c96
|
21 years
|
levandov |
revised tests
git-svn-id: file:///usr/local/Singular/svn/trunk@6648 ...
|
mult_skew1.stat
|
302 bytes
|
48d7c96
|
21 years
|
levandov |
revised tests
git-svn-id: file:///usr/local/Singular/svn/trunk@6648 ...
|
mult_skew1.tst
|
390 bytes
|
48d7c96
|
21 years
|
levandov |
revised tests
git-svn-id: file:///usr/local/Singular/svn/trunk@6648 ...
|
multiplication.lst
|
52 bytes
|
5e9f19
|
21 years
|
levandov |
lie, skew, general, general_q
git-svn-id: ...
|
quantum.lst
|
36 bytes
|
614ddd
|
21 years
|
levandov |
rebuilt stuff
git-svn-id: file:///usr/local/Singular/svn/trunk@6652 ...
|
short.lst
|
111 bytes
|
8e1be37
|
21 years
|
levandov |
updated short
git-svn-id: file:///usr/local/Singular/svn/trunk@6650 ...
|
Syz-qso3-q3.res.gz.uu
|
2.5 KB
|
8ef1e0
|
20 years
|
levandov |
*levandov: respecting new conventions, new res files created
...
|
Syz-qso3-q3.stat
|
305 bytes
|
8ef1e0
|
20 years
|
levandov |
*levandov: respecting new conventions, new res files created
...
|
Syz-qso3-q3.tst
|
666 bytes
|
48d7c96
|
21 years
|
levandov |
revised tests
git-svn-id: file:///usr/local/Singular/svn/trunk@6648 ...
|
Syz-qso3.res.gz.uu
|
1.1 KB
|
8ef1e0
|
20 years
|
levandov |
*levandov: respecting new conventions, new res files created
...
|
Syz-qso3.stat
|
303 bytes
|
8ef1e0
|
20 years
|
levandov |
*levandov: respecting new conventions, new res files created
...
|
Syz-qso3.tst
|
647 bytes
|
48d7c96
|
21 years
|
levandov |
revised tests
git-svn-id: file:///usr/local/Singular/svn/trunk@6648 ...
|
TwoGB-g2-3.res.gz.uu
|
2.1 KB
|
48d7c96
|
21 years
|
levandov |
revised tests
git-svn-id: file:///usr/local/Singular/svn/trunk@6648 ...
|
TwoGB-g2-3.stat
|
307 bytes
|
48d7c96
|
21 years
|
levandov |
revised tests
git-svn-id: file:///usr/local/Singular/svn/trunk@6648 ...
|
TwoGB-g2-3.tst
|
1.0 KB
|
48d7c96
|
21 years
|
levandov |
revised tests
git-svn-id: file:///usr/local/Singular/svn/trunk@6648 ...
|
ucha2.res.gz.uu
|
130.4 KB
|
48d7c96
|
21 years
|
levandov |
revised tests
git-svn-id: file:///usr/local/Singular/svn/trunk@6648 ...
|
ucha2.stat
|
312 bytes
|
48d7c96
|
21 years
|
levandov |
revised tests
git-svn-id: file:///usr/local/Singular/svn/trunk@6648 ...
|
ucha2.tst
|
263 bytes
|
48d7c96
|
21 years
|
levandov |
revised tests
git-svn-id: file:///usr/local/Singular/svn/trunk@6648 ...
|
ucha4.res.gz.uu
|
1.7 KB
|
48d7c96
|
21 years
|
levandov |
revised tests
git-svn-id: file:///usr/local/Singular/svn/trunk@6648 ...
|
ucha4.stat
|
299 bytes
|
48d7c96
|
21 years
|
levandov |
revised tests
git-svn-id: file:///usr/local/Singular/svn/trunk@6648 ...
|
ucha4.tst
|
246 bytes
|
48d7c96
|
21 years
|
levandov |
revised tests
git-svn-id: file:///usr/local/Singular/svn/trunk@6648 ...
|