Solution 1 to problem over
Remaining equations |
Expressions |
Parameters |
Inequalities |
Relevance |
Back to problem over
Equations
The following unsolved equations remain:
2 2
0=a11 + b12 *kap
Expressions
The solution is given through the following expressions:
r10=0
4 2 2 2 2 2 2 4 3 2
r11=( - 4*a11 *m3 *n1*n2 *r460 - 4*a11 *b12 *kap*m3 *n1*n2 *r460)/(a11 *b12 *n1
1 4 3 2 2 5 2 4 2 5 2
- ---*a11 *b12 *n2 - 2*a11 *b12 *kap*n1 + ---*a11 *b12 *kap*n2
3 3
4 7 2 2
- ---*b12 *kap *n2 )
3
10 2 2 8 2 2 2
r12=( - 4*a11 *m3 *n1 *n2*r460 - 4*a11 *b12 *kap*m3 *n1 *n2*r460
6 4 2 2 2 4 6 3 2 2
+ 16*a11 *b12 *kap *m3 *n1 *n2*r460 + 12*a11 *b12 *kap *m3 *n1 *n2*r460
2 8 4 2 2 4 9 3 2
- 4*a11 *b12 *kap *m3 *n1 *n2*r460)/(a11 *b12 *kap *n1
1 4 9 3 2 2 11 4 2 4 2 11 4 2
- ---*a11 *b12 *kap *n2 - 2*a11 *b12 *kap *n1 + ---*a11 *b12 *kap *n2
3 3
4 13 5 2
- ---*b12 *kap *n2 )
3
4 3 2 2 2 3
r13=( - 4*a11 *kap*m3 *n1*n2*r460 - 4*a11 *b12 *kap *m3 *n1*n2*r460)/(
4 3 2 1 4 3 2 2 5 2
a11 *b12 *n1 - ---*a11 *b12 *n2 - 2*a11 *b12 *kap*n1
3
4 2 5 2 4 7 2 2
+ ---*a11 *b12 *kap*n2 - ---*b12 *kap *n2 )
3 3
7 2 2 5 2 2 2
r14=( - 4*a11 *m3 *n1 *n2*r460 + 4*a11 *b12 *kap*m3 *n1 *n2*r460
3 4 2 2 2 4 6 2
+ 8*a11 *b12 *kap *m3 *n1 *n2*r460)/(a11 *b12 *kap*n1
1 4 6 2 2 8 2 2 4 2 8 2 2
- ---*a11 *b12 *kap*n2 - 2*a11 *b12 *kap *n1 + ---*a11 *b12 *kap *n2
3 3
4 10 3 2
- ---*b12 *kap *n2 )
3
r15=0
2
m3 *r460
r20=----------
2
b12
r21=0
2
m3 *r460
r22=----------
2
b12
r23=0
2 2
- 2*a11 *m3 *n1*n2*r460
r24=------------------------------------------------------
2 2 2 1 2 2 2 2 4 2
a11 *b12 *n1 - ---*a11 *b12 *n2 + ---*b12 *kap*n2
3 3
4 2 2 4 3
r27=(6*a11 *m3*n1 *n2*r460 + ---*a11 *m3*n2 *r460
3
8 2 2 3 8 4 2 3
- ---*a11 *b12 *kap*m3*n2 *r460 + ---*b12 *kap *m3*n2 *r460)/(
3 3
4 2 2 1 4 2 2 2 4 2
a11 *b12 *n1 - ---*a11 *b12 *n2 - 2*a11 *b12 *kap*n1
3
4 2 4 2 4 6 2 2
+ ---*a11 *b12 *kap*n2 - ---*b12 *kap *n2 )
3 3
4 3 4 2 2 2 3
r28=(2*a11 *m3*n1 *r460 - 2*a11 *m3*n1*n2 *r460 - 4*a11 *b12 *kap*m3*n1 *r460
2 2 2 4 2 2 1 4 2 2
- 8*a11 *b12 *kap*m3*n1*n2 *r460)/(a11 *b12 *n1 - ---*a11 *b12 *n2
3
2 4 2 4 2 4 2 4 6 2 2
- 2*a11 *b12 *kap*n1 + ---*a11 *b12 *kap*n2 - ---*b12 *kap *n2 )
3 3
4 2 2 4 4 4 2 2
r29=(a11 *kap*m3 *n1 *r460 - a11 *n1 *r460 - 2*a11 *n1 *n2 *r460
1 4 4 2 2 2 2 2
- ---*a11 *n2 *r460 - 2*a11 *b12 *kap *m3 *n1 *r460
3
2 2 4 2 2 2 2
+ 2*a11 *b12 *kap*n1 *r460 + 4*a11 *b12 *kap*n1 *n2 *r460
4 2 2 4 4 4 2 4 4 2 2
+ ---*a11 *b12 *kap*n2 *r460 - ---*b12 *kap *n2 *r460)/(a11 *b12 *n1
3 3
1 4 2 2 2 4 2 4 2 4 2
- ---*a11 *b12 *n2 - 2*a11 *b12 *kap*n1 + ---*a11 *b12 *kap*n2
3 3
4 6 2 2
- ---*b12 *kap *n2 )
3
4 2 2 4 3
r210=( - 4*a11 *m3*n1 *n2*r460 - ---*a11 *m3*n2 *r460
3
2 2 2 8 2 2 3
- 4*a11 *b12 *kap*m3*n1 *n2*r460 + ---*a11 *b12 *kap*m3*n2 *r460
3
8 4 2 3 4 2 2 1 4 2 2
- ---*b12 *kap *m3*n2 *r460)/(a11 *b12 *n1 - ---*a11 *b12 *n2
3 3
2 4 2 4 2 4 2 4 6 2 2
- 2*a11 *b12 *kap*n1 + ---*a11 *b12 *kap*n2 - ---*b12 *kap *n2 )
3 3
7 2 5 2 2
r211=( - 4*a11 *m3 *n1*n2*r460 - 4*a11 *b12 *kap*m3 *n1*n2*r460)/(
4 5 2 1 4 5 2 2 7 2 2
a11 *b12 *kap*n1 - ---*a11 *b12 *kap*n2 - 2*a11 *b12 *kap *n1
3
4 2 7 2 2 4 9 3 2
+ ---*a11 *b12 *kap *n2 - ---*b12 *kap *n2 )
3 3
r212=0
7 3 16 7 2
r213=(4*a11 *m3*n1 *r460 - ----*a11 *m3*n1*n2 *r460
9
5 2 3 16 5 2 2
- 4*a11 *b12 *kap*m3*n1 *r460 + ----*a11 *b12 *kap*m3*n1*n2 *r460
3
3 4 2 3 64 6 3 2
- 8*a11 *b12 *kap *m3*n1 *r460 - ----*a11*b12 *kap *m3*n1*n2 *r460)/(
9
4 5 2 1 4 5 2 2 7 2 2
a11 *b12 *kap*n1 - ---*a11 *b12 *kap*n2 - 2*a11 *b12 *kap *n1
3
4 2 7 2 2 4 9 3 2
+ ---*a11 *b12 *kap *n2 - ---*b12 *kap *n2 )
3 3
4 4 4 2 2 1 4 4
r214=( - a11 *n1 *r460 - a11 *n1 *n2 *r460 - ---*a11 *n2 *r460
3
2 2 4 2 2 2 2
+ 2*a11 *b12 *kap*n1 *r460 + 2*a11 *b12 *kap*n1 *n2 *r460
4 2 2 4 4 4 2 4 4 2 2
+ ---*a11 *b12 *kap*n2 *r460 - ---*b12 *kap *n2 *r460)/(a11 *b12 *n1
3 3
1 4 2 2 2 4 2 4 2 4 2
- ---*a11 *b12 *n2 - 2*a11 *b12 *kap*n1 + ---*a11 *b12 *kap*n2
3 3
4 6 2 2
- ---*b12 *kap *n2 )
3
4 2 2 2 2 4 2 2
r215=(2*a11 *m3*n1*n2 *r460 + 8*a11 *b12 *kap*m3*n1*n2 *r460)/(a11 *b12 *n1
1 4 2 2 2 4 2 4 2 4 2
- ---*a11 *b12 *n2 - 2*a11 *b12 *kap*n1 + ---*a11 *b12 *kap*n2
3 3
4 6 2 2
- ---*b12 *kap *n2 )
3
7 2 5 2 2
r217=( - 4*a11 *m3 *n1*n2*r460 - 4*a11 *b12 *kap*m3 *n1*n2*r460)/(
4 5 2 1 4 5 2 2 7 2 2
a11 *b12 *kap*n1 - ---*a11 *b12 *kap*n2 - 2*a11 *b12 *kap *n1
3
4 2 7 2 2 4 9 3 2
+ ---*a11 *b12 *kap *n2 - ---*b12 *kap *n2 )
3 3
r218=0
2 2 2 3
2*a11 *kap*m3 *n1*n2*r460 + 2*a11 *n1 *n2*r460
r219=------------------------------------------------------
2 2 2 1 2 2 2 2 4 2
a11 *b12 *n1 - ---*a11 *b12 *n2 + ---*b12 *kap*n2
3 3
4 2 2 1 4 2 2 4 2 2
r220=(a11 *kap*m3 *n1 *r460 - ---*a11 *kap*m3 *n2 *r460 - 2*a11 *n1 *n2 *r460
3
1 4 4 2 2 2 2 2
- ---*a11 *n2 *r460 - 2*a11 *b12 *kap *m3 *n1 *r460
3
4 2 2 2 2 2 2 2 2 2
+ ---*a11 *b12 *kap *m3 *n2 *r460 + 4*a11 *b12 *kap*n1 *n2 *r460
3
4 2 2 4 4 4 3 2 2
+ ---*a11 *b12 *kap*n2 *r460 - ---*b12 *kap *m3 *n2 *r460
3 3
4 4 2 4 4 2 2 1 4 2 2
- ---*b12 *kap *n2 *r460)/(a11 *b12 *n1 - ---*a11 *b12 *n2
3 3
2 4 2 4 2 4 2 4 6 2 2
- 2*a11 *b12 *kap*n1 + ---*a11 *b12 *kap*n2 - ---*b12 *kap *n2 )
3 3
r30=0
r31=0
r32=0
r33=0
r34=0
r35=0
r36=0
r37=0
r38=0
r39=0
r311=0
4 4 2 1 4 2
r312=(6*a11 *m3*n1*n2*r460)/(a11 *b12*n1 - ---*a11 *b12*n2
3
2 3 2 4 2 3 2 4 5 2 2
- 2*a11 *b12 *kap*n1 + ---*a11 *b12 *kap*n2 - ---*b12 *kap *n2 )
3 3
r313=0
2*m3*r460
r314=-----------
b12
4 2 2 4 2
r315=(2*a11 *m3*n1*n2*r460 + 8*a11 *b12 *kap*m3*n1*n2*r460)/(a11 *b12*n1
1 4 2 2 3 2 4 2 3 2
- ---*a11 *b12*n2 - 2*a11 *b12 *kap*n1 + ---*a11 *b12 *kap*n2
3 3
4 5 2 2
- ---*b12 *kap *n2 )
3
7 2 8 7 2
r316=( - a11 *m3*n1 *r460 + ---*a11 *m3*n2 *r460
9
10 5 2 2 3 4 2 2
- ----*a11 *b12 *kap*m3*n2 *r460 + 4*a11 *b12 *kap *m3*n1 *r460
3
8 3 4 2 2 8 6 3 2
+ ---*a11 *b12 *kap *m3*n2 *r460 + ---*a11*b12 *kap *m3*n2 *r460)/(
3 9
4 4 2 1 4 4 2 2 6 2 2
a11 *b12 *kap*n1 - ---*a11 *b12 *kap*n2 - 2*a11 *b12 *kap *n1
3
4 2 6 2 2 4 8 3 2
+ ---*a11 *b12 *kap *n2 - ---*b12 *kap *n2 )
3 3
2 3 2 2
- 2*a11 *n1 *r460 - 2*a11 *n1*n2 *r460
r317=----------------------------------------------------
2 2 1 2 2 2 3 2
a11 *b12*n1 - ---*a11 *b12*n2 + ---*b12 *kap*n2
3 3
4 2 2 4 3 2 2 2
r318=(2*a11 *n1 *n2*r460 + ---*a11 *n2 *r460 - 4*a11 *b12 *kap*n1 *n2*r460
3
8 2 2 3 8 4 2 3 4 2
- ---*a11 *b12 *kap*n2 *r460 + ---*b12 *kap *n2 *r460)/(a11 *b12*n1
3 3
1 4 2 2 3 2 4 2 3 2
- ---*a11 *b12*n2 - 2*a11 *b12 *kap*n1 + ---*a11 *b12 *kap*n2
3 3
4 5 2 2
- ---*b12 *kap *n2 )
3
13 8 8 6 2
r319=(----*a11 *m3*n1*n2*r460 - ---*a11 *b12 *kap*m3*n1*n2*r460
3 3
7 4 4 2 14 2 6 3
- ---*a11 *b12 *kap *m3*n1*n2*r460 + ----*a11 *b12 *kap *m3*n1*n2*r460)/(
3 3
4 5 2 1 4 5 2 2 7 2 2
a11 *b12 *kap*n1 - ---*a11 *b12 *kap*n2 - 2*a11 *b12 *kap *n1
3
4 2 7 2 2 4 9 3 2
+ ---*a11 *b12 *kap *n2 - ---*b12 *kap *n2 )
3 3
r320=0
r321=0
r322=0
- 2*m3*r460
r323=--------------
b12
r324=0
r325=0
2 3 2 2
2*a11 *n1 *r460 + 4*a11 *n1*n2 *r460
r326=----------------------------------------------------
2 2 1 2 2 2 3 2
a11 *b12*n1 - ---*a11 *b12*n2 + ---*b12 *kap*n2
3 3
2 7 2 5 2 2
r327=(---*a11 *m3*n2 *r460 - 2*a11 *b12 *kap*m3*n1 *r460
3
5 2 2 3 4 2 2
- 2*a11 *b12 *kap*m3*n2 *r460 + 4*a11 *b12 *kap *m3*n1 *r460
8 6 3 2 4 4 2
+ ---*a11*b12 *kap *m3*n2 *r460)/(a11 *b12 *kap*n1
3
1 4 4 2 2 6 2 2 4 2 6 2 2
- ---*a11 *b12 *kap*n2 - 2*a11 *b12 *kap *n1 + ---*a11 *b12 *kap *n2
3 3
4 8 3 2
- ---*b12 *kap *n2 )
3
7 4 4 2 1 4 4 2
r328=( - 6*a11 *m3*n1*n2*r460)/(a11 *b12 *kap*n1 - ---*a11 *b12 *kap*n2
3
2 6 2 2 4 2 6 2 2 4 8 3 2
- 2*a11 *b12 *kap *n1 + ---*a11 *b12 *kap *n2 - ---*b12 *kap *n2 )
3 3
7 2 8 7 3 10 5 2 3
r329=( - a11 *n1 *n2*r460 + ---*a11 *n2 *r460 - ----*a11 *b12 *kap*n2 *r460
9 3
3 4 2 2 8 3 4 2 3
+ 4*a11 *b12 *kap *n1 *n2*r460 + ---*a11 *b12 *kap *n2 *r460
3
8 6 3 3 4 4 2 1 4 4 2
+ ---*a11*b12 *kap *n2 *r460)/(a11 *b12 *kap*n1 - ---*a11 *b12 *kap*n2
9 3
2 6 2 2 4 2 6 2 2 4 8 3 2
- 2*a11 *b12 *kap *n1 + ---*a11 *b12 *kap *n2 - ---*b12 *kap *n2 )
3 3
2*a11*m3*r460
r330=---------------
2
b12
2 2
2*a11 *n1*n2 *r460
r331=----------------------------------------------------
2 2 1 2 2 2 3 2
a11 *b12*n1 - ---*a11 *b12*n2 + ---*b12 *kap*n2
3 3
2 4 3 8 2 2 3 8 4 2 3
r332=(---*a11 *n2 *r460 - ---*a11 *b12 *kap*n2 *r460 + ---*b12 *kap *n2 *r460)/(
3 3 3
4 2 1 4 2 2 3 2 4 2 3 2
a11 *b12*n1 - ---*a11 *b12*n2 - 2*a11 *b12 *kap*n1 + ---*a11 *b12 *kap*n2
3 3
4 5 2 2
- ---*b12 *kap *n2 )
3
8 6 2
r333=(8*a11 *m3*n1*n2*r460 + 2*a11 *b12 *kap*m3*n1*n2*r460
4 4 2 4 5 2
- 6*a11 *b12 *kap *m3*n1*n2*r460)/(a11 *b12 *kap*n1
1 4 5 2 2 7 2 2 4 2 7 2 2
- ---*a11 *b12 *kap*n2 - 2*a11 *b12 *kap *n1 + ---*a11 *b12 *kap *n2
3 3
4 9 3 2
- ---*b12 *kap *n2 )
3
2 7 3 4 5 2 3
r334=(---*a11 *n2 *r460 - ---*a11 *b12 *kap*n2 *r460
9 3
8 3 4 2 3 16 6 3 3
+ ---*a11 *b12 *kap *n2 *r460 - ----*a11*b12 *kap *n2 *r460)/(
3 9
4 4 2 1 4 4 2 2 6 2 2
a11 *b12 *kap*n1 - ---*a11 *b12 *kap*n2 - 2*a11 *b12 *kap *n1
3
4 2 6 2 2 4 8 3 2
+ ---*a11 *b12 *kap *n2 - ---*b12 *kap *n2 )
3 3
r335=0
r336=0
r337=0
2
4*a11 *m3*n1*n2*r460
r338=----------------------------------------------------
2 2 1 2 2 2 3 2
a11 *b12*n1 - ---*a11 *b12*n2 + ---*b12 *kap*n2
3 3
r339=0
r340=0
2 4 3 8 2 2 3 8 4 2 3
r341=( - ---*a11 *n2 *r460 + ---*a11 *b12 *kap*n2 *r460 - ---*b12 *kap *n2 *r460
3 3 3
4 2 1 4 2 2 3 2
)/(a11 *b12*n1 - ---*a11 *b12*n2 - 2*a11 *b12 *kap*n1
3
4 2 3 2 4 5 2 2
+ ---*a11 *b12 *kap*n2 - ---*b12 *kap *n2 )
3 3
7 5 2
r342=(6*a11 *m3*n1*n2*r460 + 4*a11 *b12 *kap*m3*n1*n2*r460
3 4 2 4 4 2
- 8*a11 *b12 *kap *m3*n1*n2*r460)/(a11 *b12 *kap*n1
1 4 4 2 2 6 2 2 4 2 6 2 2
- ---*a11 *b12 *kap*n2 - 2*a11 *b12 *kap *n1 + ---*a11 *b12 *kap *n2
3 3
4 8 3 2
- ---*b12 *kap *n2 )
3
2 7 2 8 5 2 2
r343=(---*a11 *m3*n2 *r460 - ---*a11 *b12 *kap*m3*n2 *r460
3 3
8 3 4 2 2 4 4 2
+ ---*a11 *b12 *kap *m3*n2 *r460)/(a11 *b12 *kap*n1
3
1 4 4 2 2 6 2 2 4 2 6 2 2
- ---*a11 *b12 *kap*n2 - 2*a11 *b12 *kap *n1 + ---*a11 *b12 *kap *n2
3 3
4 8 3 2
- ---*b12 *kap *n2 )
3
7 3 8 7 2 10 5 2 2
r344=( - a11 *n1 *r460 + ---*a11 *n1*n2 *r460 - ----*a11 *b12 *kap*n1*n2 *r460
9 3
3 4 2 3 8 3 4 2 2
+ 4*a11 *b12 *kap *n1 *r460 + ---*a11 *b12 *kap *n1*n2 *r460
3
8 6 3 2 4 4 2
+ ---*a11*b12 *kap *n1*n2 *r460)/(a11 *b12 *kap*n1
9
1 4 4 2 2 6 2 2 4 2 6 2 2
- ---*a11 *b12 *kap*n2 - 2*a11 *b12 *kap *n1 + ---*a11 *b12 *kap *n2
3 3
4 8 3 2
- ---*b12 *kap *n2 )
3
3
- 4*a11 *m3*n1*n2*r460
r345=------------------------------------------------------
2 2 2 1 2 2 2 2 4 2
a11 *b12 *n1 - ---*a11 *b12 *n2 + ---*b12 *kap*n2
3 3
2*n2*r460
r346=-----------
b12
2 2
4*a11 *n1*n2 *r460
r347=----------------------------------------------------
2 2 1 2 2 2 3 2
a11 *b12*n1 - ---*a11 *b12*n2 + ---*b12 *kap*n2
3 3
r348=0
2 7 2 8 5 2 2
r349=(---*a11 *n1*n2 *r460 - ---*a11 *b12 *kap*n1*n2 *r460
3 3
8 3 4 2 2 4 4 2
+ ---*a11 *b12 *kap *n1*n2 *r460)/(a11 *b12 *kap*n1
3
1 4 4 2 2 6 2 2 4 2 6 2 2
- ---*a11 *b12 *kap*n2 - 2*a11 *b12 *kap *n1 + ---*a11 *b12 *kap *n2
3 3
4 8 3 2
- ---*b12 *kap *n2 )
3
r350=0
2 2
- 2*a11 *n1*n2 *r460
r351=----------------------------------------------------
2 2 1 2 2 2 3 2
a11 *b12*n1 - ---*a11 *b12*n2 + ---*b12 *kap*n2
3 3
2 2
2*a11 *n1 *n2*r460
r352=----------------------------------------------------
2 2 1 2 2 2 3 2
a11 *b12*n1 - ---*a11 *b12*n2 + ---*b12 *kap*n2
3 3
8 7 6 2
r353=(4*a11 *m3*n1*n2*r460 + ---*a11 *b12 *kap*m3*n1*n2*r460
2
9 4 4 2 2 6 3
+ ---*a11 *b12 *kap *m3*n1*n2*r460 + 5*a11 *b12 *kap *m3*n1*n2*r460)/(
2
4 5 2 1 4 5 2 2 7 2 2
a11 *b12 *kap*n1 - ---*a11 *b12 *kap*n2 - 2*a11 *b12 *kap *n1
3
4 2 7 2 2 4 9 3 2
+ ---*a11 *b12 *kap *n2 - ---*b12 *kap *n2 )
3 3
2 7 3 4 5 2 3
r354=(---*a11 *n2 *r460 - ---*a11 *b12 *kap*n2 *r460
9 3
8 3 4 2 3 16 6 3 3
+ ---*a11 *b12 *kap *n2 *r460 - ----*a11*b12 *kap *n2 *r460)/(
3 9
4 4 2 1 4 4 2 2 6 2 2
a11 *b12 *kap*n1 - ---*a11 *b12 *kap*n2 - 2*a11 *b12 *kap *n1
3
4 2 6 2 2 4 8 3 2
+ ---*a11 *b12 *kap *n2 - ---*b12 *kap *n2 )
3 3
2 7 2 8 5 2 2
r355=(---*a11 *n1*n2 *r460 - ---*a11 *b12 *kap*n1*n2 *r460
3 3
8 3 4 2 2 4 4 2
+ ---*a11 *b12 *kap *n1*n2 *r460)/(a11 *b12 *kap*n1
3
1 4 4 2 2 6 2 2 4 2 6 2 2
- ---*a11 *b12 *kap*n2 - 2*a11 *b12 *kap *n1 + ---*a11 *b12 *kap *n2
3 3
4 8 3 2
- ---*b12 *kap *n2 )
3
r40=0
r41=0
r42=0
r43=0
r44=0
r45=0
r46=0
r47=0
r48=0
r49=0
r410=0
r411=0
r412=0
r413=0
r415=0
r416=0
r417=0
r418=0
r419=0
r420=0
r421=0
r423=0
r424=0
r426=0
2 2
- a11 *n1 *r460
r427=--------------------------------------------
2 2 1 2 2 2 2 2
a11 *n1 - ---*a11 *n2 + ---*b12 *kap*n2
3 3
r428=0
2
2*a11 *n1*n2*r460
r429=--------------------------------------------
2 2 1 2 2 2 2 2
a11 *n1 - ---*a11 *n2 + ---*b12 *kap*n2
3 3
1 4 2 4 2 2 2 4 4 2 2
r430=( - ---*a11 *n2 *r460 + ---*a11 *b12 *kap*n2 *r460 - ---*b12 *kap *n2 *r460
3 3 3
4 2 1 4 2 2 2 2 4 2 2 2
)/(a11 *n1 - ---*a11 *n2 - 2*a11 *b12 *kap*n1 + ---*a11 *b12 *kap*n2
3 3
4 4 2 2
- ---*b12 *kap *n2 )
3
7 5 2
r431=( - 3*a11 *n1*n2*r460 + 4*a11 *b12 *kap*n1*n2*r460
3 4 2 4 3 2 1 4 3 2
+ 4*a11 *b12 *kap *n1*n2*r460)/(a11 *b12 *kap*n1 - ---*a11 *b12 *kap*n2
3
2 5 2 2 4 2 5 2 2 4 7 3 2
- 2*a11 *b12 *kap *n1 + ---*a11 *b12 *kap *n2 - ---*b12 *kap *n2 )
3 3
r432=0
r433=0
3 10 2 7 10 2 8 2 2
r434=(---*a11 *n1 *r460 - ----*a11 *n2 *r460 - a11 *b12 *kap*n1 *r460
4 18
7 8 2 2 6 4 2 2
+ ---*a11 *b12 *kap*n2 *r460 - a11 *b12 *kap *n1 *r460
6
14 4 6 3 2 4 6 2 2
- ----*a11 *b12 *kap *n2 *r460)/(a11 *b12 *kap *n1
9
1 4 6 2 2 2 8 3 2 4 2 8 3 2
- ---*a11 *b12 *kap *n2 - 2*a11 *b12 *kap *n1 + ---*a11 *b12 *kap *n2
3 3
4 10 4 2
- ---*b12 *kap *n2 )
3
r435=0
r436=0
r437=0
r438=0
r439=0
r440=0
r441=0
r442=0
r443=0
r444=0
r445=0
2 2
2*a11 *n1 *r460
r446=--------------------------------------------
2 2 1 2 2 2 2 2
a11 *n1 - ---*a11 *n2 + ---*b12 *kap*n2
3 3
r447=0
2
- 4*a11 *n1*n2*r460
r448=--------------------------------------------
2 2 1 2 2 2 2 2
a11 *n1 - ---*a11 *n2 + ---*b12 *kap*n2
3 3
r449=0
r450=0
r451=0
7 3 4 2 4 3 2
r452=( - a11 *n1*n2*r460 + 4*a11 *b12 *kap *n1*n2*r460)/(a11 *b12 *kap*n1
1 4 3 2 2 5 2 2 4 2 5 2 2
- ---*a11 *b12 *kap*n2 - 2*a11 *b12 *kap *n1 + ---*a11 *b12 *kap *n2
3 3
4 7 3 2
- ---*b12 *kap *n2 )
3
7 2 8 7 2 5 2 2
r453=(3*a11 *n1 *r460 - ---*a11 *n2 *r460 - 4*a11 *b12 *kap*n1 *r460
9
10 5 2 2 3 4 2 2
+ ----*a11 *b12 *kap*n2 *r460 - 4*a11 *b12 *kap *n1 *r460
3
8 3 4 2 2 8 6 3 2
- ---*a11 *b12 *kap *n2 *r460 - ---*a11*b12 *kap *n2 *r460)/(
3 9
4 3 2 1 4 3 2 2 5 2 2
a11 *b12 *kap*n1 - ---*a11 *b12 *kap*n2 - 2*a11 *b12 *kap *n1
3
4 2 5 2 2 4 7 3 2
+ ---*a11 *b12 *kap *n2 - ---*b12 *kap *n2 )
3 3
r454=0
r455=0
r456=0
2 2
a11 *n1 *r460
r457=--------------------------------------------
2 2 1 2 2 2 2 2
a11 *n1 - ---*a11 *n2 + ---*b12 *kap*n2
3 3
r458=0
2
- 2*a11 *n1*n2*r460
r459=--------------------------------------------
2 2 1 2 2 2 2 2
a11 *n1 - ---*a11 *n2 + ---*b12 *kap*n2
3 3
5
- 4*a11 *n1*n2*r460
r461=---------------------------------------------------------------
2 3 2 1 2 3 2 2 5 2 2
a11 *b12 *kap*n1 - ---*a11 *b12 *kap*n2 + ---*b12 *kap *n2
3 3
r462=0
r463=0
10 2 1 10 2 8 2 2
r464=(a11 *n1 *r460 - ---*a11 *n2 *r460 - 3*a11 *b12 *kap*n1 *r460
3
14 8 2 2 6 4 2 2
+ ----*a11 *b12 *kap*n2 *r460 - 2*a11 *b12 *kap *n2 *r460
9
4 6 3 2 2 8 4 2
+ 3*a11 *b12 *kap *n1 *r460 + 2*a11 *b12 *kap *n1 *r460
8 2 8 4 2 4 6 2 2
+ ---*a11 *b12 *kap *n2 *r460)/(a11 *b12 *kap *n1
9
1 4 6 2 2 2 8 3 2 4 2 8 3 2
- ---*a11 *b12 *kap *n2 - 2*a11 *b12 *kap *n1 + ---*a11 *b12 *kap *n2
3 3
4 10 4 2
- ---*b12 *kap *n2 )
3
r465=0
5
- 2*a11 *n1*n2*r460
r466=---------------------------------------------------------------
2 3 2 1 2 3 2 2 5 2 2
a11 *b12 *kap*n1 - ---*a11 *b12 *kap*n2 + ---*b12 *kap *n2
3 3
3
2*a11 *r460
r467=-------------
3
b12 *kap
r468=0
4
- a11 *r460
r469=--------------
4
b12 *kap
r470=0
r471=0
r472=0
r473=0
r474=0
r475=0
r476=0
r477=0
r479=0
r480=0
r482=0
2 4 2 8 2 2 2 8 4 2 2
r483=(---*a11 *n2 *r460 - ---*a11 *b12 *kap*n2 *r460 + ---*b12 *kap *n2 *r460)/(
3 3 3
4 2 1 4 2 2 2 2 4 2 2 2
a11 *n1 - ---*a11 *n2 - 2*a11 *b12 *kap*n1 + ---*a11 *b12 *kap*n2
3 3
4 4 2 2
- ---*b12 *kap *n2 )
3
r484=0
r485=0
r486=0
7 2 2 7 2 2 5 2 2
r487=( - a11 *n1 *r460 + ---*a11 *n2 *r460 - ---*a11 *b12 *kap*n2 *r460
9 3
3 4 2 2 8 6 3 2
+ 4*a11 *b12 *kap *n1 *r460 + ---*a11*b12 *kap *n2 *r460)/(
9
4 3 2 1 4 3 2 2 5 2 2
a11 *b12 *kap*n1 - ---*a11 *b12 *kap*n2 - 2*a11 *b12 *kap *n1
3
4 2 5 2 2 4 7 3 2
+ ---*a11 *b12 *kap *n2 - ---*b12 *kap *n2 )
3 3
7 5 2
r488=( - 5*a11 *n1*n2*r460 + 8*a11 *b12 *kap*n1*n2*r460
3 4 2 4 3 2 1 4 3 2
+ 4*a11 *b12 *kap *n1*n2*r460)/(a11 *b12 *kap*n1 - ---*a11 *b12 *kap*n2
3
2 5 2 2 4 2 5 2 2 4 7 3 2
- 2*a11 *b12 *kap *n1 + ---*a11 *b12 *kap *n2 - ---*b12 *kap *n2 )
3 3
r489=0
r490=0
r491=0
r492=0
r493=0
2 4 2 8 2 2 2 8 4 2 2
r494=(---*a11 *n2 *r460 - ---*a11 *b12 *kap*n2 *r460 + ---*b12 *kap *n2 *r460)/(
3 3 3
4 2 1 4 2 2 2 2 4 2 2 2
a11 *n1 - ---*a11 *n2 - 2*a11 *b12 *kap*n1 + ---*a11 *b12 *kap*n2
3 3
4 4 2 2
- ---*b12 *kap *n2 )
3
2
- 4*a11 *n1*n2*r460
r495=--------------------------------------------
2 2 1 2 2 2 2 2
a11 *n1 - ---*a11 *n2 + ---*b12 *kap*n2
3 3
3
- 2*a11 *r460
r496=----------------
3
b12 *kap
r497=0
r498=0
10 8 2
r499=( - 4*a11 *n1*n2*r460 + 6*a11 *b12 *kap*n1*n2*r460
6 4 2 4 6 2 2
+ 4*a11 *b12 *kap *n1*n2*r460)/(a11 *b12 *kap *n1
1 4 6 2 2 2 8 3 2 4 2 8 3 2
- ---*a11 *b12 *kap *n2 - 2*a11 *b12 *kap *n1 + ---*a11 *b12 *kap *n2
3 3
4 10 4 2
- ---*b12 *kap *n2 )
3
r4100=0
3
- 2*a11 *r460
r4101=----------------
3
b12 *kap
5
- 6*a11 *n1*n2*r460
r4102=---------------------------------------------------------------
2 3 2 1 2 3 2 2 5 2 2
a11 *b12 *kap*n1 - ---*a11 *b12 *kap*n2 + ---*b12 *kap *n2
3 3
r4103=0
6
2*a11 *n1*n2*r460
r4104=---------------------------------------------------------------
2 4 2 1 2 4 2 2 6 2 2
a11 *b12 *kap*n1 - ---*a11 *b12 *kap*n2 + ---*b12 *kap *n2
3 3
r4105=0
r4106=0
r4108=0
2
2*a11 *n1*n2*r460
r4109=--------------------------------------------
2 2 1 2 2 2 2 2
a11 *n1 - ---*a11 *n2 + ---*b12 *kap*n2
3 3
1 4 2 4 2 2 2 4 4 2 2
r4110=(---*a11 *n2 *r460 - ---*a11 *b12 *kap*n2 *r460 + ---*b12 *kap *n2 *r460)/
3 3 3
4 2 1 4 2 2 2 2 4 2 2 2
(a11 *n1 - ---*a11 *n2 - 2*a11 *b12 *kap*n1 + ---*a11 *b12 *kap*n2
3 3
4 4 2 2
- ---*b12 *kap *n2 )
3
r4111=0
r4112=0
r4113=0
10 2 1 10 2 8 2 2
r4114=( - a11 *n1 *r460 + ---*a11 *n2 *r460 - a11 *b12 *kap*n1 *r460
3
4 8 2 2 6 4 2 2
- ---*a11 *b12 *kap*n2 *r460 + 4*a11 *b12 *kap *n1 *r460
9
6 4 2 2 4 6 3 2
- 2*a11 *b12 *kap *n2 *r460 + 4*a11 *b12 *kap *n1 *r460
7 4 6 3 2 20 2 8 4 2
+ ---*a11 *b12 *kap *n2 *r460 + ----*a11 *b12 *kap *n2 *r460
3 9
4 10 5 2 4 6 2 2 1 4 6 2 2
- ---*b12 *kap *n2 *r460)/(a11 *b12 *kap *n1 - ---*a11 *b12 *kap *n2
3 3
2 8 3 2 4 2 8 3 2 4 10 4 2
- 2*a11 *b12 *kap *n1 + ---*a11 *b12 *kap *n2 - ---*b12 *kap *n2 )
3 3
r4115=0
5
2*a11 *n1*n2*r460
r4116=---------------------------------------------------------------
2 3 2 1 2 3 2 2 5 2 2
a11 *b12 *kap*n1 - ---*a11 *b12 *kap*n2 + ---*b12 *kap *n2
3 3
r4117=0
r4118=0
4
- a11 *r460
r4119=--------------
4
b12 *kap
r4120=0
r4121=0
5
- 2*a11 *n1*n2*r460
r4122=---------------------------------------------------------------
2 3 2 1 2 3 2 2 5 2 2
a11 *b12 *kap*n1 - ---*a11 *b12 *kap*n2 + ---*b12 *kap *n2
3 3
r4123=0
2
2*a11 *kap*n1*n2*r460
r4124=--------------------------------------------
2 2 1 2 2 2 2 2
a11 *n1 - ---*a11 *n2 + ---*b12 *kap*n2
3 3
r4125=0
m2=0
m1=0
n3=0
1 3
- ---*a11
2
a33=-------------
2
b12 *kap
a23=0
a22=a11
a13=0
4 4 2 1 4 2
r310=(6*a11 *m3*n1*n2*r460)/(a11 *b12*n1 - ---*a11 *b12*n2
3
2 3 2 4 2 3 2 4 5 2 2
- 2*a11 *b12 *kap*n1 + ---*a11 *b12 *kap*n2 - ---*b12 *kap *n2 )
3 3
Parameters
Apart from the condition that they must not vanish to give
a non-trivial solution and a non-singular solution with
non-vanishing denominators, the following parameters are free:
r460, m3, a11, n2, n1, b12
Inequalities
In the following not identically vanishing expressions are shown.
Any auxiliary variables g00?? are used to express that at least
one of their coefficients must not vanish, e.g. g0019*p4 + g0020*p3
means that either p4 or p3 or both are non-vanishing.
{a11,b12,n2,m3}
Relevance for the application:
Modulo the following equation:
2 2
0=a11 + b12 *kap
the system of equations related to the Hamiltonian HAM:
2 2 3 2 2 2
HAM=(u1 *a11*b12 *kap + u1*v2*b12 *kap + u1*b12 *kap*n1 + u2 *a11*b12 *kap
3 2 1 2 3 2 2
- u2*v1*b12 *kap + u2*b12 *kap*n2 - ---*u3 *a11 + v3*b12 *kap*m3)/(b12
2
*kap)
has apart from the Hamiltonian and Casimirs only the following first integral:
3 4 9 4 2 11 5
FI=u1 *u2*(2*a11 *b12 *kap *n1*n2 - 4*a11 *b12 *kap *n1*n2)
3 7 6 2 5 8 3 3
+ u1 *v1*( - 2*a11 *b12 *kap *n1*n2 + 4*a11 *b12 *kap *n1*n2) + u1 *(
2 7 5 2 2 8 5 7 3 2
---*a11 *b12 *kap *n1*n2 - ---*a11 *b12 *kap *n1*n2
3 3
8 3 9 4 2 2 2 8 5 2 2
+ ---*a11 *b12 *kap *n1*n2 ) + u1 *u2 *( - a11 *b12 *kap *n1
3
1 8 5 2 2 6 7 3 2 4 6 7 3 2
+ ---*a11 *b12 *kap *n2 + 2*a11 *b12 *kap *n1 - ---*a11 *b12 *kap *n2
3 3
4 4 9 4 2
+ ---*a11 *b12 *kap *n2 )
3
2 7 6 2 5 8 3 2
+ u1 *u2*v2*(2*a11 *b12 *kap *n1*n2 - 4*a11 *b12 *kap *n1*n2) + u1 *u2*(
2 7 5 2 3 4 5 7 3 3 8 3 9 4 3
---*a11 *b12 *kap *n2 - ---*a11 *b12 *kap *n2 + ---*a11 *b12 *kap *n2
9 3 3
16 11 5 3 2 2 10 3 2
- ----*a11*b12 *kap *n2 ) + u1 *u3 *( - a11 *b12 *kap*n1
9
1 10 3 2 8 5 2 2 4 8 5 2 2
+ ---*a11 *b12 *kap*n2 - a11 *b12 *kap *n1 - ---*a11 *b12 *kap *n2
3 9
6 7 3 2 6 7 3 2 4 9 4 2
+ 4*a11 *b12 *kap *n1 - 2*a11 *b12 *kap *n2 + 4*a11 *b12 *kap *n1
7 4 9 4 2 20 2 11 5 2 4 13 6 2
+ ---*a11 *b12 *kap *n2 + ----*a11 *b12 *kap *n2 - ---*b12 *kap *n2 )
3 9 3
2 8 4 2 7 6 6 3
+ u1 *u3*(4*a11 *b12 *kap *m3*n1*n2 + ---*a11 *b12 *kap *m3*n1*n2
2
9 4 8 4 2 10 5 2
+ ---*a11 *b12 *kap *m3*n1*n2 + 5*a11 *b12 *kap *m3*n1*n2) + u1
2
2 1 4 9 3 2 4 2 11 4 2 4 13 5 2
*v1 *(---*a11 *b12 *kap *n2 - ---*a11 *b12 *kap *n2 + ---*b12 *kap *n2 )
3 3 3
2 4 9 3 2 11 4
+ u1 *v1*v2*(2*a11 *b12 *kap *n1*n2 - 4*a11 *b12 *kap *n1*n2)
2 4 8 3 2 2 10 4 2
+ u1 *v1*(2*a11 *b12 *kap *n1 *n2 - 4*a11 *b12 *kap *n1 *n2)
2 4 8 3 2 2 10 4 2 2
+ u1 *v2*( - 2*a11 *b12 *kap *n1*n2 + 4*a11 *b12 *kap *n1*n2 ) + u1 *(
4 7 4 2 2 1 4 7 4 2 2
a11 *b12 *kap *m3 *n1 - ---*a11 *b12 *kap *m3 *n2
3
4 7 3 2 2 1 4 7 3 4
- 2*a11 *b12 *kap *n1 *n2 - ---*a11 *b12 *kap *n2
3
2 9 5 2 2 4 2 9 5 2 2
- 2*a11 *b12 *kap *m3 *n1 + ---*a11 *b12 *kap *m3 *n2
3
2 9 4 2 2 4 2 9 4 4
+ 4*a11 *b12 *kap *n1 *n2 + ---*a11 *b12 *kap *n2
3
4 11 6 2 2 4 11 5 4
- ---*b12 *kap *m3 *n2 - ---*b12 *kap *n2 )
3 3
3 8 5 2 6 7 3
+ u1*u2 *(2*a11 *b12 *kap *n1*n2 - 4*a11 *b12 *kap *n1*n2)
2 7 6 2 5 8 3 2
+ u1*u2 *v1*( - 6*a11 *b12 *kap *n1*n2 + 12*a11 *b12 *kap *n1*n2) + u1*u2
7 6 2 2 2 7 6 2 2 5 8 3 2
*v2*( - 2*a11 *b12 *kap *n1 + ---*a11 *b12 *kap *n2 + 4*a11 *b12 *kap *n1
3
8 5 8 3 2 8 3 10 4 2 2
- ---*a11 *b12 *kap *n2 + ---*a11 *b12 *kap *n2 ) + u1*u2 *(
3 3
2 7 5 2 2 8 5 7 3 2
---*a11 *b12 *kap *n1*n2 - ---*a11 *b12 *kap *n1*n2
3 3
8 3 9 4 2 2 10 3
+ ---*a11 *b12 *kap *n1*n2 ) + u1*u2*u3 *( - 4*a11 *b12 *kap*n1*n2
3
8 5 2 6 7 3
+ 6*a11 *b12 *kap *n1*n2 + 4*a11 *b12 *kap *n1*n2) + u1*u2*u3*v3*(
7 6 2 2 2 7 6 2 2 5 8 3 2
- 2*a11 *b12 *kap *n1 + ---*a11 *b12 *kap *n2 + 4*a11 *b12 *kap *n1
3
8 5 8 3 2 8 3 10 4 2
- ---*a11 *b12 *kap *n2 + ---*a11 *b12 *kap *n2 )
3 3
2 4 9 3 2 11 4
+ u1*u2*v1 *( - 4*a11 *b12 *kap *n1*n2 + 8*a11 *b12 *kap *n1*n2) + u1*u2*v1
2 4 9 3 2 8 2 11 4 2 8 13 5 2
*v2*(---*a11 *b12 *kap *n2 - ---*a11 *b12 *kap *n2 + ---*b12 *kap *n2 )
3 3 3
4 8 3 2 2 10 4 2
+ u1*u2*v1*(4*a11 *b12 *kap *n1*n2 - 8*a11 *b12 *kap *n1*n2 ) + u1*u2*v2*(
4 8 3 2 2 4 8 3 3
2*a11 *b12 *kap *n1 *n2 - ---*a11 *b12 *kap *n2
3
2 10 4 2 8 2 10 4 3 8 12 5 3
- 4*a11 *b12 *kap *n1 *n2 + ---*a11 *b12 *kap *n2 - ---*b12 *kap *n2
3 3
5 7 3 3 9 4
) + u1*u2*v3*( - 4*a11 *b12 *kap *m3*n1*n2 + 8*a11 *b12 *kap *m3*n1*n2) +
4 7 4 2 4 7 3 3
u1*u2*(2*a11 *b12 *kap *m3 *n1*n2 + 2*a11 *b12 *kap *n1 *n2
2 9 5 2 2 9 4 3 2
- 4*a11 *b12 *kap *m3 *n1*n2 - 4*a11 *b12 *kap *n1 *n2) + u1*u3 *v1*(
7 6 2 5 8 3
- 5*a11 *b12 *kap *n1*n2 + 8*a11 *b12 *kap *n1*n2
3 10 4 2 7 6 2 2
+ 4*a11 *b12 *kap *n1*n2) + u1*u3 *v2*( - a11 *b12 *kap *n1
2 7 6 2 2 2 5 8 3 2 3 10 4 2
+ ---*a11 *b12 *kap *n2 - ---*a11 *b12 *kap *n2 + 4*a11 *b12 *kap *n1
9 3
8 12 5 2 2 7 5 2 3
+ ---*a11*b12 *kap *n2 ) + u1*u3 *( - a11 *b12 *kap *n1
9
8 7 5 2 2 10 5 7 3 2
+ ---*a11 *b12 *kap *n1*n2 - ----*a11 *b12 *kap *n1*n2
9 3
3 9 4 3 8 3 9 4 2
+ 4*a11 *b12 *kap *n1 + ---*a11 *b12 *kap *n1*n2
3
8 11 5 2
+ ---*a11*b12 *kap *n1*n2 ) + u1*u3*v1*v3
9
2 4 9 3 2 8 2 11 4 2 8 13 5 2
*(---*a11 *b12 *kap *n2 - ---*a11 *b12 *kap *n2 + ---*b12 *kap *n2 ) + u1
3 3 3
2 7 5 2 2 8 5 7 3 2
*u3*v1*(---*a11 *b12 *kap *m3*n2 - ---*a11 *b12 *kap *m3*n2
3 3
8 3 9 4 2 7 5 2
+ ---*a11 *b12 *kap *m3*n2 ) + u1*u3*v2*(6*a11 *b12 *kap *m3*n1*n2
3
5 7 3 3 9 4
+ 4*a11 *b12 *kap *m3*n1*n2 - 8*a11 *b12 *kap *m3*n1*n2) + u1*u3*v3
2 4 8 3 3 8 2 10 4 3 8 12 5 3
*( - ---*a11 *b12 *kap *n2 + ---*a11 *b12 *kap *n2 - ---*b12 *kap *n2 )
3 3 3
4 8 3 2 10 4
+ u1*v1*v3*(4*a11 *b12 *kap *m3*n1*n2 - 8*a11 *b12 *kap *m3*n1*n2)
7 4 2 2 5 6 3 2
+ u1*v1*( - 4*a11 *b12 *kap *m3 *n1*n2 - 4*a11 *b12 *kap *m3 *n1*n2)
4 7 3 2 2 9 4 2 4
+ u1*v3*(2*a11 *b12 *kap *m3*n1*n2 + 8*a11 *b12 *kap *m3*n1*n2 ) + u2 *(
8 5 2 2 1 8 5 2 2 6 7 3 2
- a11 *b12 *kap *n1 + ---*a11 *b12 *kap *n2 + 2*a11 *b12 *kap *n1
3
4 6 7 3 2 4 4 9 4 2 3
- ---*a11 *b12 *kap *n2 + ---*a11 *b12 *kap *n2 ) + u2 *v1*(
3 3
7 6 2 2 2 7 6 2 2 5 8 3 2
2*a11 *b12 *kap *n1 - ---*a11 *b12 *kap *n2 - 4*a11 *b12 *kap *n1
3
8 5 8 3 2 8 3 10 4 2
+ ---*a11 *b12 *kap *n2 - ---*a11 *b12 *kap *n2 )
3 3
3 7 6 2 5 8 3 3
+ u2 *v2*( - 2*a11 *b12 *kap *n1*n2 + 4*a11 *b12 *kap *n1*n2) + u2 *(
2 7 5 2 3 4 5 7 3 3 8 3 9 4 3
---*a11 *b12 *kap *n2 - ---*a11 *b12 *kap *n2 + ---*a11 *b12 *kap *n2
9 3 3
16 11 5 3 2 2 10 3 2
- ----*a11*b12 *kap *n2 ) + u2 *u3 *(a11 *b12 *kap*n1
9
1 10 3 2 8 5 2 2 14 8 5 2 2
- ---*a11 *b12 *kap*n2 - 3*a11 *b12 *kap *n1 + ----*a11 *b12 *kap *n2
3 9
6 7 3 2 4 9 4 2 2 11 5 2
- 2*a11 *b12 *kap *n2 + 3*a11 *b12 *kap *n1 + 2*a11 *b12 *kap *n1
8 2 11 5 2
+ ---*a11 *b12 *kap *n2 )
9
2 7 6 2 5 8 3 2
+ u2 *u3*v3*( - 4*a11 *b12 *kap *n1*n2 + 8*a11 *b12 *kap *n1*n2) + u2 *u3*(
8 4 2 6 6 3
8*a11 *b12 *kap *m3*n1*n2 + 2*a11 *b12 *kap *m3*n1*n2
4 8 4 2 2 4 9 3 2
- 6*a11 *b12 *kap *m3*n1*n2) + u2 *v1 *(a11 *b12 *kap *n1
1 4 9 3 2 2 11 4 2
- ---*a11 *b12 *kap *n2 - 2*a11 *b12 *kap *n1
3
4 2 11 4 2 4 13 5 2
+ ---*a11 *b12 *kap *n2 - ---*b12 *kap *n2 )
3 3
2 4 9 3 2 11 4 2
+ u2 *v1*v2*( - 2*a11 *b12 *kap *n1*n2 + 4*a11 *b12 *kap *n1*n2) + u2 *v1
2 4 8 3 3 8 2 10 4 3 8 12 5 3
*(---*a11 *b12 *kap *n2 - ---*a11 *b12 *kap *n2 + ---*b12 *kap *n2 )
3 3 3
2 2 4 9 3 2 2 11 4 2
+ u2 *v2 *(a11 *b12 *kap *n1 - 2*a11 *b12 *kap *n1 )
2 4 8 3 2 2 10 4 2 2
+ u2 *v2*(2*a11 *b12 *kap *n1*n2 - 4*a11 *b12 *kap *n1*n2 ) + u2 *v3*(
5 7 3 2 2 5 7 3 2
2*a11 *b12 *kap *m3*n1 - ---*a11 *b12 *kap *m3*n2
3
3 9 4 2 8 3 9 4 2
- 4*a11 *b12 *kap *m3*n1 + ---*a11 *b12 *kap *m3*n2
3
8 11 5 2 2 4 7 3 4
- ---*a11*b12 *kap *m3*n2 ) + u2 *( - a11 *b12 *kap *n1
3
4 7 3 2 2 1 4 7 3 4 2 9 4 4
- a11 *b12 *kap *n1 *n2 - ---*a11 *b12 *kap *n2 + 2*a11 *b12 *kap *n1
3
2 9 4 2 2 4 2 9 4 4 4 11 5 4
+ 2*a11 *b12 *kap *n1 *n2 + ---*a11 *b12 *kap *n2 - ---*b12 *kap *n2 )
3 3
2 7 6 2 2 8 7 6 2 2
+ u2*u3 *v1*(3*a11 *b12 *kap *n1 - ---*a11 *b12 *kap *n2
9
5 8 3 2 10 5 8 3 2
- 4*a11 *b12 *kap *n1 + ----*a11 *b12 *kap *n2
3
3 10 4 2 8 3 10 4 2
- 4*a11 *b12 *kap *n1 - ---*a11 *b12 *kap *n2
3
8 12 5 2
- ---*a11*b12 *kap *n2 )
9
2 7 6 2 3 10 4 2
+ u2*u3 *v2*( - a11 *b12 *kap *n1*n2 + 4*a11 *b12 *kap *n1*n2) + u2*u3 *(
7 5 2 2 8 7 5 2 3
- a11 *b12 *kap *n1 *n2 + ---*a11 *b12 *kap *n2
9
10 5 7 3 3 3 9 4 2
- ----*a11 *b12 *kap *n2 + 4*a11 *b12 *kap *n1 *n2
3
8 3 9 4 3 8 11 5 3
+ ---*a11 *b12 *kap *n2 + ---*a11*b12 *kap *n2 )
3 9
4 9 3 2 11 4
+ u2*u3*v1*v3*( - 4*a11 *b12 *kap *n1*n2 + 8*a11 *b12 *kap *n1*n2)
7 5 2
- 6*u2*u3*v1*a11 *b12 *kap *m3*n1*n2
4 9 3 2 2 11 4 2
+ u2*u3*v2*v3*(2*a11 *b12 *kap *n1 - 4*a11 *b12 *kap *n1 ) + u2*u3*v2*(
2 7 5 2 2 5 7 3 2
---*a11 *b12 *kap *m3*n2 - 2*a11 *b12 *kap *m3*n1
3
5 7 3 2 3 9 4 2
- 2*a11 *b12 *kap *m3*n2 + 4*a11 *b12 *kap *m3*n1
8 11 5 2 4 8 3 3
+ ---*a11*b12 *kap *m3*n2 ) + u2*u3*v3*(2*a11 *b12 *kap *n1
3
4 8 3 2 2 10 4 3
+ 4*a11 *b12 *kap *n1*n2 - 4*a11 *b12 *kap *n1
2 10 4 2 7 4 2 3
- 8*a11 *b12 *kap *n1*n2 ) + u2*u3*(4*a11 *b12 *kap *m3*n1
16 7 4 2 2 5 6 3 3
- ----*a11 *b12 *kap *m3*n1*n2 - 4*a11 *b12 *kap *m3*n1
9
16 5 6 3 2 3 8 4 3
+ ----*a11 *b12 *kap *m3*n1*n2 - 8*a11 *b12 *kap *m3*n1
3
64 10 5 2 4 8 3 2
- ----*a11*b12 *kap *m3*n1*n2 ) + u2*v1*v3*( - 2*a11 *b12 *kap *m3*n1
9
2 4 8 3 2 2 10 4 2
+ ---*a11 *b12 *kap *m3*n2 + 4*a11 *b12 *kap *m3*n1
3
8 2 10 4 2 8 12 5 2
- ---*a11 *b12 *kap *m3*n2 + ---*b12 *kap *m3*n2 )
3 3
7 4 2 2 5 6 3 2
+ u2*v2*( - 4*a11 *b12 *kap *m3 *n1*n2 - 4*a11 *b12 *kap *m3 *n1*n2) + u2*v3
4 7 3 2 2 4 7 3 3
*( - 4*a11 *b12 *kap *m3*n1 *n2 - ---*a11 *b12 *kap *m3*n2
3
2 9 4 2 8 2 9 4 3
- 4*a11 *b12 *kap *m3*n1 *n2 + ---*a11 *b12 *kap *m3*n2
3
8 11 5 3 7 3 2 2 2
- ---*b12 *kap *m3*n2 ) + u2*( - 4*a11 *b12 *kap *m3 *n1 *n2
3
5 5 3 2 2 3 7 4 2 2 4
+ 4*a11 *b12 *kap *m3 *n1 *n2 + 8*a11 *b12 *kap *m3 *n1 *n2) + u3 *(
3 10 3 2 7 10 3 2 8 5 2 2
---*a11 *b12 *kap*n1 - ----*a11 *b12 *kap*n2 - a11 *b12 *kap *n1
4 18
7 8 5 2 2 6 7 3 2 14 4 9 4 2
+ ---*a11 *b12 *kap *n2 - a11 *b12 *kap *n1 - ----*a11 *b12 *kap *n2 )
6 9
3 7 6 2 5 8 3
+ u3 *v3*( - 3*a11 *b12 *kap *n1*n2 + 4*a11 *b12 *kap *n1*n2
3 10 4 3 13 8 4 2
+ 4*a11 *b12 *kap *n1*n2) + u3 *(----*a11 *b12 *kap *m3*n1*n2
3
8 6 6 3 7 4 8 4
- ---*a11 *b12 *kap *m3*n1*n2 - ---*a11 *b12 *kap *m3*n1*n2
3 3
14 2 10 5 2 2
+ ----*a11 *b12 *kap *m3*n1*n2) + u3 *v1
3
1 4 9 3 2 4 2 11 4 2 4 13 5 2
*( - ---*a11 *b12 *kap *n2 + ---*a11 *b12 *kap *n2 - ---*b12 *kap *n2 )
3 3 3
2 4 9 3 2 11 4 2
+ u3 *v1*v2*(2*a11 *b12 *kap *n1*n2 - 4*a11 *b12 *kap *n1*n2) + u3 *v1*(
4 8 3 2 2 4 8 3 3
2*a11 *b12 *kap *n1 *n2 + ---*a11 *b12 *kap *n2
3
2 10 4 2 8 2 10 4 3 8 12 5 3
- 4*a11 *b12 *kap *n1 *n2 - ---*a11 *b12 *kap *n2 + ---*b12 *kap *n2
3 3
2 2 4 9 3 2 2 11 4 2 2
) + u3 *v2 *( - a11 *b12 *kap *n1 + 2*a11 *b12 *kap *n1 ) + u3 *v2*(
4 8 3 3 4 8 3 2 2 10 4 3
- 2*a11 *b12 *kap *n1 - 2*a11 *b12 *kap *n1*n2 + 4*a11 *b12 *kap *n1
2 10 4 2 2 7 5 2 2
+ 4*a11 *b12 *kap *n1*n2 ) + u3 *v3*( - a11 *b12 *kap *m3*n1
8 7 5 2 2 10 5 7 3 2
+ ---*a11 *b12 *kap *m3*n2 - ----*a11 *b12 *kap *m3*n2
9 3
3 9 4 2 8 3 9 4 2
+ 4*a11 *b12 *kap *m3*n1 + ---*a11 *b12 *kap *m3*n2
3
8 11 5 2 2 4 7 4 2 2
+ ---*a11*b12 *kap *m3*n2 ) + u3 *(a11 *b12 *kap *m3 *n1
9
4 7 3 4 4 7 3 2 2 1 4 7 3 4
- a11 *b12 *kap *n1 - 2*a11 *b12 *kap *n1 *n2 - ---*a11 *b12 *kap *n2
3
2 9 5 2 2 2 9 4 4
- 2*a11 *b12 *kap *m3 *n1 + 2*a11 *b12 *kap *n1
2 9 4 2 2 4 2 9 4 4 4 11 5 4
+ 4*a11 *b12 *kap *n1 *n2 + ---*a11 *b12 *kap *n2 - ---*b12 *kap *n2 )
3 3
2 4 8 3 2 10 4
+ u3*v1 *(2*a11 *b12 *kap *m3*n1*n2 + 8*a11 *b12 *kap *m3*n1*n2) + u3*v1*v2
4 8 3 2 2 4 8 3 2
*(2*a11 *b12 *kap *m3*n1 - ---*a11 *b12 *kap *m3*n2
3
2 10 4 2 8 2 10 4 2
- 4*a11 *b12 *kap *m3*n1 + ---*a11 *b12 *kap *m3*n2
3
8 12 5 2 4 7 3 3
- ---*b12 *kap *m3*n2 ) + u3*v1*(2*a11 *b12 *kap *m3*n1
3
4 7 3 2 2 9 4 3
- 2*a11 *b12 *kap *m3*n1*n2 - 4*a11 *b12 *kap *m3*n1
2 9 4 2 2 4 8 3
- 8*a11 *b12 *kap *m3*n1*n2 ) + 6*u3*v2 *a11 *b12 *kap *m3*n1*n2 + u3*v2*
4 7 3 2 2 4 7 3 3
(6*a11 *b12 *kap *m3*n1 *n2 + ---*a11 *b12 *kap *m3*n2
3
8 2 9 4 3 8 11 5 3
- ---*a11 *b12 *kap *m3*n2 + ---*b12 *kap *m3*n2 )
3 3
2 4 8 3
+ 6*u3*v3 *a11 *b12 *kap *m3*n1*n2
4 6 4 3 2 8 5 3
+ u3*( - 4*a11 *b12 *kap *m3 *n1*n2 - 4*a11 *b12 *kap *m3 *n1*n2)
4 7 3 2 2 9 4 2
+ v1*v2*( - 2*a11 *b12 *kap *m3 *n1*n2 + 4*a11 *b12 *kap *m3 *n1*n2) + v1*(
10 2 2 8 2 2 2
- 4*a11 *m3 *n1 *n2 - 4*a11 *b12 *kap*m3 *n1 *n2
6 4 2 2 2 4 6 3 2 2
+ 16*a11 *b12 *kap *m3 *n1 *n2 + 12*a11 *b12 *kap *m3 *n1 *n2
2 8 4 2 2 2 4 7 3 2 2
- 4*a11 *b12 *kap *m3 *n1 *n2) + v2 *(a11 *b12 *kap *m3 *n1
1 4 7 3 2 2 2 9 4 2 2
- ---*a11 *b12 *kap *m3 *n2 - 2*a11 *b12 *kap *m3 *n1
3
4 2 9 4 2 2 4 11 5 2 2
+ ---*a11 *b12 *kap *m3 *n2 - ---*b12 *kap *m3 *n2 )
3 3
4 6 3 2 2 2 8 4 2 2 2
+ v2*( - 4*a11 *b12 *kap *m3 *n1*n2 - 4*a11 *b12 *kap *m3 *n1*n2 ) + v3 *(
4 7 3 2 2 1 4 7 3 2 2
a11 *b12 *kap *m3 *n1 - ---*a11 *b12 *kap *m3 *n2
3
2 9 4 2 2 4 2 9 4 2 2
- 2*a11 *b12 *kap *m3 *n1 + ---*a11 *b12 *kap *m3 *n2
3
4 11 5 2 2
- ---*b12 *kap *m3 *n2 )
3
Stop of a subroutine.
Number of garbage collections exceeds max_gc_fac.
which the program can not factorize further.
{HAM,FI} = 0
And again in machine readable form:
HAM=(u1**2*a11*b12**2*kap + u1*v2*b12**3*kap + u1*b12**2*kap*n1 + u2**2*a11*b12
**2*kap - u2*v1*b12**3*kap + u2*b12**2*kap*n2 - 1/2*u3**2*a11**3 + v3*b12**2*kap
*m3)/(b12**2*kap)$
FI=u1**3*u2*(72*a11**4*b12**9*kap**4*n1*n2 - 144*a11**2*b12**11*kap**5*n1*n2) +
u1**3*v1*( - 72*a11**7*b12**6*kap**2*n1*n2 + 144*a11**5*b12**8*kap**3*n1*n2) +
u1**3*(24*a11**7*b12**5*kap**2*n1*n2**2 - 96*a11**5*b12**7*kap**3*n1*n2**2 + 96*
a11**3*b12**9*kap**4*n1*n2**2) + u1**2*u2**2*( - 36*a11**8*b12**5*kap**2*n1**2 +
12*a11**8*b12**5*kap**2*n2**2 + 72*a11**6*b12**7*kap**3*n1**2 - 48*a11**6*b12**
7*kap**3*n2**2 + 48*a11**4*b12**9*kap**4*n2**2) + u1**2*u2*v2*(72*a11**7*b12**6*
kap**2*n1*n2 - 144*a11**5*b12**8*kap**3*n1*n2) + u1**2*u2*(8*a11**7*b12**5*kap**
2*n2**3 - 48*a11**5*b12**7*kap**3*n2**3 + 96*a11**3*b12**9*kap**4*n2**3 - 64*a11
*b12**11*kap**5*n2**3) + u1**2*u3**2*( - 36*a11**10*b12**3*kap*n1**2 + 12*a11**
10*b12**3*kap*n2**2 - 36*a11**8*b12**5*kap**2*n1**2 - 16*a11**8*b12**5*kap**2*n2
**2 + 144*a11**6*b12**7*kap**3*n1**2 - 72*a11**6*b12**7*kap**3*n2**2 + 144*a11**
4*b12**9*kap**4*n1**2 + 84*a11**4*b12**9*kap**4*n2**2 + 80*a11**2*b12**11*kap**5
*n2**2 - 48*b12**13*kap**6*n2**2) + u1**2*u3*(144*a11**8*b12**4*kap**2*m3*n1*n2
+ 126*a11**6*b12**6*kap**3*m3*n1*n2 + 162*a11**4*b12**8*kap**4*m3*n1*n2 + 180*
a11**2*b12**10*kap**5*m3*n1*n2) + u1**2*v1**2*(12*a11**4*b12**9*kap**3*n2**2 -
48*a11**2*b12**11*kap**4*n2**2 + 48*b12**13*kap**5*n2**2) + u1**2*v1*v2*(72*a11
**4*b12**9*kap**3*n1*n2 - 144*a11**2*b12**11*kap**4*n1*n2) + u1**2*v1*(72*a11**4
*b12**8*kap**3*n1**2*n2 - 144*a11**2*b12**10*kap**4*n1**2*n2) + u1**2*v2*( - 72*
a11**4*b12**8*kap**3*n1*n2**2 + 144*a11**2*b12**10*kap**4*n1*n2**2) + u1**2*(36*
a11**4*b12**7*kap**4*m3**2*n1**2 - 12*a11**4*b12**7*kap**4*m3**2*n2**2 - 72*a11
**4*b12**7*kap**3*n1**2*n2**2 - 12*a11**4*b12**7*kap**3*n2**4 - 72*a11**2*b12**9
*kap**5*m3**2*n1**2 + 48*a11**2*b12**9*kap**5*m3**2*n2**2 + 144*a11**2*b12**9*
kap**4*n1**2*n2**2 + 48*a11**2*b12**9*kap**4*n2**4 - 48*b12**11*kap**6*m3**2*n2
**2 - 48*b12**11*kap**5*n2**4) + u1*u2**3*(72*a11**8*b12**5*kap**2*n1*n2 - 144*
a11**6*b12**7*kap**3*n1*n2) + u1*u2**2*v1*( - 216*a11**7*b12**6*kap**2*n1*n2 +
432*a11**5*b12**8*kap**3*n1*n2) + u1*u2**2*v2*( - 72*a11**7*b12**6*kap**2*n1**2
+ 24*a11**7*b12**6*kap**2*n2**2 + 144*a11**5*b12**8*kap**3*n1**2 - 96*a11**5*b12
**8*kap**3*n2**2 + 96*a11**3*b12**10*kap**4*n2**2) + u1*u2**2*(24*a11**7*b12**5*
kap**2*n1*n2**2 - 96*a11**5*b12**7*kap**3*n1*n2**2 + 96*a11**3*b12**9*kap**4*n1*
n2**2) + u1*u2*u3**2*( - 144*a11**10*b12**3*kap*n1*n2 + 216*a11**8*b12**5*kap**2
*n1*n2 + 144*a11**6*b12**7*kap**3*n1*n2) + u1*u2*u3*v3*( - 72*a11**7*b12**6*kap
**2*n1**2 + 24*a11**7*b12**6*kap**2*n2**2 + 144*a11**5*b12**8*kap**3*n1**2 - 96*
a11**5*b12**8*kap**3*n2**2 + 96*a11**3*b12**10*kap**4*n2**2) + u1*u2*v1**2*( -
144*a11**4*b12**9*kap**3*n1*n2 + 288*a11**2*b12**11*kap**4*n1*n2) + u1*u2*v1*v2*
(24*a11**4*b12**9*kap**3*n2**2 - 96*a11**2*b12**11*kap**4*n2**2 + 96*b12**13*kap
**5*n2**2) + u1*u2*v1*(144*a11**4*b12**8*kap**3*n1*n2**2 - 288*a11**2*b12**10*
kap**4*n1*n2**2) + u1*u2*v2*(72*a11**4*b12**8*kap**3*n1**2*n2 - 24*a11**4*b12**8
*kap**3*n2**3 - 144*a11**2*b12**10*kap**4*n1**2*n2 + 96*a11**2*b12**10*kap**4*n2
**3 - 96*b12**12*kap**5*n2**3) + u1*u2*v3*( - 144*a11**5*b12**7*kap**3*m3*n1*n2
+ 288*a11**3*b12**9*kap**4*m3*n1*n2) + u1*u2*(72*a11**4*b12**7*kap**4*m3**2*n1*
n2 + 72*a11**4*b12**7*kap**3*n1**3*n2 - 144*a11**2*b12**9*kap**5*m3**2*n1*n2 -
144*a11**2*b12**9*kap**4*n1**3*n2) + u1*u3**2*v1*( - 180*a11**7*b12**6*kap**2*n1
*n2 + 288*a11**5*b12**8*kap**3*n1*n2 + 144*a11**3*b12**10*kap**4*n1*n2) + u1*u3
**2*v2*( - 36*a11**7*b12**6*kap**2*n1**2 + 8*a11**7*b12**6*kap**2*n2**2 - 24*a11
**5*b12**8*kap**3*n2**2 + 144*a11**3*b12**10*kap**4*n1**2 + 32*a11*b12**12*kap**
5*n2**2) + u1*u3**2*( - 36*a11**7*b12**5*kap**2*n1**3 + 32*a11**7*b12**5*kap**2*
n1*n2**2 - 120*a11**5*b12**7*kap**3*n1*n2**2 + 144*a11**3*b12**9*kap**4*n1**3 +
96*a11**3*b12**9*kap**4*n1*n2**2 + 32*a11*b12**11*kap**5*n1*n2**2) + u1*u3*v1*v3
*(24*a11**4*b12**9*kap**3*n2**2 - 96*a11**2*b12**11*kap**4*n2**2 + 96*b12**13*
kap**5*n2**2) + u1*u3*v1*(24*a11**7*b12**5*kap**2*m3*n2**2 - 96*a11**5*b12**7*
kap**3*m3*n2**2 + 96*a11**3*b12**9*kap**4*m3*n2**2) + u1*u3*v2*(216*a11**7*b12**
5*kap**2*m3*n1*n2 + 144*a11**5*b12**7*kap**3*m3*n1*n2 - 288*a11**3*b12**9*kap**4
*m3*n1*n2) + u1*u3*v3*( - 24*a11**4*b12**8*kap**3*n2**3 + 96*a11**2*b12**10*kap
**4*n2**3 - 96*b12**12*kap**5*n2**3) + u1*v1*v3*(144*a11**4*b12**8*kap**3*m3*n1*
n2 - 288*a11**2*b12**10*kap**4*m3*n1*n2) + u1*v1*( - 144*a11**7*b12**4*kap**2*m3
**2*n1*n2 - 144*a11**5*b12**6*kap**3*m3**2*n1*n2) + u1*v3*(72*a11**4*b12**7*kap
**3*m3*n1*n2**2 + 288*a11**2*b12**9*kap**4*m3*n1*n2**2) + u2**4*( - 36*a11**8*
b12**5*kap**2*n1**2 + 12*a11**8*b12**5*kap**2*n2**2 + 72*a11**6*b12**7*kap**3*n1
**2 - 48*a11**6*b12**7*kap**3*n2**2 + 48*a11**4*b12**9*kap**4*n2**2) + u2**3*v1*
(72*a11**7*b12**6*kap**2*n1**2 - 24*a11**7*b12**6*kap**2*n2**2 - 144*a11**5*b12
**8*kap**3*n1**2 + 96*a11**5*b12**8*kap**3*n2**2 - 96*a11**3*b12**10*kap**4*n2**
2) + u2**3*v2*( - 72*a11**7*b12**6*kap**2*n1*n2 + 144*a11**5*b12**8*kap**3*n1*n2
) + u2**3*(8*a11**7*b12**5*kap**2*n2**3 - 48*a11**5*b12**7*kap**3*n2**3 + 96*a11
**3*b12**9*kap**4*n2**3 - 64*a11*b12**11*kap**5*n2**3) + u2**2*u3**2*(36*a11**10
*b12**3*kap*n1**2 - 12*a11**10*b12**3*kap*n2**2 - 108*a11**8*b12**5*kap**2*n1**2
+ 56*a11**8*b12**5*kap**2*n2**2 - 72*a11**6*b12**7*kap**3*n2**2 + 108*a11**4*
b12**9*kap**4*n1**2 + 72*a11**2*b12**11*kap**5*n1**2 + 32*a11**2*b12**11*kap**5*
n2**2) + u2**2*u3*v3*( - 144*a11**7*b12**6*kap**2*n1*n2 + 288*a11**5*b12**8*kap
**3*n1*n2) + u2**2*u3*(288*a11**8*b12**4*kap**2*m3*n1*n2 + 72*a11**6*b12**6*kap
**3*m3*n1*n2 - 216*a11**4*b12**8*kap**4*m3*n1*n2) + u2**2*v1**2*(36*a11**4*b12**
9*kap**3*n1**2 - 12*a11**4*b12**9*kap**3*n2**2 - 72*a11**2*b12**11*kap**4*n1**2
+ 48*a11**2*b12**11*kap**4*n2**2 - 48*b12**13*kap**5*n2**2) + u2**2*v1*v2*( - 72
*a11**4*b12**9*kap**3*n1*n2 + 144*a11**2*b12**11*kap**4*n1*n2) + u2**2*v1*(24*
a11**4*b12**8*kap**3*n2**3 - 96*a11**2*b12**10*kap**4*n2**3 + 96*b12**12*kap**5*
n2**3) + u2**2*v2**2*(36*a11**4*b12**9*kap**3*n1**2 - 72*a11**2*b12**11*kap**4*
n1**2) + u2**2*v2*(72*a11**4*b12**8*kap**3*n1*n2**2 - 144*a11**2*b12**10*kap**4*
n1*n2**2) + u2**2*v3*(72*a11**5*b12**7*kap**3*m3*n1**2 - 24*a11**5*b12**7*kap**3
*m3*n2**2 - 144*a11**3*b12**9*kap**4*m3*n1**2 + 96*a11**3*b12**9*kap**4*m3*n2**2
- 96*a11*b12**11*kap**5*m3*n2**2) + u2**2*( - 36*a11**4*b12**7*kap**3*n1**4 -
36*a11**4*b12**7*kap**3*n1**2*n2**2 - 12*a11**4*b12**7*kap**3*n2**4 + 72*a11**2*
b12**9*kap**4*n1**4 + 72*a11**2*b12**9*kap**4*n1**2*n2**2 + 48*a11**2*b12**9*kap
**4*n2**4 - 48*b12**11*kap**5*n2**4) + u2*u3**2*v1*(108*a11**7*b12**6*kap**2*n1
**2 - 32*a11**7*b12**6*kap**2*n2**2 - 144*a11**5*b12**8*kap**3*n1**2 + 120*a11**
5*b12**8*kap**3*n2**2 - 144*a11**3*b12**10*kap**4*n1**2 - 96*a11**3*b12**10*kap
**4*n2**2 - 32*a11*b12**12*kap**5*n2**2) + u2*u3**2*v2*( - 36*a11**7*b12**6*kap
**2*n1*n2 + 144*a11**3*b12**10*kap**4*n1*n2) + u2*u3**2*( - 36*a11**7*b12**5*kap
**2*n1**2*n2 + 32*a11**7*b12**5*kap**2*n2**3 - 120*a11**5*b12**7*kap**3*n2**3 +
144*a11**3*b12**9*kap**4*n1**2*n2 + 96*a11**3*b12**9*kap**4*n2**3 + 32*a11*b12**
11*kap**5*n2**3) + u2*u3*v1*v3*( - 144*a11**4*b12**9*kap**3*n1*n2 + 288*a11**2*
b12**11*kap**4*n1*n2) - 216*u2*u3*v1*a11**7*b12**5*kap**2*m3*n1*n2 + u2*u3*v2*v3
*(72*a11**4*b12**9*kap**3*n1**2 - 144*a11**2*b12**11*kap**4*n1**2) + u2*u3*v2*(
24*a11**7*b12**5*kap**2*m3*n2**2 - 72*a11**5*b12**7*kap**3*m3*n1**2 - 72*a11**5*
b12**7*kap**3*m3*n2**2 + 144*a11**3*b12**9*kap**4*m3*n1**2 + 96*a11*b12**11*kap
**5*m3*n2**2) + u2*u3*v3*(72*a11**4*b12**8*kap**3*n1**3 + 144*a11**4*b12**8*kap
**3*n1*n2**2 - 144*a11**2*b12**10*kap**4*n1**3 - 288*a11**2*b12**10*kap**4*n1*n2
**2) + u2*u3*(144*a11**7*b12**4*kap**2*m3*n1**3 - 64*a11**7*b12**4*kap**2*m3*n1*
n2**2 - 144*a11**5*b12**6*kap**3*m3*n1**3 + 192*a11**5*b12**6*kap**3*m3*n1*n2**2
- 288*a11**3*b12**8*kap**4*m3*n1**3 - 256*a11*b12**10*kap**5*m3*n1*n2**2) + u2*
v1*v3*( - 72*a11**4*b12**8*kap**3*m3*n1**2 + 24*a11**4*b12**8*kap**3*m3*n2**2 +
144*a11**2*b12**10*kap**4*m3*n1**2 - 96*a11**2*b12**10*kap**4*m3*n2**2 + 96*b12
**12*kap**5*m3*n2**2) + u2*v2*( - 144*a11**7*b12**4*kap**2*m3**2*n1*n2 - 144*a11
**5*b12**6*kap**3*m3**2*n1*n2) + u2*v3*( - 144*a11**4*b12**7*kap**3*m3*n1**2*n2
- 24*a11**4*b12**7*kap**3*m3*n2**3 - 144*a11**2*b12**9*kap**4*m3*n1**2*n2 + 96*
a11**2*b12**9*kap**4*m3*n2**3 - 96*b12**11*kap**5*m3*n2**3) + u2*( - 144*a11**7*
b12**3*kap**2*m3**2*n1**2*n2 + 144*a11**5*b12**5*kap**3*m3**2*n1**2*n2 + 288*a11
**3*b12**7*kap**4*m3**2*n1**2*n2) + u3**4*(27*a11**10*b12**3*kap*n1**2 - 14*a11
**10*b12**3*kap*n2**2 - 36*a11**8*b12**5*kap**2*n1**2 + 42*a11**8*b12**5*kap**2*
n2**2 - 36*a11**6*b12**7*kap**3*n1**2 - 56*a11**4*b12**9*kap**4*n2**2) + u3**3*
v3*( - 108*a11**7*b12**6*kap**2*n1*n2 + 144*a11**5*b12**8*kap**3*n1*n2 + 144*a11
**3*b12**10*kap**4*n1*n2) + u3**3*(156*a11**8*b12**4*kap**2*m3*n1*n2 - 96*a11**6
*b12**6*kap**3*m3*n1*n2 - 84*a11**4*b12**8*kap**4*m3*n1*n2 + 168*a11**2*b12**10*
kap**5*m3*n1*n2) + u3**2*v1**2*( - 12*a11**4*b12**9*kap**3*n2**2 + 48*a11**2*b12
**11*kap**4*n2**2 - 48*b12**13*kap**5*n2**2) + u3**2*v1*v2*(72*a11**4*b12**9*kap
**3*n1*n2 - 144*a11**2*b12**11*kap**4*n1*n2) + u3**2*v1*(72*a11**4*b12**8*kap**3
*n1**2*n2 + 24*a11**4*b12**8*kap**3*n2**3 - 144*a11**2*b12**10*kap**4*n1**2*n2 -
96*a11**2*b12**10*kap**4*n2**3 + 96*b12**12*kap**5*n2**3) + u3**2*v2**2*( - 36*
a11**4*b12**9*kap**3*n1**2 + 72*a11**2*b12**11*kap**4*n1**2) + u3**2*v2*( - 72*
a11**4*b12**8*kap**3*n1**3 - 72*a11**4*b12**8*kap**3*n1*n2**2 + 144*a11**2*b12**
10*kap**4*n1**3 + 144*a11**2*b12**10*kap**4*n1*n2**2) + u3**2*v3*( - 36*a11**7*
b12**5*kap**2*m3*n1**2 + 32*a11**7*b12**5*kap**2*m3*n2**2 - 120*a11**5*b12**7*
kap**3*m3*n2**2 + 144*a11**3*b12**9*kap**4*m3*n1**2 + 96*a11**3*b12**9*kap**4*m3
*n2**2 + 32*a11*b12**11*kap**5*m3*n2**2) + u3**2*(36*a11**4*b12**7*kap**4*m3**2*
n1**2 - 36*a11**4*b12**7*kap**3*n1**4 - 72*a11**4*b12**7*kap**3*n1**2*n2**2 - 12
*a11**4*b12**7*kap**3*n2**4 - 72*a11**2*b12**9*kap**5*m3**2*n1**2 + 72*a11**2*
b12**9*kap**4*n1**4 + 144*a11**2*b12**9*kap**4*n1**2*n2**2 + 48*a11**2*b12**9*
kap**4*n2**4 - 48*b12**11*kap**5*n2**4) + u3*v1**2*(72*a11**4*b12**8*kap**3*m3*
n1*n2 + 288*a11**2*b12**10*kap**4*m3*n1*n2) + u3*v1*v2*(72*a11**4*b12**8*kap**3*
m3*n1**2 - 24*a11**4*b12**8*kap**3*m3*n2**2 - 144*a11**2*b12**10*kap**4*m3*n1**2
+ 96*a11**2*b12**10*kap**4*m3*n2**2 - 96*b12**12*kap**5*m3*n2**2) + u3*v1*(72*
a11**4*b12**7*kap**3*m3*n1**3 - 72*a11**4*b12**7*kap**3*m3*n1*n2**2 - 144*a11**2
*b12**9*kap**4*m3*n1**3 - 288*a11**2*b12**9*kap**4*m3*n1*n2**2) + 216*u3*v2**2*
a11**4*b12**8*kap**3*m3*n1*n2 + u3*v2*(216*a11**4*b12**7*kap**3*m3*n1**2*n2 + 24
*a11**4*b12**7*kap**3*m3*n2**3 - 96*a11**2*b12**9*kap**4*m3*n2**3 + 96*b12**11*
kap**5*m3*n2**3) + 216*u3*v3**2*a11**4*b12**8*kap**3*m3*n1*n2 + u3*( - 144*a11**
4*b12**6*kap**4*m3**3*n1*n2 - 144*a11**2*b12**8*kap**5*m3**3*n1*n2) + v1*v2*( -
72*a11**4*b12**7*kap**3*m3**2*n1*n2 + 144*a11**2*b12**9*kap**4*m3**2*n1*n2) + v1
*( - 144*a11**10*m3**2*n1**2*n2 - 144*a11**8*b12**2*kap*m3**2*n1**2*n2 + 576*a11
**6*b12**4*kap**2*m3**2*n1**2*n2 + 432*a11**4*b12**6*kap**3*m3**2*n1**2*n2 - 144
*a11**2*b12**8*kap**4*m3**2*n1**2*n2) + v2**2*(36*a11**4*b12**7*kap**3*m3**2*n1
**2 - 12*a11**4*b12**7*kap**3*m3**2*n2**2 - 72*a11**2*b12**9*kap**4*m3**2*n1**2
+ 48*a11**2*b12**9*kap**4*m3**2*n2**2 - 48*b12**11*kap**5*m3**2*n2**2) + v2*( -
144*a11**4*b12**6*kap**3*m3**2*n1*n2**2 - 144*a11**2*b12**8*kap**4*m3**2*n1*n2**
2) + v3**2*(36*a11**4*b12**7*kap**3*m3**2*n1**2 - 12*a11**4*b12**7*kap**3*m3**2*
n2**2 - 72*a11**2*b12**9*kap**4*m3**2*n1**2 + 48*a11**2*b12**9*kap**4*m3**2*n2**
2 - 48*b12**11*kap**5*m3**2*n2**2)$