source: git/Tst/New/modulo_homalg.tst @ f681a60

spielwiese
Last change on this file since f681a60 was bb6adf, checked in by Oleksandr Motsak <motsak@…>, 13 years ago
ADD: modulo test which fails for Mohamed on Mac OS X 10.6.8, with segfault: Program received signal EXC_BAD_ACCESS, Could not access memory. Reason: KERN_INVALID_ADDRESS at address: 0x00006f732e51646c 0x00000001001e25d8 in _omAlloc0 (size=240) at omInline.h:75 75 __omTypeAlloc0(void*, addr, size); (gdb) bt !#0 0x00000001001e25d8 in _omAlloc0 (size=240) at omInline.h:75 !#1 0x00000001001e26e4 in mpNew (r=5, c=6) at matpol.cc:62 !#2 0x00000001001e4be0 in mp_Copy (a=0x100d93120, r=0x100d7fce8) at matpol.cc:78 !#3 0x00000001000957f1 in s_internalCopy (t=274, d=0x100d93120) at subexpr.cc:382 !#4 0x0000000100096c73 in sleftv::Copy (this=0x100d190d8, source=0x7fff5fbf5300) at subexpr.cc:607 !#5 0x00000001000331de in yyparse () at grammar.y:1601 !#6 0x0000000100061287 in iiPStart (pn=0x100d8d228, v=0x100dbb368) at iplib.cc:350 !#7 0x0000000100061567 in iiMake_proc (pn=0x100d8d228, pack=0x0, sl=0x100dbb368) at iplib.cc:478 !#8 0x00000001000551f2 in jjPROC (res=0x7fff5fbfb2e0, u=0x100dbb2e8, v=0x100dbb368) at iparith.cc:1481 !#9 0x0000000100041062 in iiExprArith2 (res=0x7fff5fbfb2e0, a=0x7fff5fbf8780, op=40, b=0x100dbb268, proccall=0) at iparith.cc:7461 !#10 0x0000000100041674 in jjKLAMMER_PL (res=0x7fff5fbfb2e0, u=0x7fff5fbf8780) at iparith.cc:6806 !#11 0x000000010003ef1d in iiExprArithM (res=0x7fff5fbfb2e0, a=0x7fff5fbf8780, op=40) at iparith.cc:7983 !#12 0x000000010002f400 in yyparse () at grammar.y:523 !#13 0x0000000100061287 in iiPStart (pn=0x100d865a8, v=0x100da4468) at iplib.cc:350 !#14 0x0000000100061567 in iiMake_proc (pn=0x100d865a8, pack=0x0, sl=0x100da4468) at iplib.cc:478 !#15 0x00000001000551f2 in jjPROC (res=0x7fff5fbfe610, u=0x100da44e8,v=0x100da4468) at iparith.cc:1481 !#16 0x0000000100041062 in iiExprArith2 (res=0x7fff5fbfe610, a=0x7fff5fbfb928, op=40, b=0x100da43e8, proccall=0) at iparith.cc:7461 !#17 0x0000000100041674 in jjKLAMMER_PL (res=0x7fff5fbfe610, u=0x7fff5fbfb928) at iparith.cc:6806 !#18 0x000000010003ef1d in iiExprArithM (res=0x7fff5fbfe610, a=0x7fff5fbfb928, op=40) at iparith.cc:7983 !#19 0x000000010002f400 in yyparse () at grammar.y:523 !#20 0x000000010000b503 in main (argc=2, argv=0x7fff5fbfed20) at tesths.cc:254
  • Property mode set to 100644
