source: git/Tst/New/stdZ.tst @ e070751

spielwiese
Last change on this file since e070751 was c2400ce, checked in by Oleksandr Motsak <motsak@…>, 11 years ago
More tests
  • Property mode set to 100644
File size: 234 bytes
Line 
1LIB "tst.lib"; tst_init();
2
3ring r = integer,(v,w,t),dp; r;
4
5
6ideal J = 2v, wt, vt-3v;
7std(J);
8//_[1]=2v
9//_[2]=wt
10//_[3]=vt-3v
11NF( w*v, _);
12
13
14groebner(J);
15NF( w*v, _);
16
17// BUG: (w*v) is missing  S( wt, vt-3v) = 3wv
18
19tst_status(1);$
20
Note: See TracBrowser for help on using the repository browser.