Bi-linear algebraic problem N1t1s13f6+7

N=1, # of fermion fields: 1, # of boson fields: 0
weight(t)=1, weight(s)=13, 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(2)*q12 + Df(2) *f(2) *q14 + Df(1)  *f(1)*q11
    s         2x                 x     x            3x

          + Df(1)  *f(1) *q13 + Df(1) *f(1)  *q15 + Df(2)*f(2)  *q16
                 2x     x            x     2x                 2x

          + Df(1)*f(1)  *q17 + f(2)  *q18
                      3x           6x

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

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

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

Unknowns

All solutions for the following 20 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

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.

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

Equations

All comma separated 17 expressions involving 51 terms have to vanish.

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

Computing time