Ticket #65: NCBug.tst

File NCBug.tst, 4.3 KB (added by Oleksandr , 14 years ago)

tst

Line 
1LIB "ncall.lib";
2ring r = (5),(a_2_0,a_2_1,b_2_2,b_2_3,b_8_9,c_10_12,a_1_0,a_1_1,a_3_4,a_3_5,a_7_8,a_9_11),(M(2,2,2,2,8,10,1,1,3,3,7,9,0,0,0,0,0,-1,0,0,0,0,0,0,-1,-1,0,0,0,0,-1,-1,-1,-1,-1,-1,-1,0,0,0,0,0,0,0,0,0,0,0,0,-1,0,0,0,0,0,0,0,0,0,0,0,0,-1,0,0,0,0,0,0,0,0,0,0,0,0,-1,0,0,0,0,0,0,0,0,0,0,0,0,-1,0,0,0,0,0,0,0,0,0,0,0,0,0,-1,0,0,0,0,0,0,0,0,0,0,0,0,-1,0,0,0,0,0,0,0,0,0,0,0,0,-1,0,0,0,0,0,0,0,0,0,0,0,0,-1,0,0),C);
3def R = SuperCommutative(7);
4setring R;
5ideal I = a_1_0*a_1_1,a_2_0*a_1_0,a_2_1*a_1_0-a_2_0*a_1_1,a_2_1*a_1_1,b_2_3*a_1_0-b_2_2*a_1_1,a_2_0^2,a_2_0*a_2_1,a_2_1^2,a_2_0*b_2_2+a_1_0*a_3_4,a_2_0*b_2_3+2*a_1_1*a_3_4-a_1_0*a_3_5,a_2_1*b_2_2+a_1_1*a_3_4-2*a_1_0*a_3_5,a_2_1*b_2_3-a_1_1*a_3_5,a_2_0*a_3_4,a_2_1*a_3_4-a_2_0*a_3_5,a_2_1*a_3_5,b_2_3*a_3_4-b_2_2*a_3_5-2*b_2_2*b_2_3*a_1_1-2*b_2_2^2*a_1_1,a_2_0*a_1_1*a_3_5,b_2_2*a_1_1*a_3_4-b_2_2*a_1_0*a_3_5,a_1_0*a_3_4*a_3_5,a_1_1*a_3_4*a_3_5,b_2_2*a_3_4*a_3_5-2*b_2_2^2*a_1_1*a_3_5-2*b_2_2^2*a_1_0*a_3_5,a_1_0*a_7_8+2*b_2_2^2*a_1_1*a_3_5-2*b_2_2^2*a_1_0*a_3_5+2*b_2_2^2*a_1_0*a_3_4,a_1_1*a_7_8+2*b_2_2*b_2_3*a_1_1*a_3_5-2*b_2_2^2*a_1_1*a_3_5+2*b_2_2^2*a_1_0*a_3_5,a_2_0*a_7_8,a_2_1*a_7_8,b_2_2*a_7_8+2*b_2_2*b_2_3^3*a_1_1+2*b_2_2^2*b_2_3*a_3_5+b_2_2^2*b_2_3^2*a_1_1-2*b_2_2^3*a_3_5+2*b_2_2^3*a_3_4+2*b_2_2^3*b_2_3*a_1_1-b_2_2^4*a_1_1,b_2_3*a_7_8+2*b_2_2*b_2_3^2*a_3_5+b_2_2*b_2_3^3*a_1_1-2*b_2_2^2*b_2_3*a_3_5+2*b_2_2^2*b_2_3^2*a_1_1+2*b_2_2^3*a_3_5-2*b_2_2^3*b_2_3*a_1_1+b_2_2^4*a_1_1,b_8_9*a_1_0-b_2_2*b_2_3^3*a_1_1+b_2_2^2*b_2_3^2*a_1_1-2*b_2_2^3*b_2_3*a_1_1,b_8_9*a_1_1+b_2_2*b_2_3^3*a_1_1-2*b_2_2^2*b_2_3^2*a_1_1-b_2_2^4*a_1_1,a_1_0*a_9_11-2*b_2_2^2*b_2_3*a_1_1*a_3_5+2*b_2_2^3*a_1_0*a_3_4,a_1_1*a_9_11-b_2_3^3*a_1_1*a_3_5-2*b_2_2*b_2_3^2*a_1_1*a_3_5-2*b_2_2^3*a_1_0*a_3_5,a_3_4*a_7_8-2*b_2_2*b_2_3^2*a_1_1*a_3_5-2*b_2_2^2*b_2_3*a_1_1*a_3_5-2*b_2_2^3*a_1_1*a_3_5+2*b_2_2^3*a_1_0*a_3_5,a_3_5*a_7_8-b_2_2*b_2_3^2*a_1_1*a_3_5-2*b_2_2^2*b_2_3*a_1_1*a_3_5+2*b_2_2^3*a_1_1*a_3_5-b_2_2^3*a_1_0*a_3_5,a_2_0*b_8_9+b_2_2*b_2_3^2*a_1_1*a_3_5-b_2_2^2*b_2_3*a_1_1*a_3_5+2*b_2_2^3*a_1_1*a_3_5,a_2_1*b_8_9+b_2_2*b_2_3^2*a_1_1*a_3_5-2*b_2_2^2*b_2_3*a_1_1*a_3_5-b_2_2^3*a_1_0*a_3_5,b_2_2*b_8_9-b_2_2*b_2_3^4+b_2_2^2*b_2_3^3-2*b_2_2^3*b_2_3^2+b_2_2^2*b_2_3*a_1_1*a_3_5+b_2_2^3*a_1_1*a_3_5+2*b_2_2^3*a_1_0*a_3_4,b_2_3*b_8_9+b_2_2*b_2_3^4-2*b_2_2^2*b_2_3^3-b_2_2^4*b_2_3+b_2_2*b_2_3^2*a_1_1*a_3_5+b_2_2^2*b_2_3*a_1_1*a_3_5+2*b_2_2^3*a_1_0*a_3_5,a_2_0*a_9_11,a_2_1*a_9_11,b_2_2*b_2_3^4*a_1_1-b_2_2^5*a_1_1,b_2_2*a_9_11-2*b_2_2^2*b_2_3^2*a_3_5+b_2_2^2*b_2_3^3*a_1_1-2*b_2_2^3*b_2_3^2*a_1_1+2*b_2_2^4*a_3_4-b_2_2^4*b_2_3*a_1_1-b_2_2^5*a_1_1,b_2_3*a_9_11-b_2_3^4*a_3_5-2*b_2_2*b_2_3^3*a_3_5-2*b_2_2^2*b_2_3^3*a_1_1-b_2_2^3*b_2_3^2*a_1_1-2*b_2_2^4*a_3_5-2*b_2_2^4*b_2_3*a_1_1,b_8_9*a_3_4-b_2_2*b_2_3^3*a_3_5+b_2_2^2*b_2_3^2*a_3_5-2*b_2_2^3*b_2_3*a_3_5-2*b_2_2^3*b_2_3^2*a_1_1+b_2_2^4*b_2_3*a_1_1-2*b_2_2^5*a_1_1,b_8_9*a_3_5+b_2_2*b_2_3^3*a_3_5-2*b_2_2^2*b_2_3^2*a_3_5-b_2_2^4*a_3_5,b_2_2*b_2_3^3*a_1_1*a_3_5-b_2_2^4*a_1_0*a_3_5,a_3_4*a_9_11-2*b_2_2^3*b_2_3*a_1_1*a_3_5+b_2_2^4*a_1_1*a_3_5+b_2_2^4*a_1_0*a_3_5,a_3_5*a_9_11+2*b_2_2^2*b_2_3^2*a_1_1*a_3_5+b_2_2^3*b_2_3*a_1_1*a_3_5+2*b_2_2^4*a_1_1*a_3_5,b_2_2*b_2_3^5-b_2_2^5*b_2_3,b_2_2*b_2_3^4*a_3_5-b_2_2^5*a_3_5,b_8_9*a_7_8-2*b_2_2^3*b_2_3^3*a_3_5-b_2_2^4*b_2_3^2*a_3_5+2*b_2_2^4*b_2_3^3*a_1_1+b_2_2^5*b_2_3*a_3_5+b_2_2^5*b_2_3^2*a_1_1+b_2_2^6*a_3_5-2*b_2_2^6*b_2_3*a_1_1-2*b_2_2^7*a_1_1,a_7_8*a_9_11+b_2_2^4*b_2_3^2*a_1_1*a_3_5-b_2_2^5*b_2_3*a_1_1*a_3_5,b_8_9^2+2*b_2_2^5*b_2_3^3-b_2_2^7*b_2_3-2*b_2_2^4*b_2_3^2*a_1_1*a_3_5-2*b_2_2^5*b_2_3*a_1_1*a_3_5-2*b_2_2^6*a_1_1*a_3_5+2*b_2_2^6*a_1_0*a_3_5,b_8_9*a_9_11+2*b_2_2^4*b_2_3^3*a_3_5+b_2_2^5*b_2_3^2*a_3_5+b_2_2^6*b_2_3*a_3_5-b_2_2^6*b_2_3^2*a_1_1+b_2_2^7*a_3_5+b_2_2^7*b_2_3*a_1_1;
6I = groebner(I);
7ideal FRS1 = c_10_12, b_8_9-b_2_3^4+b_2_2*b_2_3^3-2*b_2_2^2*b_2_3^2-b_2_2^4;
8ideal FRS2 = c_10_12, -b_8_9+b_2_3^4-b_2_2*b_2_3^3+2*b_2_2^2*b_2_3^2+b_2_2^4-b_2_2*b_2_3*a_1_1*a_3_5-b_2_2^2*a_1_1*a_3_5-2*b_2_2^2*a_1_0*a_3_4;
9
10
11
12std(I,FRS1[1]);
13// _[1]=0+a_2_0*a_2_1+a_2_0^2+b_2_3*a_1_0+a_2_1*a_1_1+a_2_1*a_1_0+a_2_0*a_1_0+a_1_0*a_1_1
14std(I+ideal(FRS1[1]));
15/*
16_[1]=a_1_0*a_1_1
17_[2]=a_2_0*a_1_0
18_[3]=a_2_1*a_1_0-a_2_0*a_1_1
19_[4]=a_2_1*a_1_1
20_[5]=b_2_3*a_1_0-b_2_2*a_1_1
21_[54]=b_8_9*a_9_11+2*b_2_2^4*b_2_3^3*a_3_5+b_2_2^5*b_2_3^2*a_3_5+b_2_2^6*b_2_3*a_3_5-b_2_2^6*b_2_3^2*a_1_1+b_2_2^7*a_3_5+b_2_2^7*b_2_3*a_1_1
22*/
23NF(c_10_12,_);
24// 0
25std(I+ideal(FRS1[1]));
26
27
28$$$