File size: 3.4 KB
Line 
1LIB "tst.lib"; tst_init();
2
3ring R = 0,(x,y,z), (dp, C);
4
5module M1;
6M1[30]=x^4*gen(5)+x^3*z*gen(10)+x^2*z*gen(20)-x*z*gen(25);
7M1[1]=x*y*gen(1)+y*z*gen(6)+z*gen(11);
8M1[2]=x*y*gen(2)+y*z*gen(7)+z*gen(12);
9M1[3]=x*y*gen(3)+y*z*gen(8)+z*gen(13);
10M1[4]=x*y*gen(4)+y*z*gen(9)+z*gen(14);
11M1[5]=x*y*gen(5)+y*z*gen(10)+z*gen(15);
12M1[6]=x^2*gen(21)+x*y*gen(11)-y^2*gen(16)-gen(21);
13M1[7]=x^2*gen(22)+x*y*gen(12)-y^2*gen(17)-gen(22);
14M1[8]=x^2*gen(23)+x*y*gen(13)-y^2*gen(18)-gen(23);
15M1[9]=x^2*gen(24)+x*y*gen(14)-y^2*gen(19)-gen(24);
16M1[10]=x^2*gen(25)+x*y*gen(15)-y^2*gen(20)-gen(25);
17M1[11]=x^2*z*gen(11)-x*y*z*gen(16)+y*z*gen(21);
18M1[12]=x^2*z*gen(12)-x*y*z*gen(17)+y*z*gen(22);
19M1[13]=x^2*z*gen(13)-x*y*z*gen(18)+y*z*gen(23);
20M1[14]=x^2*z*gen(14)-x*y*z*gen(19)+y*z*gen(24);
21M1[15]=x^2*z*gen(15)-x*y*z*gen(20)+y*z*gen(25);
22M1[16]=x^2*y*gen(11)-x*y^2*gen(16)-x^2*gen(11)+x*y*gen(16)+y^2*gen(21)-y*gen(21);
23M1[17]=x^2*y*gen(12)-x*y^2*gen(17)-x^2*gen(12)+x*y*gen(17)+y^2*gen(22)-y*gen(22);
24M1[18]=x^2*y*gen(13)-x*y^2*gen(18)-x^2*gen(13)+x*y*gen(18)+y^2*gen(23)-y*gen(23);
25M1[19]=x^2*y*gen(14)-x*y^2*gen(19)-x^2*gen(14)+x*y*gen(19)+y^2*gen(24)-y*gen(24);
26M1[20]=x^2*y*gen(15)-x*y^2*gen(20)-x^2*gen(15)+x*y*gen(20)+y^2*gen(25)-y*gen(25);
27M1[21]=x^3*z*gen(1)+x^2*z^2*gen(6)+x*z^2*gen(16)-z^2*gen(21);
28M1[22]=x^3*z*gen(2)+x^2*z^2*gen(7)+x*z^2*gen(17)-z^2*gen(22);
29M1[23]=x^3*z*gen(3)+x^2*z^2*gen(8)+x*z^2*gen(18)-z^2*gen(23);
30M1[24]=x^3*z*gen(4)+x^2*z^2*gen(9)+x*z^2*gen(19)-z^2*gen(24);
31M1[25]=x^3*z*gen(5)+x^2*z^2*gen(10)+x*z^2*gen(20)-z^2*gen(25);
32M1[26]=x^4*gen(1)+x^3*z*gen(6)+x^2*z*gen(16)-x*z*gen(21);
33M1[27]=x^4*gen(2)+x^3*z*gen(7)+x^2*z*gen(17)-x*z*gen(22);
34M1[28]=x^4*gen(3)+x^3*z*gen(8)+x^2*z*gen(18)-x*z*gen(23);
35M1[29]=x^4*gen(4)+x^3*z*gen(9)+x^2*z*gen(19)-x*z*gen(24);
36
37module M2;
38M2[30]=x^4*gen(21)+x^3*z*gen(22)+x^2*z*gen(24)-x*z*gen(25);
39M2[1]=x*y*gen(1)+y*z*gen(2)+z*gen(3);
40M2[2]=x^2*gen(5)+x*y*gen(3)-y^2*gen(4)-gen(5);
41M2[3]=x^2*z*gen(3)-x*y*z*gen(4)+y*z*gen(5);
42M2[4]=x^2*y*gen(3)-x*y^2*gen(4)-x^2*gen(3)+x*y*gen(4)+y^2*gen(5)-y*gen(5);
43M2[5]=x^3*z*gen(1)+x^2*z^2*gen(2)+x*z^2*gen(4)-z^2*gen(5);
44M2[6]=x^4*gen(1)+x^3*z*gen(2)+x^2*z*gen(4)-x*z*gen(5);
45M2[7]=x*y*gen(6)+y*z*gen(7)+z*gen(8);
46M2[8]=x^2*gen(10)+x*y*gen(8)-y^2*gen(9)-gen(10);
47M2[9]=x^2*z*gen(8)-x*y*z*gen(9)+y*z*gen(10);
48M2[10]=x^2*y*gen(8)-x*y^2*gen(9)-x^2*gen(8)+x*y*gen(9)+y^2*gen(10)-y*gen(10);
49M2[11]=x^3*z*gen(6)+x^2*z^2*gen(7)+x*z^2*gen(9)-z^2*gen(10);
50M2[12]=x^4*gen(6)+x^3*z*gen(7)+x^2*z*gen(9)-x*z*gen(10);
51M2[13]=x*y*gen(11)+y*z*gen(12)+z*gen(13);
52M2[14]=x^2*gen(15)+x*y*gen(13)-y^2*gen(14)-gen(15);
53M2[15]=x^2*z*gen(13)-x*y*z*gen(14)+y*z*gen(15);
54M2[16]=x^2*y*gen(13)-x*y^2*gen(14)-x^2*gen(13)+x*y*gen(14)+y^2*gen(15)-y*gen(15);
55M2[17]=x^3*z*gen(11)+x^2*z^2*gen(12)+x*z^2*gen(14)-z^2*gen(15);
56M2[18]=x^4*gen(11)+x^3*z*gen(12)+x^2*z*gen(14)-x*z*gen(15);
57M2[19]=x*y*gen(16)+y*z*gen(17)+z*gen(18);
58M2[20]=x^2*gen(20)+x*y*gen(18)-y^2*gen(19)-gen(20);
59M2[21]=x^2*z*gen(18)-x*y*z*gen(19)+y*z*gen(20);
60M2[22]=x^2*y*gen(18)-x*y^2*gen(19)-x^2*gen(18)+x*y*gen(19)+y^2*gen(20)-y*gen(20);
61M2[23]=x^3*z*gen(16)+x^2*z^2*gen(17)+x*z^2*gen(19)-z^2*gen(20);
62M2[24]=x^4*gen(16)+x^3*z*gen(17)+x^2*z*gen(19)-x*z*gen(20);
63M2[25]=x*y*gen(21)+y*z*gen(22)+z*gen(23);
64M2[26]=x^2*gen(25)+x*y*gen(23)-y^2*gen(24)-gen(25);
65M2[27]=x^2*z*gen(23)-x*y*z*gen(24)+y*z*gen(25);
66M2[28]=x^2*y*gen(23)-x*y^2*gen(24)-x^2*gen(23)+x*y*gen(24)+y^2*gen(25)-y*gen(25);
67M2[29]=x^3*z*gen(21)+x^2*z^2*gen(22)+x*z^2*gen(24)-z^2*gen(25);
68
69R;
70M1;
71M2;
72
73modulo(M1,M2);
74
75tst_status(1);$
Note: See TracBrowser for help on using the repository browser.