N=1,   1 fermion field,   t-weights=3+6,   f-weight=1/2


Problem |Unknowns | Inequalities | Equations | Solution 1 | Solution 2 | Solution 3 | Solution 4 | Solution 5 | Computing time | Back to overview

Problem

Find systems
                                             3            2
f =Df  *f*p1 + Df *Df*f*p2 + Df *f *p5 + (Df) *f*p3 + (Df) *f *p4 + Df*f  *p6
 t   2x          x             x  x                          x          2x

 + f  *p7
    3x
with symmetries
                                                                     2
f =Df  *f*q1 + Df  *Df*f*q2 + Df  *f *q18 + Df  *Df *f*q4 + Df  *(Df) *f*q3
 s   5x          4x             4x  x         3x   x          3x

                                         2
 + Df  *Df*f *q17 + Df  *f  *q21 + (Df  ) *f*q5 + Df  *Df *Df*f*q7
     3x     x         3x  2x          2x            2x   x

                              3                 2
 + Df  *Df *f *q15 + Df  *(Df) *f*q6 + Df  *(Df) *f *q16 + Df  *Df*f  *q22
     2x   x  x         2x                2x        x         2x     2x

                       3             2     2              2
 + Df  *f  *q29 + (Df ) *f*q8 + (Df ) *(Df) *f*q10 + (Df ) *Df*f *q13
     2x  3x          x             x                    x       x

        2                   4                3                  2
 + (Df ) *f  *q23 + Df *(Df) *f*q9 + Df *(Df) *f *q14 + Df *(Df) *f  *q24
      x    2x         x                x        x         x        2x

                                                         6             5
 + Df *Df*f  *q28 + Df *f  *q30 + Df *f  *f *f*q19 + (Df) *f*q11 + (Df) *f *q12
     x     3x         x  4x         x  2x  x                              x

       4               3               2               2
 + (Df) *f  *q25 + (Df) *f  *q27 + (Df) *f  *q31 + (Df) *f  *f *f*q20
          2x              3x              4x              2x  x

 + Df*f  *q32 + Df*f  *f *f*q26 + f  *q35 + f  *f *f*q33 + f  *f  *f*q34
       5x           3x  x          6x        4x  x          3x  2x

Unknowns

All solutions for the following 42 unknowns have to be determined:
p1,..,p7,q1,..,q35

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.
{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,p6,p5,p4,p3,p2,p1}
{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}
{p7,p6,p5,p4,p3,p2,p1}

Equations

