fieker-DuValspielwiese
Last change
on this file since 29fc843 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.