N=1, # of fermion fields: 1, # of boson fields: 0
weight(t)=11, weight(s)=14, fermion weights={2}, boson weights={}
Problem | Unknowns |
Inequalities | Equations |
Solution 1 |
Computing time |
Back to overview
Problem
Find equations
2
f := Df *f*p1 + Df *f *p4 + Df *f *p5 + Df *(Df) *f*p2 + Df *f *p6
t 4x 3x x 2x 2x x x 3x
3
+ (Df) *f *p3 + Df*f *p7
x 4x
with symmetries
2
f := Df *Df*f*q4 + Df *Df *f*q3 + Df *Df*f *q7 + (Df ) *f*q2
s 4x 3x x 3x x 2x
2 3
+ Df *Df *f *q6 + Df *Df*f *q8 + (Df ) *f *q9 + Df *(Df) *f*q1
2x x x 2x 2x x 2x x
4 2
+ Df *Df*f *q10 + (Df) *f *q5 + (Df) *f *q11 + f *q14 + f *f *f*q12
x 3x x 4x 7x 4x x
+ f *f *f*q13
3x 2x
Unknowns
All solutions for the following 21 unknowns have to be determined:
p1,p2,p3,p4,p5,p6,p7,q1,q2,q3,q4,q5,q6,q7,q8,q9,q10,q11,q12,q13,q14
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.
{q14,q13,q12,q11,q10,q9,q8,q7,q6,q5,q4,q3,q2,q1}
{p7,p6,p5,p4,p3,p2,p1}
Equations
All comma separated 100 expressions involving 1125 terms have to vanish.
p7*q14,
p1*q14,
q14*(p6 + 3*p7),
3*q14*(p1 + 1/3*p4),
21*(p3*q14 - 4/21*p7*q11),
q14*(p5 + 3*p6 + 5*p7),
5*q14*(p1 + 3/5*p4 + 1/5*p5),
4*(p2*q5 - 3/4*p3*q1),
q14*(p4 + 3*p5 + 5*p6 + 5*p7),
5*q14*(p1 + p4 + 3/5*p5 + 1/5*p6),
q14*(p1 + 3*p4 + 5*p5 + 5*p6 + 3*p7),
3*q14*(p1 + 5/3*p4 + 5/3*p5 + p6 + 1/3*p7),
2*(p2*q11 + 6*p3*q11 - 1/2*p7*q1 - 8*p7*q5),
2*(p1*q11 - 1/2*p1*q12 - p1*q7 + p4*q4 - 1/2*p7*q4),
14*(p2*q14 + 9*p3*q14 - 3/7*p6*q11 - 1/14*p7*q10 - 6/7*p7*q11),
42*(p2*q14 + 5*p3*q14 - 1/14*p6*q10 - 1/7*p6*q11 + 1/21*p7*q9),
7*(p2*q14 + 9*p3*q14 + 4/7*p6*q11 - 4/7*p7*q10 - 6/7*p7*q11),
4*(p1*q11 + 1/4*p1*q7 + 7/4*p2*q14 - 1/4*p4*q4 - p7*q4),
8*(p1*q11 + 1/2*p1*q4 + 1/8*p1*q7 - 7/4*p2*q14 - 1/8*p4*q4),
630*(p2*q14 + p3*q14 - 1/630*p5*q2 - 2/315*p5*q6 - 1/630*p5*q8 - 2/315*p5*q9),
12*(p1*q1 + p1*q5 - 1/4*p2*q3 - 1/12*p2*q9 - 1/4*p3*q3 + 1/4*p6*q1),
p2*q10 + 4*p2*q11 + 18*p3*q11 - p6*q1 - 4*p7*q1 - 24*p7*q5,
6*(p2*q11 + 1/6*p2*q8 + 2*p3*q11 - 1/6*p5*q1 - p7*q1 - 8/3*p7*q5),
4*(p1*q5 + p2*q11 + 1/4*p2*q7 - 3/4*p3*q4 - 1/4*p4*q1 - p7*q1),
21*(p2*q14 + 5*p3*q14 + 4/21*p5*q11 + 2/7*p6*q11 - 2/7*p7*q10 - 4/21*p7*q11 - 4/
21*p7*q8),
126*(p2*q14 + 5*p3*q14 - 2/63*p5*q11 - 1/21*p6*q11 - 5/42*p7*q10 - 4/21*p7*q11 -
1/63*p7*q8 - 4/63*p7*q9),
420*(p2*q14 + 3*p3*q14 - 1/210*p5*q10 - 1/210*p5*q11 - 3/140*p6*q10 - 1/70*p6*
q11 - 1/140*p6*q8 - 1/105*p6*q9),
6*(p1*q11 + 1/6*p1*q8 + 7/2*p2*q14 + 7/2*p3*q14 + 2/3*p4*q11 - 1/6*p5*q4 - p7*q4
- 2/3*p7*q7),
p2*q10 + 2*p2*q11 + 3*p3*q10 + 9*p3*q11 - p6*q1 - 4*p6*q5 - 3*p7*q1 - 18*p7*q5,
16*(p1*q1 + 5/4*p1*q5 - 3/8*p2*q11 - 3/4*p2*q4 + 1/16*p2*q7 - 15/16*p3*q4 - 1/16
*p4*q1 + 11/16*p7*q1),
700*(p2*q14 + 9/5*p3*q14 + 1/350*p5*q9 - 1/175*p6*q10 - 1/700*p6*q3 - 1/175*p6*
q6 - 1/175*p6*q7 - 3/350*p6*q8 - 3/350*p6*q9),
7*(p1*q13 + 4/7*p1*q3 + 6/7*p1*q4 + 1/7*p1*q6 - 1/7*p1*q8 - p4*q12 - 1/7*p4*q3 -
3/7*p4*q4 + 1/7*p5*q4),
3*(p1*q1 + 4/3*p1*q5 - 2/3*p2*q11 + 1/3*p2*q12 - p2*q4 + 2/3*p2*q7 - p3*q4 - 2/3
*p4*q1 + 1/3*p7*q1),
210*(p2*q14 + 3*p3*q14 - 1/105*p5*q10 + 1/105*p6*q8 - 2/35*p7*q10 - 1/35*p7*q11
- 1/210*p7*q2 - 2/105*p7*q6 - 1/35*p7*q8 - 2/35*p7*q9),
1050*(p2*q14 + 9/5*p3*q14 - 1/525*p5*q10 - 1/525*p5*q8 - 2/525*p5*q9 - 1/350*p6*
q10 - 1/1050*p6*q2 - 2/525*p6*q6 - 2/525*p6*q8 - 4/525*p6*q9),
2*(p1*q11 + 35/2*p2*q14 + 105/2*p3*q14 + 2*p4*q11 + 3*p5*q11 + 2*p6*q11 - 2*p7*
q10 - 1/2*p7*q4 - 2*p7*q7 - 3*p7*q8),
p1*q10 + 4*p1*q11 + 35*p2*q14 + 63*p3*q14 + 6*p4*q11 + 4*p5*q11 - p6*q4 - 4*p7*
q4 - 6*p7*q7 - 4*p7*q8,
4*(p1*q10 + 3*p1*q11 + 1/4*p1*q3 + 3*p1*q4 + 1/4*p1*q6 + p1*q7 - 14*p2*q14 - 1/4
*p4*q3 + 3/4*p6*q4 - 3/4*p7*q3),
30*(p1*q1 - 1/5*p2*q12 + 1/10*p2*q13 - 1/5*p2*q3 + 1/10*p2*q6 - 1/15*p2*q9 - 2/5
*p3*q12 + 1/10*p3*q13 - 2/5*p4*q1 + 1/10*p5*q1),
40*(p1*q1 + p1*q5 + 1/40*p2*q10 - 1/2*p2*q11 - 3/4*p2*q4 + 1/40*p2*q8 - 3/4*p3*
q4 - 1/40*p5*q1 - 1/40*p6*q1 + 3/4*p7*q1),
p1*q10 + 8*p1*q11 - 4*p1*q12 - p1*q13 - 4*p1*q7 - 2*p1*q8 + 4*p4*q4 + 2*p5*q4 -
p6*q4 - 4*p7*q12 - 4*p7*q4,
p1*q10 + 8*p1*q11 - p1*q3 - 12*p1*q4 - 2*p1*q6 - 4*p1*q7 - p4*q12 + 2*p4*q3 + 3*
p4*q4 + 4*p7*q12 - p7*q3,
280*(p2*q14 + 3*p3*q14 + 3/280*p5*q10 - 3/280*p6*q8 - 2/35*p7*q10 - 1/35*p7*q11
- 1/280*p7*q3 - 1/70*p7*q6 - 1/70*p7*q7 - 3/70*p7*q8 - 3/70*p7*q9),
4*(p1*q10 + 3*p1*q11 + p1*q3 + 3/2*p1*q4 + p1*q7 + 1/4*p1*q8 - 14*p2*q14 - p4*q4
- 1/4*p5*q4 - p6*q4 + p7*q3),
p2*q10 + 2*p2*q7 - 2*p2*q8 + 3*p3*q10 - 3*p3*q13 - 3*p3*q8 - 2*p4*q1 + 2*p5*q1 +
4*p5*q5 - p6*q1 - 4*p6*q5,
30*(p1*q1 - 3/10*p2*q10 + 1/30*p2*q13 - 1/15*p2*q3 - 2/3*p2*q4 + 1/30*p2*q6 + 3/
10*p2*q8 + 1/15*p2*q9 - 1/2*p3*q13 - 2/5*p5*q1 + 3/10*p6*q1),
45*(p1*q1 - 1/45*p2*q10 - 2/9*p2*q11 - 2/45*p2*q3 - 2/3*p2*q4 + 2/45*p2*q6 + 11/
45*p2*q7 - 4/15*p3*q12 - 1/15*p3*q3 - 1/3*p4*q1 + 2/15*p7*q1),
30*(p1*q1 - 1/5*p2*q12 + 2/15*p2*q13 - 2/3*p2*q4 + 1/30*p2*q6 + 3/10*p2*q7 - 1/
10*p2*q8 - 2/5*p3*q12 - 1/10*p3*q3 - 2/5*p4*q1 + 1/10*p5*q1),
2*(p1*q10 + 2*p1*q11 - 3/2*p1*q12 - p1*q13 - 3/2*p1*q7 - p1*q8 + 3/2*p4*q4 + p5*
q4 - p6*q4 - 2*p7*q12 - p7*q13 - p7*q4),
2*(p1*q10 + 6*p1*q11 - 3*p1*q12 - 3/2*p1*q13 - 3*p1*q7 - 3/2*p1*q8 + 3*p4*q4 + 3
/2*p5*q4 - p6*q4 - 3*p7*q12 - 2*p7*q13 - 3*p7*q4),
420*(p2*q14 + p3*q14 - 1/420*p5*q10 - 1/210*p5*q2 - 1/420*p5*q3 + 1/420*p6*q8 -
1/35*p7*q2 - 1/70*p7*q3 - 1/35*p7*q6 - 1/105*p7*q7 - 1/105*p7*q8 - 1/70*p7*q9),
10*(p1*q10 + 2*p1*q2 + p1*q3 + 3*p1*q6 + p1*q7 + 2*p1*q8 + 3*p1*q9 - 56*p2*q14 -
1/5*p5*q2 - 1/10*p5*q3 - 1/5*p6*q2 - 1/10*p6*q3),
3*(p1*q10 + 1/3*p1*q6 + p1*q7 + 98/3*p2*q14 + 14*p3*q14 - 2*p4*q11 - 1/3*p4*q3 -
2*p4*q4 - p6*q4 - 4/3*p7*q3 - 4*p7*q4 - 1/3*p7*q7),
5*(p1*q1 - 1/5*p2*q10 - 4/5*p2*q11 + 1/5*p2*q12 + 1/5*p2*q13 - p2*q4 + 1/5*p2*q7
+ 2/5*p2*q8 - 1/5*p4*q1 - 2/5*p5*q1 + 1/5*p6*q1 + 2/5*p7*q1),
60*(p1*q1 - 1/20*p2*q10 - 1/15*p2*q12 - 1/30*p2*q13 - 2/15*p2*q3 - 1/3*p2*q4 + 1
/15*p2*q6 + 1/10*p2*q7 - 3/10*p3*q12 - 1/20*p3*q13 - 3/10*p4*q1 + 1/20*p6*q1),
24*(p2*q11 + 1/24*p2*q6 + 3/8*p2*q7 + 1/12*p2*q8 + 3/4*p3*q11 - 1/8*p3*q2 + 3/8*
p3*q7 - 1/2*p4*q1 - 1/2*p4*q5 - 1/12*p5*q1 - 3/2*p7*q1 - 3/2*p7*q5),
3*(p2*q10 + 32/3*p2*q11 + 1/3*p2*q6 + 13/3*p2*q7 + 8*p3*q11 - p3*q3 + 4*p3*q7 -
16/3*p4*q1 - 16/3*p4*q5 - p6*q1 - 16*p7*q1 - 16*p7*q5),
120*(p1*q1 + p1*q5 - 1/24*p2*q10 - 1/6*p2*q11 - 1/10*p2*q3 - 1/2*p2*q4 + 1/120*
p2*q6 + 1/120*p2*q7 - 1/8*p3*q3 - 1/2*p3*q4 + 3/40*p6*q1 + 1/2*p7*q1),
700*(p2*q14 + 9/5*p3*q14 + 1/700*p5*q10 - 1/350*p6*q2 - 1/700*p6*q3 - 1/700*p6*
q8 - 1/70*p7*q10 - 2/175*p7*q2 - 1/175*p7*q3 - 9/350*p7*q6 - 3/350*p7*q7 - 4/175
*p7*q8 - 6/175*p7*q9),
1470*(p2*q14 + 3/7*p3*q14 - 1/490*p4*q10 - 1/210*p4*q2 - 1/490*p4*q3 - 2/245*p4*
q6 - 1/490*p4*q7 - 1/210*p4*q8 - 2/245*p4*q9 - 2/735*p5*q2 - 1/735*p5*q3 - 1/
1470*p5*q6 + 1/1470*p6*q6),
980*(p2*q14 + 3/7*p3*q14 - 1/245*p4*q10 - 3/490*p4*q2 - 1/245*p4*q3 - 3/490*p4*
q6 - 1/245*p4*q7 - 3/490*p4*q8 - 3/490*p4*q9 + 1/490*p5*q6 - 3/490*p6*q2 - 3/980
*p6*q3 - 1/490*p6*q6),
4*(p1*q10 + 1/2*p1*q11 + 3/2*p1*q2 + p1*q3 + p1*q7 + 3/2*p1*q8 - 35/2*p2*q14 -
p4*q4 - 3/2*p5*q4 - p6*q4 + 3/2*p7*q2 + p7*q3 - 1/4*p7*q4),
2*(p1*q6 + p1*q9 + 147*p2*q14 + 63*p3*q14 - 3/2*p4*q10 - 3*p4*q11 - 3/2*p4*q3 -
3*p4*q4 - 3/2*p4*q7 - 3/2*p6*q3 - 3*p6*q4 - 3/2*p6*q7 + p7*q6),
7*(p1*q10 + 8/7*p1*q11 + 8/7*p1*q2 + 6/7*p1*q3 + 4/7*p1*q4 + 6/7*p1*q7 + 8/7*p1*
q8 - 16*p2*q14 - 6/7*p4*q4 - 8/7*p5*q4 - p6*q4 + 8/7*p7*q2 + 6/7*p7*q3),
60*(p1*q1 - 1/20*p2*q10 - 1/15*p2*q12 - 1/20*p2*q13 - 1/30*p2*q2 - 2/3*p2*q4 + 1
/20*p2*q6 + 1/5*p2*q7 - 1/60*p2*q8 - 3/10*p3*q12 - 1/10*p3*q2 - 3/10*p4*q1 + 1/
20*p6*q1),
3*(p2*q10 + 12*p2*q11 + 10/3*p2*q8 + 2/3*p2*q9 + 3*p3*q10 + 24*p3*q11 + 5*p3*q8
- 4*p5*q1 - 20/3*p5*q5 - p6*q1 - 4*p6*q5 - 18*p7*q1 - 48*p7*q5),
p4*q10 - p4*q8 - 4*p5*q11 + p5*q12 + p5*q13 + p5*q7 + 4*p6*q11 - p6*q12 - p6*q13
- p6*q7 - 2*p7*q10 + 2*p7*q12 + 3*p7*q13 + 2*p7*q8,
2*(p2*q10 + 2*p2*q11 + p2*q8 + p2*q9 + 3*p3*q10 + 4*p3*q11 + p3*q8 + 2*p3*q9 - 2
*p5*q1 - 2*p5*q5 - 3/2*p6*q1 - 6*p6*q5 - 6*p7*q1 - 16*p7*q5),
3*(p2*q10 + p2*q6 + p2*q7 + 2/3*p2*q9 + p3*q10 + p3*q6 + p3*q7 + p3*q9 - 4*p4*q1
- 4*p4*q5 - 3*p6*q1 - 4*p6*q5 - 4*p7*q1 - 4*p7*q5),
90*(p1*q1 - 1/5*p2*q12 + 1/10*p2*q13 - 1/15*p2*q2 - 1/15*p2*q3 - 1/3*p2*q4 + 1/
15*p2*q6 + 2/15*p2*q7 - 1/18*p2*q8 - 1/45*p2*q9 - 2/5*p3*q12 + 1/10*p3*q13 - 2/5
*p4*q1 + 1/10*p5*q1),
120*(p1*q1 + p1*q5 - 1/20*p2*q10 - 1/20*p2*q2 - 3/20*p2*q3 - 1/4*p2*q4 - 1/120*
p2*q8 - 1/60*p2*q9 - 1/20*p3*q2 - 3/20*p3*q3 - 1/4*p3*q4 + 1/40*p5*q1 + 3/20*p6*
q1 + 1/4*p7*q1),
14*(p1*q10 + 6/7*p1*q11 - 1/7*p1*q12 - 3/14*p1*q13 - 3/7*p1*q2 - 2/7*p1*q3 - 5/7
*p1*q6 - 3/7*p1*q7 - 2/7*p1*q8 + 1/7*p4*q2 - 1/7*p5*q13 + 1/7*p5*q2 - 3/14*p6*
q13 + 1/14*p6*q3 - 2/7*p7*q2),
2520*(p2*q14 + p3*q14 - 1/840*p5*q10 - 1/630*p5*q2 - 1/840*p5*q3 - 1/360*p5*q6 -
1/504*p5*q7 - 1/420*p5*q8 - 1/630*p5*q9 - 1/420*p6*q2 - 1/840*p6*q3 - 1/280*p6*
q6 - 1/840*p6*q7 - 1/840*p6*q8 - 1/630*p6*q9),
12*(p1*q10 + 1/2*p1*q11 + 11/12*p1*q2 + p1*q3 + 1/2*p1*q4 + 5/3*p1*q6 + p1*q7 +
13/12*p1*q8 + 5/3*p1*q9 - 35*p2*q14 - 1/3*p4*q2 - 1/6*p5*q2 + 1/6*p5*q3 - 1/3*p6
*q2 - 1/6*p7*q2),
21*(p1*q10 + 8/21*p1*q11 + 8/7*p1*q2 + 19/21*p1*q3 + 8/21*p1*q4 + 20/21*p1*q6 +
p1*q7 + 8/7*p1*q8 + 20/21*p1*q9 - 80/3*p2*q14 - 4/21*p4*q3 - 2/7*p5*q3 + 2/7*p6*
q2 - 1/21*p6*q3 - 2/21*p7*q3),
p1*q10 - 4*p1*q12 - 6*p1*q13 - 8*p1*q2 - 12*p1*q3 - 8*p1*q4 - 5*p1*q6 + 4*p1*q8
+ 9*p4*q12 + 3*p4*q13 + 2*p4*q2 + 3*p4*q3 + 3*p4*q4 + 4*p5*q12 - p6*q4,
4*(p4*q10 - 3/2*p4*q2 - 1/2*p4*q3 - 3/2*p4*q6 + 1/2*p4*q8 - 1/4*p5*q10 + p5*q2 +
1/2*p5*q3 + 3/4*p5*q6 + 1/4*p5*q7 - 1/2*p5*q8 - 1/4*p6*q13 - 1/4*p6*q3 - 1/4*p6
*q6 - 1/4*p6*q7 + 1/4*p6*q8),
16*(p1*q10 + 1/2*p1*q11 + 1/8*p1*q12 + 3/16*p1*q13 - 3/2*p1*q2 - 11/16*p1*q3 - 5
/4*p1*q6 - 1/4*p1*q7 + 1/4*p1*q8 + 1/16*p4*q3 + 1/8*p5*q13 + 1/4*p5*q2 + 3/16*p5
*q3 + 3/16*p6*q13 - 1/16*p6*q3 - 1/8*p7*q3),
4*(p1*q10 + 1/2*p1*q11 + 1/2*p1*q12 - 6*p1*q2 - 4*p1*q3 - 3/4*p1*q4 - 5/2*p1*q6
- 1/4*p1*q7 + 3/2*p1*q8 + 5/4*p4*q12 + 3/2*p4*q2 + p4*q3 + 1/2*p4*q4 + 3/2*p5*
q12 + p6*q12 - 1/2*p7*q4),
2*(p1*q9 + 315*p2*q14 + 315*p3*q14 + 2*p4*q9 - p5*q10 - p5*q11 - p5*q3 - p5*q4 -
1/2*p5*q6 - p5*q7 - 3/2*p6*q3 - 3/2*p6*q4 - 3/2*p6*q6 - 3*p6*q7 - 3/2*p6*q8 +
p7*q9),
2*(p1*q7 + 245*p2*q14 + 105*p3*q14 - 2*p4*q10 - p4*q11 - 3*p4*q2 - 2*p4*q3 - p4*
q4 - 3*p4*q8 + 3*p5*q7 + 2*p6*q7 - 12*p7*q2 - 8*p7*q3 - 2*p7*q4 - 5*p7*q6 - 3/2*
p7*q7),
180*(p1*q1 + p1*q5 - 1/30*p2*q10 - 1/6*p2*q11 - 1/12*p2*q2 - 1/20*p2*q3 - 1/2*p2
*q4 + 1/180*p2*q6 - 1/60*p2*q8 + 1/90*p2*q9 - 1/10*p3*q2 - 1/20*p3*q3 - 1/2*p3*
q4 + 1/30*p5*q1 + 1/20*p6*q1 + 1/2*p7*q1),
p1*q10 - p1*q7 - p4*q10 - 6*p4*q11 + 3*p4*q12 + 2*p4*q13 + p4*q4 + 2*p4*q8 - 2*
p5*q7 + 2*p6*q11 - p6*q12 - p6*q4 + p6*q7 - p7*q10 + 8*p7*q12 + 8*p7*q13 + 3*p7*
q7,
3*(p1*q7 - 2/3*p1*q8 + 1/3*p4*q10 + 2*p4*q11 - p4*q12 - 1/3*p4*q13 - p4*q4 - 2/3
*p4*q8 - 2/3*p5*q11 + 1/3*p5*q12 + 2/3*p5*q4 + 2/3*p5*q7 - 1/3*p6*q7 - 2*p7*q12
- 4/3*p7*q13 - p7*q7 + 1/3*p7*q8),
4*(p4*q10 + 3/2*p4*q11 - 1/2*p4*q12 - 3/4*p4*q13 - 1/4*p4*q3 - 1/4*p4*q6 - 3/4*
p4*q7 - 3/4*p4*q8 + 1/4*p5*q6 - 1/4*p6*q10 - 1/2*p6*q11 - 3/4*p6*q12 - 3/4*p6*
q13 + 1/4*p6*q3 + 1/4*p6*q7 + 1/2*p7*q10 - 1/2*p7*q6),
12*(p1*q10 + 2*p1*q11 - 2/3*p1*q12 - 2/3*p1*q13 - 1/4*p1*q3 - 1/3*p1*q4 - 5/12*
p1*q6 - p1*q7 - 2/3*p1*q8 + 1/4*p4*q3 + 1/6*p5*q3 - 1/3*p6*q12 - 1/4*p6*q13 - 1/
12*p6*q3 + 1/12*p6*q4 - 1/6*p7*q13 - 1/4*p7*q3),
5*(p1*q10 - 2/5*p1*q12 - 1/5*p1*q13 - 12/5*p1*q2 - 8/5*p1*q3 - 2/5*p1*q4 - 2*p1*
q6 + p1*q8 + p4*q13 + 1/5*p5*q12 + p5*q13 + 2/5*p5*q2 + 2/5*p5*q3 + 2/5*p5*q4 -
1/5*p6*q12 - 1/5*p6*q3 - 2/5*p6*q4),
2*(p1*q10 + 175*p2*q14 + 315*p3*q14 + 2*p4*q10 + 3/2*p5*q10 - p6*q11 - 1/2*p6*q3
- p6*q4 - 2*p6*q7 - 3/2*p6*q8 - 3/2*p7*q10 - 2*p7*q3 - 2*p7*q4 - 3*p7*q6 - 6*p7
*q7 - 6*p7*q8 - 4*p7*q9),
18*(p1*q10 + 4/3*p1*q11 + 2/9*p1*q2 + 5/6*p1*q3 + 4/3*p1*q4 + 1/2*p1*q6 + p1*q7
+ 4/9*p1*q8 + 5/9*p1*q9 - 56/3*p2*q14 - 1/9*p4*q2 - 1/6*p4*q3 - 1/18*p5*q3 + 1/9
*p5*q4 + 1/6*p6*q4 - 2/9*p7*q2 - 1/6*p7*q3),
8*(p1*q10 + 3*p1*q11 - 3/4*p1*q12 - 1/2*p1*q13 - 3/8*p1*q3 - 3/2*p1*q4 - 1/2*p1*
q6 - 3/2*p1*q7 - 1/2*p1*q8 - 1/4*p1*q9 + 3/8*p4*q3 - 1/8*p5*q12 + 1/4*p5*q3 + 1/
4*p5*q4 - 3/8*p6*q12 - 1/8*p6*q3 + 3/8*p7*q13 - 3/8*p7*q3),
18*(p1*q10 + 4/3*p1*q11 - 5/9*p1*q2 - 2/3*p1*q3 - 1/3*p1*q4 - 5/6*p1*q6 - 2/3*p1
*q7 - 2/9*p1*q8 + 2/9*p4*q2 - 2/9*p5*q12 - 1/18*p5*q13 + 2/9*p5*q2 + 1/9*p5*q3 +
1/18*p5*q4 + 1/6*p6*q13 - 1/9*p6*q2 + 1/6*p7*q13 - 2/9*p7*q2),
4*(p1*q10 + 3*p1*q11 + 3/2*p1*q12 + p1*q13 - p1*q2 - 3*p1*q3 - 3*p1*q4 - 3/2*p1*
q6 - 3/2*p1*q7 + 1/4*p1*q8 - 3/4*p4*q12 - 1/4*p4*q13 + p4*q2 + 3/4*p4*q3 + 3/4*
p4*q4 + p6*q12 + 3/2*p7*q12 - 1/2*p7*q2),
2*(p1*q8 + 315*p2*q14 + 315*p3*q14 + 2*p4*q8 - p5*q10 - p5*q11 - p5*q2 - p5*q3 -
p5*q4 - 2*p5*q7 + p6*q8 - 6*p7*q2 - 6*p7*q3 - 3*p7*q4 - 8*p7*q6 - 6*p7*q7 - 5/2
*p7*q8 - 4*p7*q9),
3*(p1*q10 + 2/3*p1*q8 + 2/3*p1*q9 + 84*p2*q14 + 84*p3*q14 + p4*q10 + 1/3*p4*q8 -
4/3*p5*q11 - 1/3*p5*q3 - 4/3*p5*q4 - 1/3*p5*q7 - p6*q4 - p6*q7 - 2*p7*q3 - 4*p7
*q4 - 4/3*p7*q6 - 4*p7*q7 - 2/3*p7*q8),
9*(p4*q10 + 2/3*p4*q11 - 2/3*p4*q2 - 1/3*p4*q3 - 7/9*p4*q6 - 1/3*p4*q7 - 2/9*p4*
q8 - 2/9*p5*q10 - 2/9*p5*q11 - 1/3*p5*q12 - 4/9*p5*q13 + 4/9*p5*q2 + 2/9*p5*q3 +
4/9*p5*q6 + 1/9*p5*q7 - 1/9*p5*q8 - 1/9*p6*q6 - 2/9*p7*q6 + 2/9*p7*q8),
6*(p1*q10 + 4/3*p1*q11 + 4/3*p1*q12 + 4/3*p1*q13 - 4*p1*q2 - 5/2*p1*q3 - 2/3*p1*
q4 - 5/3*p1*q6 - 5/6*p1*q7 + 2/3*p1*q8 - 1/2*p4*q12 - 1/3*p4*q13 + p4*q2 + 5/6*
p4*q3 + 1/6*p4*q4 + 2/3*p5*q12 + p6*q12 + 2/3*p7*q12 - 1/6*p7*q3),
p1*q6 + 3*p1*q7 + 2*p1*q8 + 294*p2*q14 + 126*p3*q14 - 3*p4*q10 - 6*p4*q11 - 2*p4
*q2 - 3*p4*q3 - 6*p4*q4 - p4*q8 - 2*p5*q4 + p5*q7 + 3*p6*q7 - 8*p7*q2 - 12*p7*q3
- 12*p7*q4 - 4*p7*q6 - 3*p7*q7,
18*(p2*q10 + 8/3*p2*q11 + 2/3*p2*q6 + 2*p2*q7 + 2/9*p2*q8 + 1/9*p2*q9 + p3*q10 +
2*p3*q11 + 2/3*p3*q6 + 2*p3*q7 + 1/3*p3*q8 - 4*p4*q1 - 4*p4*q5 - 1/3*p5*q1 - 2/
3*p5*q5 - 3/2*p6*q1 - 2*p6*q5 - 8*p7*q1 - 8*p7*q5),
2*(p1*q6 + 735*p2*q14 + 315*p3*q14 - 9/2*p4*q10 - 3*p4*q11 - 3*p4*q2 - 9/2*p4*q3
- 3*p4*q4 - 2*p4*q6 - 9/2*p4*q7 - 3*p4*q8 - 4*p4*q9 - p5*q3 - p5*q4 + 1/2*p5*q6
- p5*q7 - 3*p6*q2 - 3*p6*q3 - 3/2*p6*q4 - 1/2*p6*q6 - 3/2*p6*q7 + p7*q6),
p1*q6 - 2*p1*q9 + 6*p4*q10 + 12*p4*q11 - 3*p4*q12 - 3*p4*q13 - 3*p4*q3 - 3*p4*q4
- p4*q6 - 6*p4*q7 - 3*p4*q8 - 2*p4*q9 - p5*q10 - 4*p5*q11 + 2*p5*q3 + 2*p5*q4 +
2*p5*q6 + 2*p5*q7 - 3*p6*q12 - 3*p6*q13 - p6*q6 - 2*p7*q6 + 2*p7*q9
Computing time
On a Pentium 4 PC with 1.7GHz running REDUCE 3.7 with 120 MB RAM
under Linux it took 1258 sec.