spielwiese
Last change
on this file since f5d2647 was
3d3d16,
checked in by Olaf Bachmann <obachman@…>, 23 years ago
|
* added Gerhar's test files
git-svn-id: file:///usr/local/Singular/svn/trunk@4762 2c84dea3-7e68-4137-9b89-c4e89433aadc
|
-
Property mode set to
100644
|
File size:
655 bytes
|
Line | |
---|
1 | LIB "tst.lib"; |
---|
2 | tst_init(); |
---|
3 | option(prot); |
---|
4 | |
---|
5 | ring r = 32003,(z(3..1),x(13..7),u(6..2)),ds; |
---|
6 | ideal in = |
---|
7 | u(5)*u(2)^2-u(3)*u(4)^2-u(3)*u(5)^2+u(5)*u(3)^2,u(6)^10, |
---|
8 | 2*u(3)*x(7)*u(4)+u(4)*u(2)*u(5)-2*x(7)*u(2)*u(5), |
---|
9 | u(3)*u(5)^2-u(5)*u(3)^2-u(4)*u(2)*u(3), |
---|
10 | -2*x(7)*u(2)-2*u(3)*x(8)+u(4)*u(2)+u(3)*u(5), |
---|
11 | x(11)*u(2)-u(3)*x(10), |
---|
12 | -4*x(12)+3*x(10)+u(4),-4*x(13)+3*x(11)+u(5),2*u(3)*x(8)-u(2)^2-u(3)^2, |
---|
13 | z(1)*u(2)-u(6),z(2)*u(3)-u(6), |
---|
14 | z(3)*(u(5)*u(2)-u(3)*u(4))-u(6); |
---|
15 | ideal im= |
---|
16 | u(3)*u(5)^2-u(5)*u(3)^2-u(4)*u(2)*u(3), |
---|
17 | -4*x(12)+3*x(10)+u(4),-4*x(13)+3*x(11)+u(5),2*u(3)*x(8)-u(2)^2-u(3)^2, |
---|
18 | z(3)*(u(5)*u(2)-u(3)*u(4))-u(6); |
---|
19 | ideal i=in*im; |
---|
20 | ideal j=std( i); |
---|
21 | |
---|
22 | tst_status(1);$ |
---|
23 | |
---|
24 | |
---|
Note: See
TracBrowser
for help on using the repository browser.