Bi-linear algebraic problem N1t3s13f6+7

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

Problem

Find equations


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

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

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 19 expressions involving 62 terms have to vanish.

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

Computing time