spielwiese
|
Last change
on this file since b1ac99 was
b1ac99,
checked in by Thomas Siebert <siebert@…>, 25 years ago
|
|
*** empty log message ***
git-svn-id: file:///usr/local/Singular/svn/trunk@1529 2c84dea3-7e68-4137-9b89-c4e89433aadc
|
-
Property mode set to
100644
|
|
File size:
962 bytes
|
| 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 | mres(i, 2, ires); |
|---|
| 43 | matrix jaco = jacob(ires(1)); |
|---|
| 44 | qring s = i; |
|---|
| 45 | s; |
|---|
| 46 | matrix mat = matrix(fetch(r,ires(2))); |
|---|
| 47 | matrix imat = transpose(mat); |
|---|
| 48 | matrix jac = fetch(r, jaco); |
|---|
| 49 | |
|---|
| 50 | res(module(imat),3,imatres); |
|---|
| 51 | |
|---|
| 52 | matrix T = lift(imatres(2), module(jac)); |
|---|
| 53 | T; |
|---|
| 54 | kill r; |
|---|
| 55 | $; |
|---|
Note: See
TracBrowser
for help on using the repository browser.
