Bi-linear algebraic problem N1t1s14f6+7

N=1, # of fermion fields: 1, # of boson fields: 0
weight(t)=1, weight(s)=14, fermion weights={6+7}, boson weights={}

Problem

Find equations


f(1)  := p2*f(2)
    t

f(2)  := p1*f(1)
    t           x

with symmetries

f(1)  := Df(2)  *f(1)*q15 + Df(2)  *f(1) *q17 + Df(2) *f(1)  *q19
    s         3x                 2x     x            x     2x

          + Df(1)  *f(2)*q16 + Df(1)  *f(2) *q18 + Df(1) *f(2)  *q20
                 3x                 2x     x            x     2x

                                      2
          + Df(2)*f(1)  *q21 + (Df(1)) *f(1)*q14 + Df(1)*f(2)  *q22 + f(1)  *q23
                      3x                                     3x           7x

f(2)  := Df(2)  *f(2)*q4 + Df(2)  *f(2) *q6 + Df(2) *f(2)  *q8 + Df(1)  *f(1)*q2
    s         3x                2x     x           x     2x           4x

          + Df(1)  *f(1) *q5 + Df(1)  *f(1)  *q7 + Df(1) *f(1)  *q9
                 3x     x           2x     2x           x     3x

                                                            2
          + Df(2)*Df(1)*f(1)*q1 + Df(2)*f(2)  *q10 + (Df(1)) *f(2)*q3
                                            3x

          + Df(1)*f(1)  *q11 + f(2)  *q13 + f(1) *f(2)*f(1)*q12
                      4x           7x           x

Unknowns

All solutions for the following 25 unknowns have to be determined:

p1,p2,q1,q2,q3,q4,q5,q6,q7,q8,q9,q10,q11,q12,q13,q14,q15,q16,q17,q18,q19,q20,q21
,q22,q23

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.

{q22,q21,q20,q19,q18,q17,q16,q15,q14,q12,q11,q10,q9,q8,q7,q6,q5,q4,q3,q2,q1}
{q13,q12,q11,q10,q9,q8,q7,q6,q5,q4,q3,q2,q1}
{q23,q22,q21,q20,q19,q18,q17,q16,q15,q14}
{p1}
{p2}

Equations

All comma separated 23 expressions involving 65 terms have to vanish.

q1,
q12,
q1 + 2*q3,
q14 - q3,
q1 - 2*q14,
q13 - q23,
q10 - q21 - q22,
q19 + q20 - q8,
q17 + q18 - q6,
q15 + q16 - q4,
p1*q22 - p2*q11,
p1*q15 - p2*q2,
p1*q10 - p1*q21 + p2*q11,
p1*q16 - p1*q4 - p2*q2,
p1*q20 + p1*q21 - p2*q9,
p1*q18 + p1*q19 - p2*q7,
p1*q16 + p1*q17 - p2*q5,
p1*q10 - p1*q20 - p1*q22 + p2*q9,
p1*q18 + p1*q20 - p1*q8 - p2*q7,
p1*q16 + p1*q18 - p1*q6 - p2*q5,
p1*q19 + p1*q21 - p1*q8 - p2*q9,
p1*q17 + p1*q19 - p1*q6 - p2*q7,
p1*q15 + p1*q17 - p1*q4 - p2*q5

Computing time