All comma separated 123 expressions involving 1495 terms have to vanish.
p3*q32,
p3*q31,
p3*q27,
p3*q11,
p3*q3,
p3*q2,
p3*q1,
4*(p3*q25 - 1/4*p6*q11),
5*(p3*q12 - 2/5*p4*q11),
2*(p6*q35 - 1/2*p7*q32),
2*(p2*q11 - 5/2*p3*q9),
p1*q11 - 4*p3*q6,
2*(p1*q35 - 1/2*p7*q1),
4*(p4*q35 + 1/4*p6*q32 - 1/2*p7*q31),
p2*q32 + 18*p3*q35 + 10*p4*q32 - 9*p7*q27,
2*(p5*q35 + 5/2*p6*q35 - 1/2*p7*q30 - 1/2*p7*q32),
5*(p1*q35 + 2/5*p5*q35 - 1/5*p7*q1 - 1/5*p7*q18),
3*(p1*q1 - 2/3*p1*q18 + 1/3*p1*q32 + 2/3*p5*q1 - 1/3*p6*q1),
6*(p2*q35 + 5*p4*q35 + 2/3*p6*q30 - 1/2*p7*q28 - p7*q31),
6*(p1*q35 + 5/2*p5*q35 + 10/3*p6*q35 - 1/2*p7*q29 - 1/2*p7*q30),
15*(p1*q35 + 4/3*p5*q35 + p6*q35 - 1/5*p7*q21 - 1/5*p7*q29),
20*(p1*q35 + 3/4*p5*q35 + 3/10*p6*q35 - 3/20*p7*q18 - 3/20*p7*q21),
2*(p2*q31 + 2*p3*q30 + 15/2*p3*q32 + 4*p4*q31 - 3/2*p6*q27 - 6*p7*q25),
3*(p2*q27 + 5/3*p3*q28 + 4*p3*q31 + 2*p4*q27 - 2*p6*q25 - 5*p7*q12),
5*(p2*q12 + 7/5*p3*q14 + 6/5*p3*q25 - 2/5*p4*q9 - 7/5*p5*q11 - 12/5*p6*q11),
p1*q18 + 5*p1*q32 + 6*p2*q35 - p5*q1 - 2*p6*q1 - 3*p7*q2,
4*(p2*q25 + 3/2*p3*q24 + 9/4*p3*q27 + p4*q25 - 5/2*p6*q12 - 1/4*p6*q9 - 9/2*p7*
q11),
42*(p1*q11 + 5/42*p2*q12 - 1/6*p3*q10 - 1/7*p3*q25 - 2/7*p3*q6 - 1/21*p4*q9 + 5/
7*p6*q11),
3*(p1*q1 - 1/3*p1*q18 - 2/3*p1*q32 + 2*p2*q35 + 1/3*p5*q1 + 5/3*p6*q1 - p7*q2),
9*(p1*q1 - 2/9*p1*q18 - 2/9*p1*q21 + 1/9*p1*q30 + 2/9*p1*q32 + 4/9*p5*q1 - 1/3*
p6*q1 - 1/3*p7*q33),
p1*q32 + 6*p2*q35 + 30*p4*q35 + 5*p5*q32 - 2*p6*q30 + 10*p6*q32 - 3*p7*q28 - 6*
p7*q31,
6*(p1*q11 + 5/6*p2*q12 + p3*q14 - 7/6*p3*q20 - 4*p3*q25 - 1/2*p3*q6 - 1/3*p4*q9 
- 2*p5*q11 + 2*p6*q11),
2*(p2*q30 + 5/2*p2*q32 + 45*p3*q35 + 5*p4*q30 + 10*p4*q32 + 1/2*p6*q28 - p6*q31 
- 3*p7*q24 - 9*p7*q27),
2*(p2*q29 + 2*p2*q30 + 60*p3*q35 + p4*q29 + 6*p4*q30 + p6*q23 - 3/2*p7*q13 - 3*
p7*q24 - 3*p7*q27),
5*(p1*q12 + 1/5*p2*q14 + 2/5*p2*q25 + 6/5*p3*q16 + 9/5*p3*q27 - 2/5*p4*q6 - 1/5*
p5*q9 - 2/5*p6*q9 - 18/5*p7*q11),
p1*q29 + 60*p2*q35 + 90*p4*q35 + 5*p5*q29 + 4*p6*q29 - 3*p7*q15 - 3*p7*q22 - 6*
p7*q23 - 3*p7*q28,
p1*q30 + 5*p1*q32 + 15*p2*q35 + 40*p4*q35 + 10*p5*q32 - 2*p6*q29 + 10*p6*q32 - 3
*p7*q22 - 3*p7*q28,
p1*q29 + 10*p1*q32 + 20*p2*q35 + 30*p4*q35 + 10*p5*q32 - 2*p6*q21 + 5*p6*q32 - 3
*p7*q17 - 3*p7*q22,
15*(p1*q1 - 2/15*p1*q21 - 1/5*p1*q29 - 1/15*p1*q30 + 7/3*p2*q35 + 4/3*p5*q1 + p6
*q1 - 1/5*p7*q4 - 2/5*p7*q5),
p1*q21 + 10*p1*q32 + 15*p2*q35 + 12*p4*q35 + 5*p5*q32 - p6*q1 - 2*p6*q18 - 3*p7*
q17 - 3*p7*q2,
p1*q17 + 4*p1*q31 + p2*q18 + 5*p2*q32 + 18*p3*q35 - 2*p4*q1 - p5*q2 - 2*p6*q2 - 
3*p7*q3,
9*(p1*q1 - 1/9*p1*q18 - 2/9*p1*q21 - 1/9*p1*q29 + 2/9*p1*q30 + 2/9*p1*q32 + 5/9*
p5*q1 - 5/9*p6*q1 - 1/3*p7*q33 - 1/9*p7*q34),
2*(p1*q17 - p1*q2 - p1*q31 - 1/2*p1*q33 - 2*p2*q1 + p2*q18 - 1/2*p2*q32 - p4*q1 
- p5*q2 + 1/2*p6*q2),
2*(p2*q15 + p2*q23 + 12*p3*q18 + 12*p3*q30 + p4*q15 + p4*q23 - 1/2*p5*q13 - 1/2*
p5*q8 - 3*p7*q10 - 3*p7*q14),
2*(p1*q31 + 1/2*p2*q30 + 5/2*p2*q32 + 45/2*p3*q35 + 10*p4*q32 + 2*p5*q31 - p6*
q28 + 3*p6*q31 - 3/2*p7*q24 - 9/2*p7*q27),
p1*q30 + 45*p2*q35 + 120*p4*q35 + 5*p5*q30 + 3*p6*q29 + 7*p6*q30 - 3*p7*q22 - 6*
p7*q23 - 9*p7*q28 - 6*p7*q31,
p1*q14 + 2*p1*q25 + p2*q16 + 3*p2*q27 + 5*p3*q17 + 12*p3*q31 - 2*p4*q3 - p5*q6 -
 2*p6*q6 - 3*p7*q9,
4*(p1*q18 + 1/2*p1*q21 + 15*p2*q35 + 5*p4*q35 + 3/2*p5*q18 - 1/4*p5*q29 + p6*q18
 - 3/4*p7*q15 - 3/4*p7*q4 - 3/2*p7*q5),
p1*q16 + 3*p1*q27 + p2*q17 + 4*p2*q31 + 4*p3*q18 + 15*p3*q32 - 2*p4*q2 - p5*q3 -
 2*p6*q3 - 3*p7*q6,
4*(p1*q18 + p1*q30 + 9*p2*q35 + 3*p4*q35 - 1/4*p5*q1 - 1/4*p5*q32 + p6*q18 - 3/4
*p7*q17 - 3/2*p7*q2 - 3/4*p7*q4),
p1*q17 + 4*p1*q31 - 10*p2*q1 + p2*q18 - 4*p2*q32 - 36*p3*q35 - 12*p4*q1 - p5*q2 
- 2*p6*q2 + 6*p7*q3,
10*(p1*q1 - 1/5*p1*q18 - 1/10*p1*q21 - 1/5*p1*q30 - 1/10*p1*q32 + 21/10*p2*q35 +
 p5*q1 + 11/10*p6*q1 - 3/10*p7*q2 - 3/10*p7*q4),
