spielwiese
|
Last change
on this file since 61abe6 was
61abe6,
checked in by Hans Schoenemann <hannes@…>, 4 years ago
|
|
changed tests (OPT_REDTAIL_SYZ)
|
-
Property mode set to
100644
|
|
File size:
364 bytes
|
| Line | |
|---|
| 1 | LIB "tst.lib"; |
|---|
| 2 | tst_init(); |
|---|
| 3 | |
|---|
| 4 | ring R=0,(x,y,z),(c,dp); |
|---|
| 5 | ideal I=x2y2-xyz2; |
|---|
| 6 | qring A=std(I); |
|---|
| 7 | module V=[x2,xy,y2],[xy,xz,yz]; |
|---|
| 8 | matrix B[3][2]=x,y,zx,zy,y2,z2; |
|---|
| 9 | module N=B[1],B[2],V[1],V[2]; |
|---|
| 10 | option(returnSB); |
|---|
| 11 | module Re=syz(N); |
|---|
| 12 | option(noreturnSB); |
|---|
| 13 | module Ker; |
|---|
| 14 | int i; |
|---|
| 15 | for(i=1;i<=ncols(Re);i++){Ker=Ker+Re[i][1..2];} |
|---|
| 16 | Ker; |
|---|
| 17 | |
|---|
| 18 | reduce(B*Ker,std(V)); |
|---|
| 19 | |
|---|
| 20 | modulo(B,V); |
|---|
| 21 | |
|---|
| 22 | tst_status(1);$ |
|---|
Note: See
TracBrowser
for help on using the repository browser.
