source: git/Tst/Manual/createGradedRingHomomorphism.tst @ 76ce4e6

spielwiese
Last change on this file since 76ce4e6 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: 697 bytes
Line 
1LIB "tst.lib"; tst_init();
2LIB "multigrading.lib";
3ring r = 0, (x, y, z), dp;
4intmat S1[3][3] =
51, 0, 0,
60, 1, 0,
70, 0, 1;
8intmat L1[3][1] =
90,
100,
110;
12def G1 = createGroup(S1, L1); // (S1 + L1)/L1
13printGroup(G1);
14setBaseMultigrading(S1, L1); // to change...
15ring R = 0, (a, b, c), dp;
16intmat S2[2][3] =
171, 0,
180, 1;
19intmat L2[2][1] =
200,
212;
22def G2 = createGroup(S2, L2);
23printGroup(G2);
24setBaseMultigrading(S2, L2); // to change...
25map F = r, a, b, c;
26intmat A[nrows(L2)][nrows(L1)] =
271, 0, 0,
283, 2, -6;
29// graded ring homomorphism is given by (compatible):
30print(F);
31print(A);
32isGradedRingHomomorphism(r, ideal(F), A);
33def h = createGradedRingHomomorphism(r, ideal(F), A);
34print(h);
35tst_status(1);$
Note: See TracBrowser for help on using the repository browser.