6*(p1*q18 - 1/2*p1*q21 + 1/3*p5*q18 - 1/3*p5*q21 + 1/6*p5*q30 + 1/3*p5*q32 - 1/3
*p6*q18 + 1/6*p6*q21 - 1/3*p6*q32 + 1/2*p7*q33 - 1/2*p7*q34),
3*(p2*q28 + 4/3*p2*q31 + 4*p3*q29 + 4*p3*q30 + 20*p3*q32 + 8/3*p4*q28 + 4*p4*q31
 - 2/3*p6*q24 - 2*p6*q27 - 3*p7*q14 - 12*p7*q25),
3*(p1*q27 + 1/3*p2*q28 + 4/3*p2*q31 + 4/3*p3*q29 + 10*p3*q32 + 4*p4*q31 + p5*q27
 - 2/3*p6*q24 + p6*q27 - p7*q14 - 4*p7*q25),
4*(p1*q25 + 1/4*p2*q24 + 3/4*p2*q27 + 5/4*p3*q22 + 9/2*p3*q31 + 3/2*p4*q27 + 1/2
*p5*q25 - 1/2*p6*q14 - 1/4*p6*q6 - 15/4*p7*q12 - 3/4*p7*q9),
p1*q28 + 4*p1*q31 + p2*q29 + 10*p2*q32 + 60*p3*q35 + 20*p4*q32 + 6*p5*q31 - 2*p6
*q22 + 4*p6*q31 - 3*p7*q16 - 3*p7*q24,
p1*q22 + 6*p1*q31 + p2*q21 + 10*p2*q32 + 45*p3*q35 + 10*p4*q32 + 4*p5*q31 - 2*p6
*q17 - p6*q2 - 3*p7*q16 - 3*p7*q3,
3*(p1*q18 - 2/3*p1*q29 + 1/3*p1*q30 + 2/3*p5*q18 - 1/3*p5*q21 - 1/3*p5*q29 + 2/3
*p5*q30 - 2/3*p6*q18 + 1/3*p6*q29 - 1/3*p6*q30 - 1/3*p7*q33 + p7*q34),
p1*q14 + p1*q20 + p2*q16 + p2*q24 - p2*q26 - 6*p2*q27 - 2*p2*q3 - 6*p3*q2 + 6*p3
*q22 - 6*p3*q28 - 5*p3*q34 - p5*q6,
3*(p1*q15 + 1/3*p1*q22 - p1*q28 - 2/3*p1*q34 - 10*p2*q1 + 2*p2*q21 - p2*q29 - 5/
3*p5*q34 - 2/3*p5*q5 - 5/3*p6*q34 - p7*q19 + p7*q26),
15*(p1*q12 + 2/3*p1*q9 + 1/15*p2*q14 + 2/15*p2*q25 - 4/15*p2*q6 - 6/5*p3*q27 - 
12/5*p3*q3 - 2/5*p3*q7 - 2/5*p4*q6 - 1/15*p5*q9 + 7/15*p6*q9 + 6*p7*q11),
2*(p1*q15 + 1/2*p1*q22 + p1*q23 - 1/2*p1*q5 - 15*p2*q1 - 3/2*p2*q29 - 45*p3*q35 
- 15*p4*q1 - 2*p5*q5 - p6*q5 + 3/2*p7*q7 + 3*p7*q8),
p1*q24 + 3*p1*q27 + p2*q22 + 6*p2*q31 + 4*p3*q21 + 30*p3*q32 + 8*p4*q31 + 3*p5*
q27 - 2*p6*q16 - p6*q3 - 3*p7*q14 - 3*p7*q6,
p1*q14 + 8*p1*q25 + 6*p1*q6 + p2*q16 - 6*p2*q3 - 48*p3*q2 - 24*p3*q31 - 5*p3*q4 
- 8*p4*q3 - p5*q6 + 4*p6*q6 + 12*p7*q9,
3*(p1*q21 + 2*p1*q30 + 25*p2*q35 + 20*p4*q35 + 1/3*p5*q21 + 4/3*p5*q30 + p6*q21 
- p7*q15 - 2*p7*q17 - p7*q2 - p7*q22 - p7*q4),
p1*q16 + 6*p1*q27 + 3*p1*q3 + p2*q17 - 8*p2*q2 - 2*p2*q31 - 60*p3*q1 - 30*p3*q32
 - 10*p4*q2 - p5*q3 + p6*q3 + 9*p7*q6,
