source: git/Tst/Short/bug_printres.tst @ f8aa89

spielwiese
Last change on this file since f8aa89 was f8aa89, checked in by Hans Schoenemann <hannes@…>, 6 years ago
fix: printing a resolution not minimzed cached this even if it will later be minimized
  • Property mode set to 100644
File size: 272 bytes
Line 
1LIB "tst.lib";
2tst_init();
3
4// printing a resolution not minimzed cached this even if it will later be minimized
5ring R=QQ,(x,y,z),(c,dp);
6ideal I=yz+z2,y2+xz,xy+z2,xz2,x2z;
7resolution Se=sres(std(I),0);
8Se;
9resolution mSe=minres(Se);
10mSe;
11print(Se);
12Se;
13
14tst_status(1);$
Note: See TracBrowser for help on using the repository browser.