︠6093ff32-6b19-4c34-b1d3-42fa906204b0s︠

T=vector([0,1,1,1,2,2,2,3]);
m1323=vector([0,1,1,1,1,2,2,2]); #13|23#
m1223=vector([0,1,1,1,2,2,2,2]); #12|23#
m1213=vector([0,1,1,1,2,1,2,2]); #12|13#
M13 = vector([0,1,0,1,1,1,2,2]); #13#
M23 = vector([0,0,1,1,1,2,1,2]); #23#
M12 = vector([0,1,1,0,2,1,1,2]); #12#
m123= vector([0,1,1,1,1,1,1,1]); #1|2|3#
m12 = vector([0,1,1,0,1,1,1,1]); #1|2#
m23 = vector([0,0,1,1,1,1,1,1]); #2|3#
m3 = vector([0,0,0,1,0,1,1,1]); #3#
m2 = vector([0,0,1,0,1,1,0,1]); #2#
m1 = vector([0,1,0,0,1,0,1,1]); #1#

#cocientes#
var('x, y, z');
pq1(x,y,z)=0;
pq2(x,y,z)=0;
pq3(x,y,z)=0;
pq4(x,y,z)=0;
pq5(x,y,z)=0;
pq6(x,y,z)=0;
pq7(x,y,z)=0;
pq8(x,y,z)=0;
pq9(x,y,z)=0;
pq10(x,y,z)=0;
pq11(x,y,z)=0;
pq12(x,y,z)=0;
pq13(x,y,z)=0;
pq14(x,y,z)=0;
pq15(x,y,z)=0;
pq16(x,y,z)=0;
pq17(x,y,z)=0;

#####################################
var('x,y,z,v')
w1(x,y,z,v)=0;
w2(x,y,z)=0;
w3(x,y,z)=0;
w4(x,y,z)=0;
w5(x,y,z)=0;
w6(x,y,z)=0;
w7(x,y,z)=0;
w8(x,y,z)=0;
w9(x,y,z)=0;
w10(x,y,z)=0;
w11(x,y,z)=0;
w12(x,y,z)=0;
w13(x,y,z)=0;
w14(x,y,z)=0;
w15(x,y,z)=0;
w16(x,y,z)=0;
w17(x,y,z)=0;
###########
E=vector([1,x,y,z,x*y,y*z,x*z,x*y*z]);
for i in range(0,8):
pq1=pq1+((x-1)^(m123[7]-m123[i]))*((y-1)^(T[i]-m1323[i]))*((z)^((m1323[7]-
m1323[i])-(m123[7]-m123[i]))); #cociente1 1|2|3|<13|23#
 pq2=pq2+((x-1)^(m12[7]-m12[i]))*((y-1)^(T[i]-m1323[i]))*((z)^((m1323[7]-
m1323[i])-(m12[7]-m12[i]))); #cociente2 1|2<13|23#
pq3=pq3+((x-1)^(m12[7]-m12[i]))*((y-1)^(T[i]-m1223[i]))*((z)^((m1223[7]-
m1223[i])-(m12[7]-m12[i]))); #cociente3 1|2<12|23#
pq4=pq4+((x-1)^(m3[7]-m3[i]))*((y-1)^(T[i]-m1323[i]))*((z)^((m1323[7]-
m1323[i])-(m3[7]-m3[i]))); #cociente4 3<13|23#
pq5=pq5+((x-1)^(m123[7]-m123[i]))*((y-1)^(T[i]-m1223[i]))*((z)^((m1223[7]-
m1223[i])-(m123[7]-m123[i]))); #cociente5 1|2|3<12|23#
pq6=pq6+((x-1)^(m23[7]-m23[i]))*((y-1)^(T[i]-m1223[i]))*((z)^((m1223[7]-
m1223[i])-(m23[7]-m23[i]))); #cociente6 2|3<12|23#
pq7=pq7+((x-1)^(m123[7]-m123[i]))*((y-1)^(T[i]-m1213[i]))*((z)^((m1213[7]-
m1213[i])-(m123[7]-m123[i]))); #cociente5 1|2|3<12|13#
pq8=pq8+((x-1)^(m23[7]-m23[i]))*((y-1)^(T[i]-m1213[i]))*((z)^((m1213[7]-
m1213[i])-(m23[7]-m23[i]))); #cociente5 2|3<12|13#
pq9=pq9+((x-1)^(m1[7]-m1[i]))*((y-1)^(T[i]-m1213[i]))*((z)^((m1213[7]-
m1213[i])-(m1[7]-m1[i]))); #cociente5 1<12|13#
pq10=pq10+((x-1)^(m3[7]-m3[i]))*((y-1)^(T[i]-M13[i]))*((z)^((M13[7]-M13[i])-
(m3[7]-m3[i]))); #cociente5 3<13#
pq11=pq11+((x-1)^(m1[7]-m1[i]))*((y-1)^(T[i]-M13[i]))*((z)^((M13[7]-M13[i])-
(m1[7]-m1[i]))); #cociente5 1<13#
pq12=pq12+((x-1)^(m3[7]-m3[i]))*((y-1)^(T[i]-M23[i]))*((z)^((M23[7]-M23[i])-
(m3[7]-m3[i]))); #cociente5 3<23#
pq13=pq13+((x-1)^(m23[7]-m23[i]))*((y-1)^(T[i]-M23[i]))*((z)^((M23[7]-M23[i])-
(m23[7]-m23[i]))); #cociente5 2|3<23#
pq14=pq14+((x-1)^(m2[7]-m2[i]))*((y-1)^(T[i]-M23[i]))*((z)^((M23[7]-M23[i])-
(m2[7]-m2[i]))); #cociente5 2<23#
pq15=pq15+((x-1)^(m12[7]-m12[i]))*((y-1)^(T[i]-M12[i]))*((z)^((M12[7]-M12[i])-
(m12[7]-m12[i]))); #cociente5 1|2<12#
pq16=pq16+((x-1)^(m2[7]-m2[i]))*((y-1)^(T[i]-M12[i]))*((z)^((M12[7]-M12[i])-
(m2[7]-m2[i]))); #cociente5 2<12#
pq17=pq17+((x-1)^(m1[7]-m1[i]))*((y-1)^(T[i]-M12[i]))*((z)^((M12[7]-M12[i])-
(m1[7]-m1[i]))); #cociente5 1<12#

w1=w1+e^(-m123[i])*pi^(-m1213[i])*log2^(-T[i])*v^(3-T[i])*E[i];
#bandera1 1|2|3|<13|23#
w2=w2+e^(-m123[i])*pi^(-m12[i])*log2^(-T[i])*v^(3-T[i])*E[i];
#bandera2 1|2<13|23#

#########################
w1.factor()