source: git/Tst/Manual/sat.tst @ 951db29

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: 238 bytes
Line 
1LIB "tst.lib"; tst_init();
2LIB "elim.lib";
3int p      = printlevel;
4ring r     = 2,(x,y,z),dp;
5poly F     = x5+y5+(x-y)^2*xyz;
6ideal j    = jacob(F);
7sat(j,maxideal(1));
8printlevel = 2;
9sat(j,maxideal(2));
10printlevel = p;
11tst_status(1);$
Note: See TracBrowser for help on using the repository browser.