p1*q17 - 3*p1*q2 + p1*q22 - 4*p1*q31 - p1*q33 + p1*q34 - 5*p2*q1 + p2*q21 + p2*
q29 - 2*p2*q30 - 2*p5*q2 + 2*p6*q2 + p7*q26,
5*(p1*q12 + 1/5*p1*q9 + 2/5*p2*q14 - 1/5*p2*q20 - 4/5*p2*q25 - 1/5*p2*q6 + 6/5*
p3*q16 - 6/5*p3*q26 - 18/5*p3*q27 - 6/5*p3*q3 - 2/5*p4*q6 - 2/5*p5*q9 + 1/5*p6*
q9),
p1*q15 - 2*p1*q23 + 10*p2*q18 - 8*p2*q21 + 3*p2*q29 - p5*q22 - 2*p5*q23 + 3*p5*
q28 + p5*q34 + 2*p6*q23 - 2*p6*q28 + 8*p7*q19 + 3*p7*q26,
4*(p2*q24 + 3/4*p2*q27 + 3*p3*q22 + 2*p3*q23 + 9/4*p3*q28 + 9*p3*q31 + 3/2*p4*
q24 + 3/2*p4*q27 - 1/4*p6*q10 - 3/2*p6*q14 - 3*p6*q25 - 15*p7*q12 - 3*p7*q9),
6*(p1*q10 + p1*q14 + 1/6*p2*q13 - 1/3*p2*q7 - 2/3*p2*q8 - 4*p3*q2 - p3*q23 - p3*
q28 - 4*p3*q4 - 1/3*p4*q7 - p4*q8 + 1/3*p6*q10 + 4*p7*q9),
4*(p1*q21 + 3/4*p1*q29 + 75/2*p2*q35 + 30*p4*q35 + 2*p5*q21 + 3/4*p5*q29 + p6*
q21 - 9/4*p7*q15 - 3/4*p7*q17 - 3/4*p7*q22 - 3/2*p7*q23 - 3/4*p7*q4 - 3/2*p7*q5)
,
4*(p1*q2 - 1/2*p1*q22 - 1/4*p1*q28 - 1/2*p1*q5 + 5*p2*q1 - 1/4*p2*q29 + 5/2*p2*
q32 + 15*p3*q35 + 5*p4*q1 + 3/2*p5*q2 + p6*q2 - 1/2*p6*q5 - 3/4*p7*q7),
p1*q15 + p1*q2 - p1*q22 - 7*p1*q33 + 5*p1*q34 + 2*p1*q4 - 15*p2*q1 + 5*p2*q18 - 
p2*q21 - 2*p5*q2 - 5*p5*q33 - p5*q4 + 2*p6*q2,
7*(p1*q18 + 3/7*p1*q29 + 90/7*p2*q35 + 30/7*p4*q35 + 8/7*p5*q18 - 1/7*p5*q21 - 1
/7*p5*q30 + p6*q18 - 3/7*p7*q15 - 3/7*p7*q17 - 3/7*p7*q2 - 6/7*p7*q4 - 6/7*p7*q5
),
2*(p1*q16 - 1/2*p1*q26 - 3/2*p1*q27 - 1/2*p1*q3 + p2*q17 - 3/2*p2*q2 - p2*q31 - 
1/2*p2*q33 - 6*p3*q1 + 3*p3*q18 - 3*p3*q32 - p4*q2 - p5*q3 + 1/2*p6*q3),
2*(p1*q14 - 1/2*p1*q20 - 2*p1*q25 + p2*q16 - 1/2*p2*q26 - 3/2*p2*q27 - p2*q3 + 3
*p3*q17 - 9/2*p3*q2 - 6*p3*q31 - 5/2*p3*q33 - p4*q3 - p5*q6 + 1/2*p6*q6),
5*(p2*q14 + 2/5*p2*q25 + 9/5*p3*q13 + 12/5*p3*q16 + 6/5*p3*q24 + 18/5*p3*q27 - 2
/5*p4*q10 + 2/5*p4*q14 + 2/5*p4*q25 - p5*q12 - p5*q9 - 4*p6*q12 - 8/5*p6*q9 - 18
*p7*q11),
20*(p1*q12 + p1*q9 - 1/10*p2*q10 + 3/20*p2*q14 - 1/10*p2*q6 - 3/10*p3*q24 - 3/10
*p3*q27 - 6/5*p3*q3 - 3/5*p3*q7 - 9/20*p3*q8 - 1/5*p4*q10 - 1/10*p4*q6 + 3/5*p6*
q9 + 6*p7*q11),
2*(p1*q10 + p1*q14 + 2*p1*q25 + 1/2*p2*q24 - 3/2*p2*q27 - 3*p2*q3 - 18*p3*q2 - 9
*p3*q31 - 5/2*p3*q5 - 3*p4*q3 - p5*q6 + p6*q10 - 1/2*p6*q6 + 6*p7*q9),
2*(p1*q29 + 2*p1*q30 + 40*p2*q35 + 60*p4*q35 + 1/2*p5*q29 + 3*p5*q30 + p6*q21 + 
p6*q29 + 2*p6*q30 - 3/2*p7*q15 - 3/2*p7*q17 - 3*p7*q22 - 3*p7*q23 - 3/2*p7*q28),
p1*q15 + 2*p1*q17 + 2*p1*q2 + 2*p1*q28 + 2*p1*q31 - p1*q4 - 30*p2*q1 - 4*p2*q30 
- 90*p3*q35 - 30*p4*q1 - p5*q4 - 3*p6*q4 + 6*p7*q3 + 3*p7*q7,
2*(p1*q15 + p1*q17 + p1*q2 - 1/2*p1*q28 - 2*p1*q31 - 1/2*p1*q4 - 12*p2*q1 + 3*p2
*q18 - p2*q32 - 1/2*p5*q2 - 1/2*p5*q33 - p5*q4 - 2*p6*q33 + 1/2*p6*q4 + 3/2*p7*
q26),
2*(p2*q22 + 2*p2*q23 + 3/2*p2*q28 + 12*p3*q21 + 18*p3*q30 + 30*p3*q32 + p4*q22 +
 4*p4*q23 + 3*p4*q28 - p6*q13 - p6*q24 - 1/2*p6*q8 - 3*p7*q10 - 9*p7*q14 - 12*p7
*q25),
p1*q28 + 3*p2*q29 + 2*p2*q30 + 15*p2*q32 + 180*p3*q35 + 6*p4*q29 + 6*p4*q30 + 30
*p4*q32 + 2*p5*q28 - 2*p6*q23 + p6*q28 - 3*p7*q13 - 3*p7*q16 - 9*p7*q24 - 9*p7*
q27,
2*(p1*q23 + 6*p2*q21 + 3/2*p2*q29 + 9*p2*q30 + 270*p3*q35 + 6*p4*q21 + 3*p4*q29 
+ 12*p4*q30 + 2*p5*q23 + p6*q23 - 15/2*p7*q13 - 3*p7*q16 - 6*p7*q24 - 3/2*p7*q7 
- 9/2*p7*q8),
2*(p1*q17 - 5/2*p1*q2 + p1*q22 - 1/2*p1*q28 - 2*p1*q31 - p1*q33 - 1/2*p1*q34 - 9
/2*p2*q1 + 1/2*p2*q18 + p2*q21 - 1/2*p2*q30 - p2*q32 - 3/2*p5*q2 + p6*q2 + p6*
q33 + 3/2*p7*q26),
12*(p1*q9 + 3/4*p2*q14 - 7/12*p2*q20 - 5/3*p2*q25 - 1/4*p2*q6 + p3*q13 + p3*q16 
- 3/4*p3*q19 - 3/2*p3*q24 - 3/4*p3*q26 - 3/2*p3*q3 - 1/4*p3*q7 - 1/3*p4*q10 - 2/
3*p4*q20 - p5*q9 + 2/3*p6*q9),
7*(p1*q13 + 2/7*p1*q16 + 2/7*p1*q24 + 2/7*p1*q7 + 4/7*p1*q8 - 2/7*p2*q23 - 12/7*
p2*q4 - 4/7*p2*q5 - 240/7*p3*q1 - 6/7*p3*q29 - 36/7*p3*q30 - 12/7*p4*q4 - 4/7*p4
*q5 - 3/7*p5*q8 - 3/7*p6*q8 + 18/7*p7*q10 + 6/7*p7*q6),
2*(p1*q22 + 3*p2*q21 + 3/2*p2*q29 + 15*p2*q32 + 135*p3*q35 + 3*p4*q21 + 3*p4*q29
 + 15*p4*q32 + 2*p5*q22 - p6*q15 + 1/2*p6*q22 - p6*q23 - 1/2*p6*q5 - 3*p7*q13 - 
3*p7*q16 - 3*p7*q24 - 3/2*p7*q7),
2*(p1*q15 + 15*p2*q18 + 9/2*p2*q29 + 6*p2*q30 + 270*p3*q35 + 15*p4*q18 + 3*p4*
q29 + 3*p4*q30 + p5*q15 - 1/2*p5*q22 - p5*q23 - 1/2*p5*q5 + p6*q15 - 6*p7*q13 - 
3*p7*q16 - 9/2*p7*q7 - 9*p7*q8),
2*(p1*q16 + 3/2*p1*q24 + 3/2*p1*q27 - 3/2*p1*q3 + p1*q7 - 10*p2*q2 + 1/2*p2*q22 
+ 1/2*p2*q28 - 5*p2*q31 - 60*p3*q1 - 30*p3*q32 - 10*p4*q2 - 3*p5*q3 - 2*p6*q3 + 
p6*q7 + 3*p7*q10 + 9/2*p7*q6),
2*(p1*q17 - 3*p1*q2 + 1/2*p1*q22 + p1*q28 + p1*q31 + p1*q4 - 15*p2*q1 + 1/2*p2*
q21 + 1/2*p2*q30 - 15/2*p2*q32 - 45*p3*q35 - 15*p4*q1 - 4*p5*q2 - 7/2*p6*q2 + p6
*q4 + 3*p7*q3 + 3/2*p7*q7),
p1*q16 - p1*q24 + 2*p2*q17 - 2*p2*q22 + p2*q28 + 6*p3*q18 - 6*p3*q21 + 3*p3*q29 
- 2*p4*q22 + 2*p4*q28 + 2*p4*q34 - p5*q24 + p5*q26 + 6*p5*q27 + p6*q24 - p6*q26 
- 6*p6*q27 + 8*p7*q20,
2*(p1*q15 + p1*q17 + p1*q22 + p1*q23 - 2*p1*q28 - 2*p1*q31 + 1/2*p1*q33 - p1*q34
 - p1*q4 - 15*p2*q1 + 5/2*p2*q21 - 3/2*p2*q30 - p5*q4 - p6*q33 - 3/2*p6*q34 + 1/
2*p6*q4 + 1/2*p7*q19 + 3*p7*q26),
2*(p1*q13 + 2*p1*q16 + 1/2*p1*q19 - 1/2*p1*q26 - 6*p1*q27 + 1/2*p2*q15 - 5*p2*q2
 + 5/2*p2*q22 + p2*q23 - 3*p2*q28 - 2*p2*q34 - p2*q4 - 30*p3*q1 + 9*p3*q21 - 6*
p3*q29 - 5*p4*q34 - 1/2*p5*q7 - 3*p7*q20),
5*(p2*q13 + 2/5*p2*q16 + 2/5*p2*q24 + 12/5*p3*q15 + 24/5*p3*q17 + 6/5*p3*q23 + 
18/5*p3*q28 + 24/5*p3*q31 + 4/5*p4*q13 + 2/5*p4*q16 + 2/5*p4*q24 - 2/5*p4*q8 - 3
/5*p5*q10 - 3/5*p5*q14 - 4/5*p6*q10 - 6/5*p6*q14 - 12*p7*q12 - 36/5*p7*q9),
3*(p1*q15 + 1/3*p1*q17 - 2/3*p1*q22 - 1/3*p1*q28 - 4/3*p1*q33 - 2/3*p1*q34 + 1/3
*p1*q4 + 4/3*p1*q5 - 40/3*p2*q1 + 10/3*p2*q18 - 1/3*p2*q29 - 2*p5*q33 - 1/3*p5*
q34 - 2/3*p5*q4 - 2/3*p5*q5 - 4/3*p6*q33 + 1/3*p6*q4 + p7*q19),
2*(p1*q15 + p1*q23 + 10*p2*q18 + p2*q21 + 8*p2*q30 + 180*p3*q35 + 10*p4*q18 + p4
*q21 + 4*p4*q30 - 1/2*p5*q17 - 1/2*p5*q28 - 1/2*p5*q4 + p6*q15 - 3*p7*q13 - 3*p7
*q16 - 3*p7*q3 - 3*p7*q7 - 9/2*p7*q8),
p1*q15 + 3*p1*q17 + 3*p1*q28 + 10*p2*q18 + 4*p2*q30 + 25*p2*q32 + 180*p3*q35 + 
10*p4*q18 + 10*p4*q32 - 2*p5*q2 - 2*p5*q31 - p5*q4 + p6*q17 - 2*p6*q2 - 2*p6*q4 
- 6*p7*q16 - 12*p7*q3 - 3*p7*q7,
3*(p1*q17 - 2/3*p1*q22 + 5/3*p2*q18 - p2*q21 + 1/3*p2*q30 - 2/3*p4*q21 + 2/3*p4*
q30 + 1/3*p5*q17 - 2/3*p5*q22 + 1/3*p5*q28 + 4/3*p5*q31 + 1/3*p5*q33 + 1/3*p5*
q34 - 1/3*p6*q17 + 1/3*p6*q22 - 4/3*p6*q31 - 1/3*p6*q33 - 2/3*p6*q34 + p7*q26),
2*(p1*q16 + 1/2*p1*q24 - p1*q26 - 3*p1*q27 - p1*q3 + 1/2*p2*q17 - 5/2*p2*q2 + p2
*q22 - 1/2*p2*q28 - 2*p2*q31 - 1/2*p2*q33 - 1/2*p2*q34 - 15/2*p3*q1 + 3*p3*q21 -
 3*p3*q30 - p5*q3 + p6*q26 + 1/2*p6*q3 + 1/2*p7*q20),
