Context Navigation

modulo_homalg.tst

spielwiese

Last change on this file was 0948c9, checked in by Hans Schoenemann <hannes@…>, 4 years ago
Revert "removed Tst/New/modulo_homalg.tst (part of Tst/New/modulo_homalg_full.tst)" This reverts commit fda4c85aa2975617f1975d1a5f9e0140fae41df0.
Property mode set to `100644`
File size: 3.4 KB

Line
1	LIB "tst.lib"; tst_init();
2
3	ring R = 0,(x,y,z), (dp, C);
4
5	module M1;
6	M1[30]=x^4gen(5)+x^3zgen(10)+x^2zgen(20)-xz*gen(25);
7	M1[1]=xygen(1)+yzgen(6)+z*gen(11);
8	M1[2]=xygen(2)+yzgen(7)+z*gen(12);
9	M1[3]=xygen(3)+yzgen(8)+z*gen(13);
10	M1[4]=xygen(4)+yzgen(9)+z*gen(14);
11	M1[5]=xygen(5)+yzgen(10)+z*gen(15);
12	M1[6]=x^2gen(21)+xygen(11)-y^2gen(16)-gen(21);
13	M1[7]=x^2gen(22)+xygen(12)-y^2gen(17)-gen(22);
14	M1[8]=x^2gen(23)+xygen(13)-y^2gen(18)-gen(23);
15	M1[9]=x^2gen(24)+xygen(14)-y^2gen(19)-gen(24);
16	M1[10]=x^2gen(25)+xygen(15)-y^2gen(20)-gen(25);
17	M1[11]=x^2zgen(11)-xyzgen(16)+yz*gen(21);
18	M1[12]=x^2zgen(12)-xyzgen(17)+yz*gen(22);
19	M1[13]=x^2zgen(13)-xyzgen(18)+yz*gen(23);
20	M1[14]=x^2zgen(14)-xyzgen(19)+yz*gen(24);
21	M1[15]=x^2zgen(15)-xyzgen(20)+yz*gen(25);
22	M1[16]=x^2ygen(11)-xy^2gen(16)-x^2gen(11)+xygen(16)+y^2gen(21)-y*gen(21);
23	M1[17]=x^2ygen(12)-xy^2gen(17)-x^2gen(12)+xygen(17)+y^2gen(22)-y*gen(22);
24	M1[18]=x^2ygen(13)-xy^2gen(18)-x^2gen(13)+xygen(18)+y^2gen(23)-y*gen(23);
25	M1[19]=x^2ygen(14)-xy^2gen(19)-x^2gen(14)+xygen(19)+y^2gen(24)-y*gen(24);
26	M1[20]=x^2ygen(15)-xy^2gen(20)-x^2gen(15)+xygen(20)+y^2gen(25)-y*gen(25);
27	M1[21]=x^3zgen(1)+x^2z^2gen(6)+xz^2gen(16)-z^2*gen(21);
28	M1[22]=x^3zgen(2)+x^2z^2gen(7)+xz^2gen(17)-z^2*gen(22);
29	M1[23]=x^3zgen(3)+x^2z^2gen(8)+xz^2gen(18)-z^2*gen(23);
30	M1[24]=x^3zgen(4)+x^2z^2gen(9)+xz^2gen(19)-z^2*gen(24);
31	M1[25]=x^3zgen(5)+x^2z^2gen(10)+xz^2gen(20)-z^2*gen(25);
32	M1[26]=x^4gen(1)+x^3zgen(6)+x^2zgen(16)-xz*gen(21);
33	M1[27]=x^4gen(2)+x^3zgen(7)+x^2zgen(17)-xz*gen(22);
34	M1[28]=x^4gen(3)+x^3zgen(8)+x^2zgen(18)-xz*gen(23);
35	M1[29]=x^4gen(4)+x^3zgen(9)+x^2zgen(19)-xz*gen(24);
36
37	module M2;
38	M2[30]=x^4gen(21)+x^3zgen(22)+x^2zgen(24)-xz*gen(25);
39	M2[1]=xygen(1)+yzgen(2)+z*gen(3);
40	M2[2]=x^2gen(5)+xygen(3)-y^2gen(4)-gen(5);
41	M2[3]=x^2zgen(3)-xyzgen(4)+yz*gen(5);
42	M2[4]=x^2ygen(3)-xy^2gen(4)-x^2gen(3)+xygen(4)+y^2gen(5)-y*gen(5);
43	M2[5]=x^3zgen(1)+x^2z^2gen(2)+xz^2gen(4)-z^2*gen(5);
44	M2[6]=x^4gen(1)+x^3zgen(2)+x^2zgen(4)-xz*gen(5);
45	M2[7]=xygen(6)+yzgen(7)+z*gen(8);
46	M2[8]=x^2gen(10)+xygen(8)-y^2gen(9)-gen(10);
47	M2[9]=x^2zgen(8)-xyzgen(9)+yz*gen(10);
48	M2[10]=x^2ygen(8)-xy^2gen(9)-x^2gen(8)+xygen(9)+y^2gen(10)-y*gen(10);
49	M2[11]=x^3zgen(6)+x^2z^2gen(7)+xz^2gen(9)-z^2*gen(10);
50	M2[12]=x^4gen(6)+x^3zgen(7)+x^2zgen(9)-xz*gen(10);
51	M2[13]=xygen(11)+yzgen(12)+z*gen(13);
52	M2[14]=x^2gen(15)+xygen(13)-y^2gen(14)-gen(15);
53	M2[15]=x^2zgen(13)-xyzgen(14)+yz*gen(15);
54	M2[16]=x^2ygen(13)-xy^2gen(14)-x^2gen(13)+xygen(14)+y^2gen(15)-y*gen(15);
55	M2[17]=x^3zgen(11)+x^2z^2gen(12)+xz^2gen(14)-z^2*gen(15);
56	M2[18]=x^4gen(11)+x^3zgen(12)+x^2zgen(14)-xz*gen(15);
57	M2[19]=xygen(16)+yzgen(17)+z*gen(18);
58	M2[20]=x^2gen(20)+xygen(18)-y^2gen(19)-gen(20);
59	M2[21]=x^2zgen(18)-xyzgen(19)+yz*gen(20);
60	M2[22]=x^2ygen(18)-xy^2gen(19)-x^2gen(18)+xygen(19)+y^2gen(20)-y*gen(20);
61	M2[23]=x^3zgen(16)+x^2z^2gen(17)+xz^2gen(19)-z^2*gen(20);
62	M2[24]=x^4gen(16)+x^3zgen(17)+x^2zgen(19)-xz*gen(20);
63	M2[25]=xygen(21)+yzgen(22)+z*gen(23);
64	M2[26]=x^2gen(25)+xygen(23)-y^2gen(24)-gen(25);
65	M2[27]=x^2zgen(23)-xyzgen(24)+yz*gen(25);
66	M2[28]=x^2ygen(23)-xy^2gen(24)-x^2gen(23)+xygen(24)+y^2gen(25)-y*gen(25);
67	M2[29]=x^3zgen(21)+x^2z^2gen(22)+xz^2gen(24)-z^2*gen(25);
68
69	R;
70	M1;
71	M2;
72
73	modulo(M1,M2);
74
75	tst_status(1);$

Note: See TracBrowser for help on using the repository browser.

Download in other formats:

Original Format