N=2, # of fermion fields: 1, # of boson fields: 0
weight(t)=4, weight(s)=12, fermion weights={3}, boson weights={}
Problem | Unknowns |
Inequalities | Equations |
Solution 1 |
Computing time |
Back to overview
Problem
Find equations
f := D f*f*p1 + D D f *p3 + D f*f*p2 + f *p4
t 2 1 2 x 1 2x
with symmetries
f := D f *f*q13 + D f *D D f*q14 + D f *f *q20 + D f *D f*f*q9
s 2 4x 2 3x 1 2 2 3x x 2 2x 2
2
+ D f *D D f *q29 + D f *D f*f*q8 + D f *f *q34 + (D f ) *f*q5
2 2x 1 2 x 2 2x 1 2 2x 2x 2 x
+ D f *D f*D D f*q18 + D f *D f*f *q24 + D f *D D f *q39
2 x 2 1 2 2 x 2 x 2 x 1 2 2x
+ D f *D D f*D f*q19 + D f *D f *f*q6 + D f *D f*f *q25 + D f *f *q37
2 x 1 2 1 2 x 1 x 2 x 1 x 2 x 3x
3 2 2 2
+ (D f) *f*q1 + (D f) *D D f *q26 + (D f) *D f*f*q3 + (D f) *f *q31
2 2 1 2 x 2 1 2 2x
+ D f*D D f *q42 + D f*D D f *D f*q27 + D f*D D f*D f *q16
2 1 2 3x 2 1 2 x 1 2 1 2 1 x
2
+ D f*D f *f*q11 + D f*D f *f *q22 + D f*(D f) *f*q2 + D f*D f*f *q32
2 1 2x 2 1 x x 2 1 2 1 2x
+ D f*f *q40 + D D f *q48 + D D f *D f*q43 + D D f *D f *q38
2 4x 1 2 5x 1 2 3x 1 1 2 2x 1 x
2
+ D D f *D D f*f*q47 + D D f *D f *q30 + D D f *(D f) *q28
1 2 x 1 2 1 2 x 1 2x 1 2 x 1
+ D D f *f *f*q46 + D D f*D f *q15 + D D f*D f *D f*q17
1 2 x x 1 2 1 3x 1 2 1 x 1
- D D f*f *f*q45 + D f *f*q12 + D f *f *q21 + D f *D f*f*q10
1 2 2x 1 4x 1 3x x 1 2x 1
2
+ D f *f *q35 + (D f ) *f*q7 + D f *D f*f *q23 + D f *f *q36
1 2x 2x 1 x 1 x 1 x 1 x 3x
3 2
+ (D f) *f*q4 + (D f) *f *q33 + D f*f *q41 + f *q49 + f *f *f*q44
1 1 2x 1 4x 6x 2x x
Unknowns
All solutions for the following 53 unknowns have to be determined:
p1,p2,p3,p4,q1,q2,q3,q4,q5,q6,q7,q8,q9,q10,q11,q12,q13,q14,q15,q16,q17,q18,q19,
q20,q21,q22,q23,q24,q25,q26,q27,q28,q29,q30,q31,q32,q33,q34,q35,q36,q37,q38,q39,
q40,q41,q42,q43,q44,q45,q46,q47,q48,q49
Inequalities
Each of the following lists represents one inequality which states
that not all unknowns in this list may vanish. These inequalities
filter out solutions which are trivial for the application.
{q48,q47,q46,q45,q43,q42,q40,q39,q38,q37,q34,q32,q31,q30,q29,q28,q27,q26,q25,q24
,q22,q20,q19,q18,q17,q16,q15,q14,q13,q11,q9,q8,q6,q5,q3,q2,q1,p3,p1}
{q48,q47,q46,q45,q43,q42,q41,q39,q38,q36,q35,q33,q32,q30,q29,q28,q27,q26,q25,q23
,q22,q21,q19,q18,q17,q16,q15,q14,q12,q11,q10,q8,q7,q6,q4,q3,q2,p3,p2}
{q47,q46,q45,q44,q43,q42,q41,q40,q39,q38,q37,q36,q35,q34,q33,q32,q31,q30,q29,q28
,q27,q26,q25,q24,q23,q22,q21,q20,q19,q18,q17,q16,q15,q14,q13,q12,q11,q10,q9,q8,
q7,q6,q5,q4,q3,q2,q1,p2,p1}
{q49,q48,q47,q46,q45,q44,q43,q42,q41,q40,q39,q38,q37,q36,q35,q34,q33,q32,q31,q30
,q29,q28,q27,q26,q25,q24,q23,q22,q21,q20,q19,q18,q17,q16,q15,q14,q13,q12,q11,q10
,q9,q8,q7,q6,q5,q4,q3,q2,q1}
{p4,p3,p2,p1}
p2*q47,
p1*q47,
p2*q4,
p1*q1,
p3*(q11 - q8),
2*(p2*q43 - 1/2*p3*q10),
2*(p1*q42 - 1/2*p3*q9),
p2*q28 - p3*q4,
p1*q26 - p3*q1,
p1*q48 - p3*q13,
p2*q48 - p3*q12,
p1*q4 + p2*q2,
p1*q2 + p2*q3,
p1*q3 + p2*q1,
p1*q43 - p2*q41 - p3*q8,
2*(p1*q43 + 1/2*p2*q12 - p3*q8),
2*(p1*q42 + 1/2*p2*q13 - p3*q9),
p1*q40 + p2*q42 - p3*q11,
p1*q12 - 2*p2*q43 + 2*p3*q10,
p1*q13 - 2*p2*q42 + 2*p3*q11,
p1*q28 - 2*p2*q33 - p3*q2,
p1*q28 + p2*q10 - p3*q2,
2*(p2*q17 + 1/2*p2*q28 - 3*p3*q4),
p1*q28 + p2*q27 - p3*q2,
p1*q27 + p2*q26 - p3*q3,
2*(p1*q31 + 1/2*p2*q26 - 1/2*p3*q3),
2*(p1*q18 + 1/2*p1*q26 - 3*p3*q1),
p1*q9 - p2*q26 + p3*q3,
2*(p1*q43 + p2*q42 - 1/2*p3*q11 - 1/2*p3*q8),
p1*q11 + 2*p1*q26 + p2*q9 - 6*p3*q1,
3*(p1*q16 + 1/3*p2*q18 + 2/3*p2*q26 - 4/3*p3*q3),
p1*q17 + 2*p1*q28 + 3*p2*q19 - 4*p3*q2,
p1*q10 - 2*p2*q28 + p2*q8 + 6*p3*q4,
p3*q11 + p3*q45 + p3*q46 - p3*q8 + 2*p4*q47,
p1*q17 - 3*p2*q23 - 2*p2*q33 - 2*p3*q2 + 6*p4*q4,
2*(p1*q17 + p2*q10 + 3/2*p2*q7 - p3*q2 - 3*p4*q4),
p1*q10 + 2*p1*q27 + 2*p2*q11 + p2*q8 - 4*p3*q3,
3*(p1*q17 + 4/3*p2*q16 + 1/3*p2*q19 + 2/3*p2*q27 - 8/3*p3*q2),
p1*q16 + 4*p1*q19 + 2*p1*q27 + 3*p2*q18 - 8*p3*q3,
3*(p1*q24 + 2/3*p1*q31 + 1/3*p2*q18 - 2/3*p3*q3 - 2*p4*q1),
3*(p1*q5 + 2/3*p1*q9 - 2/3*p2*q18 + 2/3*p3*q3 - 2*p4*q1),
p1*q11 + 2*p1*q8 - 2*p2*q27 + p2*q9 + 4*p3*q2,
20*(p2*q49 + 1/10*p3*q30 - 1/20*p3*q37 + 1/20*p3*q38 - 1/10*p4*q35),
2*(p2*q48 - 1/2*p3*q12 - p3*q14 - 1/2*p3*q41 + 1/2*p3*q42),
20*(p2*q48 - 1/10*p3*q35 - 1/20*p3*q36 - 1/20*p3*q39 - 1/10*p4*q30),
20*(p1*q49 + 1/10*p3*q29 + 1/20*p3*q36 + 1/20*p3*q39 - 1/10*p4*q34),
20*(p1*q48 - 1/10*p3*q34 - 1/20*p3*q37 + 1/20*p3*q38 - 1/10*p4*q29),
2*(p1*q48 - 1/2*p3*q13 + p3*q15 - 1/2*p3*q40 - 1/2*p3*q43),
p1*q12 + 2*p1*q14 - p2*q13 + 2*p2*q15 - p3*q10 - p3*q9,
4*(p1*q12 + 1/2*p1*q42 - p2*q13 + 1/2*p2*q43 - 1/4*p3*q10 - 1/4*p3*q9),
p1*q41 - p1*q42 + p2*q40 + p2*q43 - p3*q10 + p3*q9,
p1*q27 - 2*p1*q33 - p2*q28 - 2*p2*q32 - 2*p3*q3 + 3*p3*q4,
2*(p1*q16 + 1/2*p1*q7 + p2*q11 + 1/2*p2*q6 - p3*q3 - p4*q2),
p1*q26 - 2*p1*q32 - p2*q27 - 2*p2*q31 - 3*p3*q1 + 2*p3*q2,
2*(p1*q22 + 1/2*p2*q16 + 1/2*p2*q24 + p2*q31 - p3*q2 - p4*q3),
p1*q19 - p1*q23 - 2*p1*q33 - 2*p2*q25 - 2*p3*q3 + 2*p4*q2,
p1*q6 + 2*p1*q8 - 2*p2*q19 + p2*q5 + 2*p3*q2 - 2*p4*q3,
2*(p1*q30 + 3*p2*q12 - p3*q11 - 1/2*p3*q45 + 1/2*p3*q46 - 1/2*p3*q6 - p4*q7),
3*(p2*q15 + 2/3*p2*q43 - 2/3*p3*q10 - 2/3*p3*q19 + 1/3*p3*q27 - 2/3*p3*q33 - 1/3
*p3*q47),
6*(p1*q13 - 1/3*p2*q29 - 1/6*p3*q45 + 1/6*p3*q46 + 1/6*p3*q6 + 1/3*p3*q8 - 1/3*
p4*q5),
3*(p1*q14 + 2/3*p1*q42 + 2/3*p3*q16 - 1/3*p3*q27 - 2/3*p3*q31 - 1/3*p3*q47 - 2/3
*p3*q9),
4*(p1*q48 + 3/2*p2*q49 - 1/4*p3*q13 - 1/2*p3*q20 + 1/4*p3*q40 + 1/4*p3*q43 - 1/2
*p4*q12),
10*(p2*q48 - 1/10*p3*q12 + 1/10*p3*q14 - 1/10*p3*q21 - 1/10*p3*q41 - 1/10*p3*q42
- 1/5*p4*q43),
10*(p1*q48 - 1/10*p3*q13 - 1/10*p3*q15 - 1/10*p3*q20 - 1/10*p3*q40 + 1/10*p3*q43
- 1/5*p4*q42),
6*(p1*q49 - 2/3*p2*q48 + 1/6*p3*q12 + 1/3*p3*q21 - 1/6*p3*q41 + 1/6*p3*q42 - 1/3
*p4*q13),
3*(p1*q13 - 2/3*p1*q20 + 2/3*p1*q40 + p2*q12 - 2/3*p2*q21 + 2/3*p2*q41 - 1/3*p3*
q11 + 1/3*p3*q8),
3*(p2*q30 + 2*p2*q43 - 1/3*p3*q10 - 2/3*p3*q23 - 1/3*p3*q27 - 2/3*p3*q33 - 2/3*
p3*q7 - 2/3*p4*q17),
2*(p1*q15 + 1/2*p2*q14 + p2*q42 - p3*q11 - p3*q18 + p3*q26 - 1/2*p3*q32 - 1/2*p3
*q45),
3*(p1*q29 + 2*p1*q42 - 2/3*p3*q24 + 1/3*p3*q27 - 2/3*p3*q31 - 2/3*p3*q5 - 1/3*p3
*q9 - 2/3*p4*q18),
p1*q15 + 2*p1*q43 + 2*p2*q14 + 2*p3*q17 - 2*p3*q28 - p3*q32 + p3*q45 - 2*p3*q8,
p1*q10 + 2*p1*q19 + p1*q47 + 2*p2*q17 - 2*p2*q45 - p2*q8 - 2*p3*q3 - 6*p3*q4,
2*(p1*q16 + p1*q7 + p2*q17 - p2*q45 + p2*q46 - 1/2*p2*q6 - p3*q3 - 3*p3*q4),
2*(p1*q10 + p1*q27 - 1/2*p1*q47 + 2*p2*q28 + p2*q46 - p2*q8 - p3*q3 - 3*p3*q4),
p1*q11 + 2*p1*q18 - 2*p1*q45 + 2*p2*q16 - p2*q47 - p2*q9 - 6*p3*q1 - 2*p3*q2,
2*(p1*q11 + 2*p1*q26 + p1*q46 + p2*q27 + 1/2*p2*q47 - p2*q9 - 3*p3*q1 - p3*q2),
2*(p1*q18 - p1*q45 + p1*q46 + 1/2*p1*q6 + p2*q19 - p2*q5 - 3*p3*q1 - p3*q2),
4*(p1*q48 - 3/2*p2*q49 - 1/4*p3*q13 - 1/4*p3*q15 - 1/4*p3*q20 + 1/4*p3*q40 - 1/4
*p3*q43 + 1/2*p4*q41),
6*(p1*q49 + 2/3*p2*q48 - 1/6*p3*q12 + 1/6*p3*q14 - 1/6*p3*q21 + 1/6*p3*q41 + 1/6
*p3*q42 - 1/3*p4*q40),
2*(p1*q15 + p1*q38 + 4*p2*q12 - 1/2*p3*q11 - 1/2*p3*q45 + 1/2*p3*q46 - p3*q6 - 1
/2*p3*q8 - p4*q10),
2*(p2*q30 + 2*p2*q38 + 1/2*p3*q19 - 3/2*p3*q23 - 1/2*p3*q27 + 1/2*p3*q47 - p3*q7
- p4*q17 - p4*q28),
2*(p1*q29 + 2*p1*q39 - 1/2*p3*q16 - 3/2*p3*q24 + 1/2*p3*q27 + 1/2*p3*q47 - p3*q5
- p4*q18 - p4*q26),
3*(p1*q12 + 1/3*p1*q29 + p2*q13 - 1/3*p2*q30 + 1/3*p3*q10 - 1/3*p3*q5 + 1/3*p3*
q7 - 1/3*p3*q9 - 1/3*p4*q6),
8*(p1*q13 - 1/4*p2*q14 - 1/4*p2*q39 + 1/8*p3*q11 - 1/8*p3*q45 + 1/8*p3*q46 + 1/4
*p3*q6 + 1/8*p3*q8 - 1/4*p4*q9),
2*(p1*q25 - p1*q32 + 1/2*p1*q45 + 1/2*p1*q46 - 1/2*p1*q8 - 1/2*p2*q10 + p2*q23 -
2*p2*q33 - 1/2*p2*q44),
2*(p1*q24 - 2*p1*q31 - 1/2*p1*q44 - 1/2*p1*q9 - 1/2*p2*q11 + p2*q22 - p2*q32 - 1
/2*p2*q45 - 1/2*p2*q46),
p1*q16 - 2*p1*q23 - p2*q17 - 3*p2*q22 - p2*q25 - 2*p2*q32 - 2*p3*q3 + 6*p3*q4 +
4*p4*q2,
p1*q10 + p1*q19 + p1*q7 - p2*q17 + p2*q6 + p2*q8 - p3*q3 + 3*p3*q4 - 2*p4*q2,
p1*q18 - p1*q22 - 3*p1*q25 - 2*p1*q32 - p2*q19 - 2*p2*q24 - 6*p3*q1 + 2*p3*q2 +
4*p4*q3,
p1*q11 + p1*q18 + p1*q6 - p2*q16 + p2*q5 + p2*q9 - 3*p3*q1 + p3*q2 - 2*p4*q3,
10*(p2*q48 - 1/10*p3*q14 - 1/10*p3*q21 - 1/5*p3*q29 - 1/10*p3*q36 + 1/10*p3*q39
- 1/10*p3*q41 + 1/10*p3*q42 - 1/5*p4*q15),
20*(p2*q48 + 1/20*p3*q14 - 1/20*p3*q21 + 1/20*p3*q29 - 1/20*p3*q35 - 1/20*p3*q36
- 1/20*p3*q39 - 1/10*p3*q42 - 1/10*p4*q38),
20*(p1*q48 - 1/20*p3*q15 - 1/20*p3*q20 - 1/20*p3*q30 - 1/20*p3*q34 - 1/20*p3*q37
+ 1/20*p3*q38 + 1/10*p3*q43 - 1/10*p4*q39),
10*(p1*q48 + 1/10*p3*q15 - 1/10*p3*q20 + 1/5*p3*q30 - 1/10*p3*q37 - 1/10*p3*q38
- 1/10*p3*q40 - 1/10*p3*q43 - 1/5*p4*q14),
p1*q38 - 2*p2*q35 - 3*p2*q36 - 3*p3*q17 - p3*q25 + p3*q32 - p3*q45 - p3*q6 + 2*
p4*q23 + 2*p4*q33,
3*(p2*q38 + 2*p2*q43 - 2/3*p3*q10 + 1/3*p3*q19 - 1/3*p3*q23 - 1/3*p3*q27 - 2/3*
p3*q33 + 1/3*p3*q47 - 2/3*p3*q7 - 4/3*p4*q28),
p1*q35 + p2*q30 + p2*q34 + 6*p2*q40 - p3*q10 + 2*p3*q16 + p3*q27 - 2*p3*q31 - 2*
p3*q7 - 2*p4*q22,
4*(p1*q12 + 1/2*p1*q39 + p2*q13 - 1/2*p2*q15 + 1/4*p3*q10 + 1/4*p3*q44 + 1/4*p3*
q47 - p3*q5 - 1/4*p3*q9 - 1/2*p4*q11),
3*(p1*q39 + 2*p1*q42 - 1/3*p3*q16 - 1/3*p3*q24 + 1/3*p3*q27 - 2/3*p3*q31 + 1/3*
p3*q47 - 2/3*p3*q5 - 2/3*p3*q9 - 4/3*p4*q26),
2*(p1*q34 + 3/2*p1*q37 + 1/2*p2*q39 + 3/2*p3*q18 - 1/2*p3*q22 + 1/2*p3*q32 + 1/2
*p3*q45 - 1/2*p3*q6 - p4*q24 - p4*q31),
p1*q29 - p1*q35 - 6*p1*q41 - p2*q34 - 2*p3*q19 - p3*q27 - 2*p3*q33 - 2*p3*q5 -
p3*q9 + 2*p4*q25,
4*(p1*q12 + 1/2*p1*q14 + p2*q13 - 1/2*p2*q38 + 1/4*p3*q10 - 1/4*p3*q44 - 1/4*p3*
q47 + p3*q7 - 1/4*p3*q9 - 1/2*p4*q8),
5*(p1*q48 - 3*p2*q49 - 1/5*p3*q15 - 1/5*p3*q20 - 1/5*p3*q30 - 1/5*p3*q34 + 1/5*
p3*q37 - 1/5*p3*q38 + 2/5*p3*q40 + 2/5*p4*q36),
5*(p1*q48 + 3*p2*q49 + 1/5*p3*q15 - 1/5*p3*q20 - 2/5*p3*q34 + 1/5*p3*q37 + 1/5*
p3*q38 + 1/5*p3*q40 + 1/5*p3*q43 - 2/5*p4*q21),
15*(p1*q49 + 1/3*p2*q48 + 1/15*p3*q14 - 1/15*p3*q21 + 1/15*p3*q29 - 1/15*p3*q35
+ 1/15*p3*q36 + 1/15*p3*q39 + 2/15*p3*q41 - 2/15*p4*q37),
15*(p1*q49 - 1/3*p2*q48 + 1/15*p3*q14 + 1/15*p3*q21 + 2/15*p3*q35 - 1/15*p3*q36
+ 1/15*p3*q39 - 1/15*p3*q41 + 1/15*p3*q42 - 2/15*p4*q20),
2*(p1*q13 - p1*q34 + p1*q37 + p2*q12 - p2*q35 + p2*q36 - 1/2*p3*q11 + 1/2*p3*q45
+ 1/2*p3*q46 + 1/2*p3*q8 - p4*q44),
p1*q30 - 2*p2*q35 - 6*p2*q41 - p3*q11 - 2*p3*q17 - 2*p3*q28 + p3*q32 - p3*q45 +
p3*q46 - p3*q6 + 2*p4*q23,
p1*q15 - 2*p1*q43 - 2*p2*q21 - 4*p2*q41 - p3*q11 + 2*p3*q25 - 2*p3*q28 - p3*q32
+ p3*q46 + p3*q8 + 2*p4*q10,
4*(p1*q12 + 1/2*p1*q29 - p2*q13 + 1/2*p2*q30 - 1/4*p3*q10 + 1/4*p3*q44 - 1/4*p3*
q47 - 1/2*p3*q5 - 1/2*p3*q7 - 1/4*p3*q9 + 1/2*p4*q45),
6*(p1*q12 + 1/3*p1*q39 - p2*q13 + 1/3*p2*q38 - 1/6*p3*q10 - 1/6*p3*q44 + 1/6*p3*
q47 - 1/3*p3*q5 - 1/3*p3*q7 - 1/6*p3*q9 - 1/3*p4*q46),
2*(p1*q30 + 1/2*p2*q29 + 3*p2*q42 - 1/2*p3*q11 - p3*q22 - p3*q26 - 1/2*p3*q32 -
1/2*p3*q45 + 1/2*p3*q46 - 1/2*p3*q6 - p4*q16),
p1*q30 + 6*p1*q43 + 2*p2*q29 - 2*p3*q25 + 2*p3*q28 - p3*q32 + p3*q45 - p3*q46 -
p3*q6 - p3*q8 - 2*p4*q19,
2*(p1*q34 + 3*p1*q40 + 1/2*p2*q29 + p3*q18 + p3*q26 + 1/2*p3*q32 + 1/2*p3*q45 -
1/2*p3*q46 - 1/2*p3*q6 - 1/2*p3*q8 - p4*q24),
2*(p1*q20 + 2*p1*q40 + 1/2*p2*q14 - p2*q42 + 1/2*p3*q11 + p3*q22 + p3*q26 - 1/2*
p3*q32 - 1/2*p3*q46 - 1/2*p3*q8 - p4*q9),
p1*q38 + 2*p1*q43 - 2*p2*q36 - 4*p2*q41 - p3*q17 - p3*q25 - 2*p3*q28 + p3*q32 -
p3*q45 - p3*q6 - 2*p3*q8 + 4*p4*q33,
6*(p2*q15 + 1/3*p2*q30 + 1/3*p2*q38 - 1/3*p3*q10 - 1/6*p3*q16 - 1/6*p3*q19 - 1/3
*p3*q23 + 1/6*p3*q27 - 1/3*p3*q33 - 1/6*p3*q47 - 1/3*p3*q7 - 1/3*p4*q17),
3*(p1*q15 - 1/3*p1*q30 - p2*q14 + 1/3*p2*q29 - 1/3*p3*q17 - 1/3*p3*q18 + 1/3*p3*
q22 - 1/3*p3*q25 + 2/3*p3*q26 + 2/3*p3*q28 + 1/3*p3*q45 - 1/3*p3*q46),
p1*q21 + 2*p1*q42 + p2*q15 + p2*q20 + 4*p2*q40 - p3*q10 - 2*p3*q24 + p3*q27 + 2*
p3*q31 - p3*q44 - p3*q9 - 2*p4*q11,
2*(p1*q38 + 1/2*p2*q39 + 3*p2*q42 - 1/2*p3*q11 + 1/2*p3*q18 - 1/2*p3*q22 - p3*
q26 - 1/2*p3*q32 + 1/2*p3*q46 - 1/2*p3*q6 - 1/2*p3*q8 - p4*q27),
p1*q38 + 6*p1*q43 + 2*p2*q39 - p3*q11 - p3*q17 - p3*q25 + 2*p3*q28 - p3*q32 - p3
*q46 - p3*q6 - p3*q8 - 2*p4*q27,
2*(p1*q37 + 2*p1*q40 + 1/2*p2*q39 + p2*q42 - p3*q11 + 1/2*p3*q18 - 1/2*p3*q22 +
p3*q26 + 1/2*p3*q32 + 1/2*p3*q45 - 1/2*p3*q6 - 2*p4*q31),
6*(p1*q14 + 1/3*p1*q29 + 1/3*p1*q39 + 1/6*p3*q16 + 1/6*p3*q19 - 1/3*p3*q24 - 1/6
*p3*q27 - 1/3*p3*q31 - 1/6*p3*q47 - 1/3*p3*q5 - 1/3*p3*q9 - 1/3*p4*q18),
p1*q14 - p1*q21 - 4*p1*q41 - p2*q20 + 2*p2*q43 - p3*q10 - 2*p3*q23 - p3*q27 + 2*
p3*q33 - p3*q44 - p3*q9 + 2*p4*q8,
3*(p1*q15 + 2/3*p1*q30 + p2*q14 + 2/3*p2*q39 - 2/3*p3*q11 - 2/3*p3*q18 - 1/3*p3*
q22 - 1/3*p3*q25 + 2/3*p3*q26 - 1/3*p3*q32 - 1/3*p3*q45 - 1/3*p3*q6 - 2/3*p4*q16
),
3*(p1*q15 + 2/3*p1*q38 + p2*q14 + 2/3*p2*q29 + 2/3*p3*q17 - 1/3*p3*q22 - 1/3*p3*
q25 - 2/3*p3*q28 - 1/3*p3*q32 + 1/3*p3*q45 - 1/3*p3*q6 - 2/3*p3*q8 - 2/3*p4*q19)
,
p1*q38 + 6*p2*q21 + 2*p2*q35 + 3*p2*q36 + 2*p3*q17 - p3*q22 - p3*q25 + 2*p3*q28
+ p3*q32 - p3*q45 - p3*q6 - 2*p4*q10 - 2*p4*q23 - 4*p4*q7,
p1*q36 - 2*p1*q42 + p2*q37 + p2*q38 + 4*p2*q40 - p3*q10 + p3*q16 + p3*q24 + p3*
q27 - 2*p3*q31 + p3*q44 - 2*p3*q7 + p3*q9 - 2*p4*q32,
p1*q36 - p1*q39 + 4*p1*q41 + p2*q37 + 2*p2*q43 - p3*q10 + p3*q19 - p3*q23 + p3*
q27 + 2*p3*q33 - p3*q44 + 2*p3*q5 + p3*q9 - 2*p4*q32,
2*(p1*q30 + 2*p1*q38 + p2*q29 + 2*p2*q39 - 1/2*p3*q17 + 1/2*p3*q18 - 3/2*p3*q22
- 3/2*p3*q25 - p3*q26 + p3*q28 - p3*q6 - p4*q16 - p4*q19 - p4*q27),
6*(p1*q20 + 1/3*p1*q34 + 1/2*p1*q37 - 1/6*p2*q39 + 1/3*p3*q18 + 1/6*p3*q22 + 1/6
*p3*q25 + 1/3*p3*q26 - 1/6*p3*q32 - 1/6*p3*q45 + 1/6*p3*q6 - 1/3*p4*q24 - 2/3*p4
*q5 - 1/3*p4*q9),
3*(p1*q15 - 1/3*p1*q38 - p2*q14 + 1/3*p2*q39 + 1/3*p3*q11 - 1/3*p3*q17 - 1/3*p3*
q18 + 1/3*p3*q22 - 1/3*p3*q25 + 2/3*p3*q26 + 2/3*p3*q28 + 1/3*p3*q45 - 1/3*p3*
q46 - 1/3*p3*q8 + 2/3*p4*q47),
3*(p1*q21 + 2/3*p1*q35 + 1/3*p1*q39 + p2*q20 + p2*q37 + 1/3*p3*q16 + 1/3*p3*q19
- 2/3*p3*q24 + 1/3*p3*q27 + 2/3*p3*q31 + 1/3*p3*q47 - 2/3*p3*q5 - 2/3*p4*q11 - 2
/3*p4*q22 - 2/3*p4*q6),
3*(p1*q21 + p1*q36 + p2*q20 + 2/3*p2*q34 - 1/3*p2*q38 + 1/3*p3*q16 + 1/3*p3*q19
+ 2/3*p3*q23 + 1/3*p3*q27 - 2/3*p3*q33 - 1/3*p3*q47 + 2/3*p3*q7 - 2/3*p4*q25 - 2
/3*p4*q6 - 2/3*p4*q8),
2*(p1*q14 + 1/2*p1*q21 - 1/2*p1*q36 + p2*q15 - 1/2*p2*q20 + 1/2*p2*q37 - 1/2*p3*
q10 - 1/2*p3*q16 + 1/2*p3*q19 - 1/2*p3*q23 - 1/2*p3*q24 + p3*q31 + p3*q33 - 1/2*
p3*q44 - 1/2*p3*q47 - 1/2*p3*q9 + p4*q45),
2*(p1*q35 + 3/2*p1*q36 - 1/2*p1*q39 + p2*q34 + 3/2*p2*q37 + 1/2*p2*q38 + 3/2*p3*
q16 + 3/2*p3*q19 - 1/2*p3*q23 + 1/2*p3*q24 - p3*q31 + p3*q33 + p3*q5 - p3*q7 -
p4*q22 - p4*q25 - p4*q32),
3*(p1*q21 + 1/3*p1*q29 - 2/3*p1*q35 - p2*q20 + 1/3*p2*q30 + 2/3*p2*q34 - 1/3*p3*
q16 + 1/3*p3*q19 - 1/3*p3*q23 - 1/3*p3*q24 + 2/3*p3*q31 + 2/3*p3*q33 + 1/3*p3*
q44 + 1/3*p3*q47 - 2/3*p3*q5 - 2/3*p3*q7 + 2/3*p4*q45 - 2/3*p4*q46)
Computing time
On a Pentium 4 PC with 1.7GHz running REDUCE 3.7 with 120 MB RAM
under Linux it took 3509 sec.