4*(p1*q15 + 1/4*p1*q17 - 1/4*p1*q22 - 1/2*p1*q28 - 1/2*p1*q31 - 3/4*p1*q33 + 1/2
*p1*q34 + 1/2*p1*q4 - 45/4*p2*q1 + 5/2*p2*q18 - 1/4*p2*q30 - 3/2*p5*q33 - 1/4*p5
*q34 - 1/4*p5*q4 - p5*q5 - 3/2*p6*q33 + 1/2*p6*q5 + 3/4*p7*q19 + 3/4*p7*q26),
5*(p1*q15 + 3/5*p1*q17 + 4/5*p1*q22 + 6/5*p1*q23 + 3/5*p1*q28 - 2/5*p1*q4 - 24*
p2*q1 - 2/5*p2*q21 - 3/5*p2*q29 - 2*p2*q30 - 72*p3*q35 - 24*p4*q1 - 7/5*p5*q4 - 
2/5*p5*q5 - p6*q4 - 4/5*p6*q5 + 6/5*p7*q3 + 12/5*p7*q7 + 18/5*p7*q8),
11*(p1*q10 + 15/11*p1*q14 + 12/11*p1*q25 + 12/11*p1*q6 + 2/11*p2*q13 + 2/11*p2*
q16 - 12/11*p2*q3 - 6/11*p2*q7 - 144/11*p3*q2 - 6/11*p3*q22 - 18/11*p3*q28 - 36/
11*p3*q31 - 36/11*p3*q4 - 24/11*p3*q5 - 12/11*p4*q3 - 8/11*p4*q7 - 2/11*p5*q10 +
 6/11*p6*q10 + 6/11*p6*q6 + 72/11*p7*q9),
