load crack$
lisp(nfct_:=8)$

off batch_mode$
list_of_variables:=
{}$
list_of_functions:=
{q4,
q5,
q1,
p1,
q2,
q3,
p3,
p2,
q7,
q6}$
list_of_equations:=
{5*p2*q7 - 3*p3*q6,
2*p1*q3 - p2*q2,
5*p1*q7 - 3*p3*q1,
2*p1*q1 - p1*q4 - p1*q5 + 2*p1*q6,
p1*q6 + 3*p2*q6 - 6*p3*q3,
2*p1*q1 - 2*p1*q4 + p1*q6 + p2*q1,
p1*q5 + 3*p2*q5 - 3*p3*q2 - 6*p3*q3,
5*p1*q7 + 10*p2*q7 - 3*p3*q5 - 3*p3*q6,
3*p1*q1 - p1*q5 + 3*p2*q1 - 3*p3*q2,
10*p1*q7 + 10*p2*q7 - 3*p3*q4 - 3*p3*q5,
p1*q4 + 3*p1*q6 - p2*q1 - 3*p3*q2,
10*p1*q7 + 5*p2*q7 - 3*p3*q1 - 3*p3*q4,
p1*q5 + 3*p1*q6 + 3*p2*q6 - 3*p3*q2 - 6*p3*q3,
3*p1*q4 + 2*p1*q5 + 3*p2*q4 - 9*p3*q2 - 6*p3*q3,
3*p1*q1 - p1*q4 - p1*q6 + 4*p2*q1 - 3*p3*q2}$
list_of_inequalities:=
{p1**2 + p2**2,q7,p3}$

solution_:=crack(list_of_equations,
                 list_of_inequalities,
                 list_of_functions,
                 list_of_variables)$











end$

These data were produced with the following input:

lisp( old_history := 
'(n (plus (times p1 p1) (times p2 p2)) pwd s a s w nil n 
~/web/htdocs/susy/N1/f1b0/o35/w3/w))$
