spielwiese
|
Last change
on this file since f1cfef was
df58d7,
checked in by Hans Schoenemann <hannes@…>, 13 years ago
|
|
tests for tr 315
git-svn-id: file:///usr/local/Singular/svn/trunk@13890 2c84dea3-7e68-4137-9b89-c4e89433aadc
|
-
Property mode set to
100644
|
|
File size:
640 bytes
|
| Line | |
|---|
| 1 | LIB "tst.lib"; |
|---|
| 2 | tst_init(); |
|---|
| 3 | |
|---|
| 4 | // too many identical syzygies |
|---|
| 5 | LIB "nctools.lib"; |
|---|
| 6 | ring A=0,(z,x,y,dz,dx,dy),dp; |
|---|
| 7 | def S=Weyl(); |
|---|
| 8 | setring S; |
|---|
| 9 | option(prot); |
|---|
| 10 | matrix m[1][6] = x^2*y^8+2*x*y^9+y^10+2*x^5*y^4+2*x^4*y^5+x^8,-z*x*y^8-z*y^9-5*z*x^4*y^4-4*z*x^3*y^5-4*z*x^7,z^2*y^8+8*z^2*x^3*y^4+z*y^8+16*z^2*x^6-4*z*x^3*y^4-12*z*x^2*y^5+4*z*x^6,4*z^2*x*y^7+5*z^2*y^8+16*z^2*x^4*y^3+20*z^2*x^3*y^4+z*y^8+12*z*x^4*y^3+20*z*x^3*y^4,-4*z*x^2*y^7-9*z*x*y^8-5*z*y^9-4*z*x^5*y^3-5*z*x^4*y^4,16*z^2*x^2*y^6+40*z^2*x*y^7+25*z^2*y^8+4*z*x^2*y^6+8*z*x*y^7+5*z*y^8-12*z*x^5*y^2-20*z*x^4*y^3; |
|---|
| 11 | matrix s=syz(m); |
|---|
| 12 | listvar(); |
|---|
| 13 | lead(module(s)); |
|---|
| 14 | |
|---|
| 15 | tst_status(1);$ |
|---|
Note: See
TracBrowser
for help on using the repository browser.
