spielwiese
|
Last change
on this file since d4b25e 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.
