spielwiese
|
Last change
on this file since 951db29 was
894057,
checked in by Oleksandr Motsak <motsak@…>, 13 years ago
|
|
ADD: Tests from online manual (res+stat on mamawutz): short ones Tst/Manual/s.lst
|
-
Property mode set to
100644
|
|
File size:
467 bytes
|
| Line | |
|---|
| 1 | LIB "tst.lib"; tst_init(); |
|---|
| 2 | LIB "gmssing.lib"; |
|---|
| 3 | ring R=0,(x,y),ds; |
|---|
| 4 | list sp0=list(ideal(-1/2,-3/10,-1/10,0,1/10,3/10,1/2),intvec(1,2,2,1,2,2,1)); |
|---|
| 5 | spprint(sp0); |
|---|
| 6 | list sp1=list(ideal(-1/6,1/6),intvec(1,1)); |
|---|
| 7 | spprint(sp1); |
|---|
| 8 | list sp2=list(ideal(-1/3,0,1/3),intvec(1,2,1)); |
|---|
| 9 | spprint(sp2); |
|---|
| 10 | list sp=sp1,sp2; |
|---|
| 11 | list l=spsemicont(sp0,sp); |
|---|
| 12 | l; |
|---|
| 13 | spissemicont(spsub(sp0,spmul(sp,l[1]))); |
|---|
| 14 | spissemicont(spsub(sp0,spmul(sp,l[1]-1))); |
|---|
| 15 | spissemicont(spsub(sp0,spmul(sp,l[1]+1))); |
|---|
| 16 | tst_status(1);$ |
|---|
Note: See
TracBrowser
for help on using the repository browser.
