source: git/Tst/Manual/membershipMon.tst @ 0d6b7fc

spielwiese Release-4-3-2p2
Last change on this file since 0d6b7fc 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: 298 bytes
Line 
1LIB "tst.lib"; tst_init();
2LIB "monomialideal.lib";
3ring R = 0,(w,x,y,z,t),lp;
4ideal I =  w*x, x^2, y*z*t, y^5*t;
5poly f =  3*x^2*y + 6*t^5*z*y^6 - 4*x^2 + 8*w*x^5*y^6 - 10*y^10*t^10;
6membershipMon(f,I);
7poly g = 3*w^2*t^3 - 4*y^3*z*t^3 - 2*x^2*y^5*t + 4*x*y^3;
8membershipMon(g,I);
9tst_status(1);$
Note: See TracBrowser for help on using the repository browser.