spielwiese
Last change
on this file since 9fd5f8 was
46976a6,
checked in by Olaf Bachmann <obachman@…>, 26 years ago
|
* added status check to regress.cmd
* added tst_status(1); call to each tst file, just before quit
git-svn-id: file:///usr/local/Singular/svn/trunk@2271 2c84dea3-7e68-4137-9b89-c4e89433aadc
|
-
Property mode set to
100644
|
File size:
1.0 KB
|
Line | |
---|
1 | LIB "tst.lib"; |
---|
2 | tst_init(); |
---|
3 | // |
---|
4 | // test script for lift command |
---|
5 | // |
---|
6 | pagelength = 10000; |
---|
7 | ring r1 = 32003,(x,y,z),(c,dp); |
---|
8 | r1; |
---|
9 | "-------------------------------"; |
---|
10 | poly s1=y7+x3+xyz+z2; |
---|
11 | ideal i1=jacob(s1); |
---|
12 | ideal i2=std(i1); |
---|
13 | ideal i=3x2+yz,7y6+2x2y+5xz; |
---|
14 | i; |
---|
15 | i1; |
---|
16 | i2; |
---|
17 | s1; |
---|
18 | matrix T=lift(i2,i); |
---|
19 | T; |
---|
20 | matrix(i)-matrix(i2)*T; |
---|
21 | "-----------------------------"; |
---|
22 | poly s2=x4+y3+z6+2xyz; |
---|
23 | ideal i3=jacob(s2); |
---|
24 | ideal i4=std(i3); |
---|
25 | s2; |
---|
26 | i3; |
---|
27 | i4; |
---|
28 | matrix T1=lift(i4,i); |
---|
29 | T1; |
---|
30 | matrix(i)-matrix(i4)*T1; |
---|
31 | "-------------------------------"; |
---|
32 | listvar(all); |
---|
33 | kill r1; |
---|
34 | //From: Trond St|len Gustavsen <stolen@math.uio.no> |
---|
35 | |
---|
36 | ring r = 0, (x(1..5)), ds; |
---|
37 | matrix m[2][4]= x(1), x(2), x(3), x(4), x(2), x(3), x(4), x(5); |
---|
38 | |
---|
39 | ideal j = minor(m, 2); |
---|
40 | ideal i = std(j); |
---|
41 | |
---|
42 | list ires = mres(i, 2); |
---|
43 | def ires(1..2) = ires[1..2]; |
---|
44 | kill ires; |
---|
45 | matrix jaco = jacob(ires(1)); |
---|
46 | qring s = i; |
---|
47 | s; |
---|
48 | matrix mat = matrix(fetch(r,ires(2))); |
---|
49 | matrix imat = transpose(mat); |
---|
50 | matrix jac = fetch(r, jaco); |
---|
51 | |
---|
52 | list ll = nres(module(imat),3); |
---|
53 | def imatres(1..3) = ll[1..3]; |
---|
54 | |
---|
55 | matrix T = lift(imatres(2), module(jac)); |
---|
56 | T; |
---|
57 | kill r; |
---|
58 | tst_status(1);$; |
---|
Note: See
TracBrowser
for help on using the repository browser.