3*(p1*q16 + 1/3*p2*q15 + 2*p2*q17 + 2/3*p2*q22 + 4*p2*q31 + 12*p3*q18 + 3*p3*q29
 + 30*p3*q32 + 2*p4*q17 + 2*p4*q31 - 2/3*p4*q5 + 2/3*p5*q16 - 1/3*p5*q24 - 1/3*
p5*q7 - 2/3*p6*q13 + 1/3*p6*q16 - 2/3*p6*q7 - 2*p7*q10 - 3*p7*q14 - 3*p7*q6),
2*(p1*q22 + p1*q23 + 3/2*p1*q28 + 4*p2*q21 + 3*p2*q30 + 20*p2*q32 + 180*p3*q35 +
 6*p4*q21 + 4*p4*q30 + 20*p4*q32 + 1/2*p5*q22 + 3/2*p5*q28 - p6*q15 - p6*q17 - 1
/2*p6*q4 - 3*p7*q13 - 6*p7*q16 - 3*p7*q24 - 3*p7*q3 - 3/2*p7*q7),
3*(p1*q24 + 7/3*p2*q22 + 2/3*p2*q23 + p2*q28 + 6*p2*q31 + 12*p3*q21 + 3*p3*q29 +
 6*p3*q30 + 60*p3*q32 + 10/3*p4*q22 + 2*p4*q28 + 8*p4*q31 + p5*q24 - 4/3*p6*q13 
- 4/3*p6*q16 - p6*q24 - 1/3*p6*q7 - 2*p7*q10 - 9*p7*q14 - 12*p7*q25 - 3*p7*q6),
4*(p1*q14 + 1/2*p2*q13 + 2*p2*q16 + 1/2*p2*q24 + 9/4*p2*q27 + 2*p3*q15 + 9*p3*
q17 + 3/2*p3*q22 + 9/4*p3*q28 + 18*p3*q31 + 3/2*p4*q16 + 3/2*p4*q27 - 1/2*p4*q7 
- 1/2*p5*q10 - p5*q25 - p5*q6 - p6*q10 - 5/4*p6*q14 - 3/2*p6*q6 - 15*p7*q12 - 9*
p7*q9),
2*(p1*q13 - p1*q19 - p1*q24 - 2*p1*q26 + p1*q3 + p1*q7 + 1/2*p2*q15 + 5/2*p2*q17
 - 5*p2*q2 - p2*q22 - 3*p2*q33 + 2*p2*q34 - 30*p3*q1 + 12*p3*q18 - 3*p3*q21 - 4*
p4*q33 - p4*q4 - 2*p5*q26 - 2*p5*q3 - 1/2*p5*q7 + 2*p6*q3),
2*(p1*q13 + 2*p1*q16 + 2*p1*q24 + 3*p1*q27 + 3*p1*q3 + p1*q7 + 1/2*p2*q15 + 1/2*
p2*q17 - 10*p2*q2 - p2*q28 - 4*p2*q4 - 120*p3*q1 - 3*p3*q21 - 12*p3*q30 - 30*p3*
q32 - 10*p4*q2 - 5*p4*q4 - 1/2*p5*q7 + p6*q3 + 6*p7*q10 + 9*p7*q6),
5*(p1*q13 + 2/5*p1*q16 - 4/5*p1*q24 - 6/5*p1*q27 + 2/5*p1*q7 + 3/5*p1*q8 + 4/5*
p2*q15 - 2/5*p2*q28 - 4/5*p2*q33 - 2/5*p2*q34 - 8/5*p2*q4 - 24*p3*q1 + 36/5*p3*
q18 - 6/5*p3*q29 - 12/5*p4*q33 - 2/5*p4*q34 - 1/5*p5*q19 - 1/5*p5*q26 - 1/5*p5*
q7 - 6/5*p5*q8 - 2/5*p6*q19 + 3/5*p6*q8 + 6/5*p7*q20),
6*(p1*q13 - 1/2*p1*q19 - p1*q24 + 1/2*p1*q7 + 2*p1*q8 + p2*q15 - 1/3*p2*q22 - 1/
3*p2*q23 - 3*p2*q33 + 3/2*p2*q34 - p2*q4 - p2*q5 - 30*p3*q1 + 12*p3*q18 - 3*p3*
q21 - 4*p4*q33 + p4*q34 - 5/6*p5*q19 - 1/2*p5*q7 - p5*q8 - 1/6*p6*q19 + 1/3*p6*
q7 + p7*q20),
6*(p1*q13 + p1*q16 + p1*q24 + 1/2*p1*q7 + p1*q8 + 1/6*p2*q15 - 5*p2*q2 - 1/6*p2*
q22 + 1/3*p2*q23 - 1/2*p2*q28 - p2*q4 - 5/3*p2*q5 - 60*p3*q1 - 3*p3*q29 - 3*p3*
q30 - 15*p3*q32 - 5*p4*q2 - p4*q4 - 2*p4*q5 - 1/2*p5*q7 + p6*q8 + 4*p7*q10 + 3*
p7*q6),
2*(p1*q13 + p1*q16 + p1*q24 + 1/2*p2*q15 + 9/2*p2*q17 + 3/2*p2*q28 + 8*p2*q31 + 
24*p3*q18 + 3*p3*q21 + 6*p3*q30 + 60*p3*q32 + 4*p4*q17 + 4*p4*q31 - p4*q4 - 3/2*
p5*q27 - 3/2*p5*q3 - 1/2*p5*q7 - p6*q16 - 2*p6*q3 - p6*q7 - 3*p7*q10 - 9/2*p7*
q14 - 9*p7*q6),
p1*q15 + 5*p1*q17 + 2*p1*q22 + 20*p2*q18 + 2*p2*q21 + 3*p2*q29 + 50*p2*q32 + 360
*p3*q35 + 20*p4*q18 + 20*p4*q32 + 6*p5*q17 - p5*q22 - p5*q28 - p5*q4 - 2*p5*q5 -
 2*p6*q15 + 4*p6*q17 - 2*p6*q4 - 4*p6*q5 - 6*p7*q13 - 6*p7*q16 - 6*p7*q3 - 9*p7*
