spielwiese
|
Last change
on this file since 267fe2d was
97d5bb,
checked in by Olaf Bachmann <obachman@…>, 24 years ago
|
|
* cleaned up tst stuff
git-svn-id: file:///usr/local/Singular/svn/trunk@3893 2c84dea3-7e68-4137-9b89-c4e89433aadc
|
-
Property mode set to
100644
|
|
File size:
955 bytes
|
| Line | |
|---|
| 1 | //From: Trond St|len Gustavsen <stolen@math.uio.no> |
|---|
| 2 | |
|---|
| 3 | ring r = 0, (x(1..5)), ds; |
|---|
| 4 | matrix m[2][4]= x(1), x(2), x(3), x(4), x(2), x(3), x(4), x(5); |
|---|
| 5 | |
|---|
| 6 | ideal j = minor(m, 2); |
|---|
| 7 | ideal i = std(j); |
|---|
| 8 | |
|---|
| 9 | list ires=mres(i, 2); |
|---|
| 10 | def ires(1),ires(2)=ires[1],ires[2]; |
|---|
| 11 | matrix jaco = jacob(ires(1)); |
|---|
| 12 | qring s = i; |
|---|
| 13 | s; |
|---|
| 14 | matrix mat = matrix(fetch(r,ires(2))); |
|---|
| 15 | matrix imat = transpose(mat); |
|---|
| 16 | matrix jac = fetch(r, jaco); |
|---|
| 17 | |
|---|
| 18 | list imatres=nres(module(imat),3); |
|---|
| 19 | imatres; |
|---|
| 20 | def imatres(1..3)=imatres[1..3]; |
|---|
| 21 | |
|---|
| 22 | matrix T = lift(imatres(2), module(jac)); |
|---|
| 23 | T; |
|---|
| 24 | std(module(T)); |
|---|
| 25 | std(imatres(3)); |
|---|
| 26 | module P=std(module(T))+std(imatres(3)); |
|---|
| 27 | |
|---|
| 28 | module Q=std(P); |
|---|
| 29 | Q; |
|---|
| 30 | kbase(Q); |
|---|
| 31 | vdim(Q); |
|---|
| 32 | degree(Q); |
|---|
| 33 | |
|---|
| 34 | //When executing the kbase(Q) gives 4 elements in Q, but vdim returns -1. |
|---|
| 35 | //---------------------------------------------------------------------------- |
|---|
| 36 | // incorrect kbase and vdim (0.8.9f) (anne) |
|---|
| 37 | ring rr=32003,(x,y),dp; |
|---|
| 38 | module i= |
|---|
| 39 | 1*gen(1), |
|---|
| 40 | x*gen(2), |
|---|
| 41 | y^3*gen(2); |
|---|
| 42 | vdim(i); |
|---|
| 43 | kbase(i); |
|---|
| 44 | LIB "tst.lib";tst_status(1);$ |
|---|
Note: See
TracBrowser
for help on using the repository browser.
