source: git/Tst/Manual/Ext_R.tst @ cbf01b

fieker-DuValspielwiese
Last change on this file since cbf01b 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: 477 bytes
Line 
1LIB "tst.lib"; tst_init();
2LIB "homolog.lib";
3int p      = printlevel;
4printlevel = 1;
5ring r     = 0,(x,y,z),dp;
6ideal i    = x2y,y2z,z3x;
7module E   = Ext_R(1,i);    //computes Ext^1(r/i,r)
8is_zero(E);
9qring R    = std(x2+yz);
10intvec v   = 0,2;
11printlevel = 2;             //shows what is going on
12ideal i    = x,y,z;         //computes Ext^i(r/(x,y,z),r/(x2+yz)), i=0,2
13list L     = Ext_R(v,i,1);  //over the qring R=r/(x2+yz), std and kbase
14printlevel = p;
15tst_status(1);$
Note: See TracBrowser for help on using the repository browser.