q7,
10*(p1*q10 + 3/5*p1*q14 - 1/5*p1*q20 - 12/5*p1*q25 + 9/10*p2*q13 - 1/2*p2*q19 - 
3/5*p2*q24 - 3/10*p2*q26 - 3/10*p2*q7 + 6/5*p3*q15 + 9/5*p3*q17 - 18/5*p3*q2 - 3
/5*p3*q22 - 6/5*p3*q23 - 18/5*p3*q33 + 9/5*p3*q34 - 9/5*p3*q4 - p4*q19 - 3/5*p4*
q26 - 3/5*p4*q8 - 4/5*p5*q10 - 1/5*p5*q20 + 2/5*p6*q10 + 1/5*p6*q20),
4*(p1*q10 + 3/4*p1*q14 - 3/2*p1*q20 - 3*p1*q25 + 3/4*p1*q6 + 1/2*p2*q13 + 5/4*p2
*q16 - 1/2*p2*q19 - 3/4*p2*q24 - 3/4*p2*q26 - 3/2*p2*q3 + 3/2*p3*q15 + 9/2*p3*
q17 - 9*p3*q2 - 3*p3*q22 - 9/2*p3*q33 + 9/4*p3*q34 - 3/2*p3*q5 - 3/2*p4*q26 - 1/
2*p4*q7 - 1/2*p5*q10 - 3/4*p5*q20 - 3/2*p5*q6 + 3/2*p6*q6),
4*(p1*q13 + p1*q16 - 1/4*p1*q19 - 1/2*p1*q24 - 1/2*p1*q26 - 3*p1*q27 + p1*q3 + 1
/2*p2*q15 + 3/2*p2*q17 - 15/4*p2*q2 - 1/4*p2*q28 - 3/2*p2*q31 - 3/4*p2*q33 - 1/2
*p2*q4 - 45/2*p3*q1 + 6*p3*q18 - 3/2*p3*q30 - 3*p4*q33 - 1/2*p4*q4 - 1/4*p5*q26 
- 1/2*p5*q3 - 1/2*p5*q7 - 1/4*p6*q26 + 1/4*p6*q7 + 3/2*p7*q20),
3*(p1*q13 + 8/3*p2*q15 + 4*p2*q17 + 2/3*p2*q22 + 2/3*p2*q23 + 3*p2*q28 + 48*p3*
q18 + 6*p3*q29 + 24*p3*q30 + 60*p3*q32 + 8/3*p4*q15 + 4*p4*q17 + 2/3*p4*q22 + 2*
p4*q28 - 2/3*p5*q16 - 2/3*p5*q24 - 2/3*p5*q7 - p5*q8 - 2/3*p6*q13 - 2/3*p6*q16 -
 2/3*p6*q7 - 2*p6*q8 - 10*p7*q10 - 12*p7*q14 - 6*p7*q6),
