source: git/Tst/Manual/CentralSaturation.tst @ c2f6bd

spielwiese
Last change on this file since c2f6bd 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: 245 bytes
Line 
1LIB "tst.lib"; tst_init();
2LIB "ncdecomp.lib";
3option(returnSB);
4def a = makeUsl2();
5setring a;
6ideal I = e3,f3,h3-4*h;
7I = std(I);
8poly C=4*e*f+h^2-2*h;
9ideal G = C*(C-8);
10ideal R = CentralSaturation(I,G);
11R=std(R);
12vdim(R);
13R;
14tst_status(1);$
Note: See TracBrowser for help on using the repository browser.