source: git/Tst/Short/bug_tr712.tst @ 1427f62

spielwiese
Last change on this file since 1427f62 was 2bf04b, checked in by Hans Schoenemann <hannes@…>, 8 years ago
format
  • Property mode set to 100644
File size: 358 bytes
Line 
1LIB "tst.lib";
2tst_init();
3
4// std (SB,p)
5ring rng = 67,(x,y,z),Dp;
6ideal I = x^2-9*z,-9*x*y+x-10;
7poly J = -6*x*z-10;
8ideal gI   =  std(I);
9ideal IJ   = I+J;
10ideal gIJ  = std(IJ);
11ideal gI_J = std(gI,J);
12size( std(reduce (I,gI ) ));
13size( std(reduce (IJ,gIJ ) ));
14size( std(reduce (IJ,gI_J ) ));
15size( std(reduce (gI_J, gIJ) ));
16gI_J;
17gIJ;
18
19tst_status(1);$
Note: See TracBrowser for help on using the repository browser.