2*(p1*q10 + 9/2*p1*q14 - 2*p1*q20 - 12*p1*q25 + 3*p1*q6 + 2*p2*q13 + 3*p2*q16 - 
1/2*p2*q19 - p2*q24 - 5/2*p2*q26 - 6*p2*q27 - 4*p2*q3 - 1/2*p2*q7 + 3*p3*q15 + 9
*p3*q17 - 24*p3*q2 - 6*p3*q28 - 6*p3*q33 - 3*p3*q34 - 3*p3*q4 - 5*p4*q26 - p4*q7
 - 2*p5*q10 - 1/2*p5*q20 - 3/2*p5*q6 + p6*q10 + p6*q20),
4*(p1*q13 + p1*q16 - 1/2*p1*q19 - p1*q24 - 5/4*p1*q26 - 3/2*p1*q27 + 3/4*p1*q7 +
 3/4*p2*q15 + 3/2*p2*q17 - 5*p2*q2 - 1/4*p2*q22 - 1/2*p2*q28 - p2*q33 - 1/4*p2*
q34 - 1/2*p2*q5 - 30*p3*q1 + 9*p3*q18 - 3/2*p3*q29 - 3*p4*q33 - p4*q34 - p4*q5 -
 5/4*p5*q26 - 3/4*p5*q7 + 1/2*p6*q19 - 3/4*p6*q26 + 1/4*p6*q7 + 3/2*p7*q20)

Computing time

On a Pentium 4 PC with 1.7GHz running REDUCE 3.7 with 120 MB RAM under Linux it took 24min 16sec.