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