Solution 6 to problem h
Remaining equations |
Expressions |
Parameters |
Inequalities |
Relevance |
Back to problem h
Equations
The following unsolved equations remain:
2 2
0=a11 + b12 *kap
Expressions
The solution is given through the following expressions:
r10=0
r11=0
3 3 3 3 2 3
r12=(10*a11 *kap*m3 *n1*r5149 + 12*a11 *m3*n1 *r5149 + 14*a11 *b12 *m3*n1*r353
2 3 2 3
- 4*a11 *b12*kap*m3 *n1*r551 + 12*a11 *b12*m3*n1 *r551
2 2 3 2 3
+ 13*a11*b12 *kap *m3 *n1*r5149 + 12*a11*b12 *kap*m3*n1 *r5149
5 3 2 3
+ 8*b12 *kap*m3*n1*r353 + 5*b12 *kap *m3 *n1*r551
3 3 2 5 7 2
+ 12*b12 *kap*m3*n1 *r551)/(14*a11 *b12 *kap + 8*b12 *kap )
3 4 3 2 2 2 3 2
r13=(10*a11 *kap*m3 *r5149 + 12*a11 *m3 *n1 *r5149 + 14*a11 *b12 *m3 *r353
2 4 2 2 2
- 4*a11 *b12*kap*m3 *r551 + 12*a11 *b12*m3 *n1 *r551
2 2 4 2 2 2
+ 13*a11*b12 *kap *m3 *r5149 + 12*a11*b12 *kap*m3 *n1 *r5149
5 2 3 2 4 3 2 2
+ 8*b12 *kap*m3 *r353 + 5*b12 *kap *m3 *r551 + 12*b12 *kap*m3 *n1 *r551)/(
2 5 7
14*a11 *b12 + 8*b12 *kap)
4 3 3 3
r14=(2*a11 *m3*n1 *r5149 - 12*a11 *b12*m3*n1 *r551
2 2 3 3 3
+ 10*a11 *b12 *kap*m3*n1 *r5149 - 12*a11*b12 *kap*m3*n1 *r551
4 2 3 2 6 8 2
+ 8*b12 *kap *m3*n1 *r5149)/(7*a11 *b12 *kap + 4*b12 *kap )
2 3 2 3
2*a11 *m3 *n1*r5176 + 2*b12 *kap*m3 *n1*r5176
r15=-----------------------------------------------
5
a11*b12
r20=0
r21=0
r22=0
2 2 2 2 2
- 4*a11 *m3 *n1*r5149 + 3*a11*b12*m3 *n1*r551 - 4*b12 *kap*m3 *n1*r5149
r23=--------------------------------------------------------------------------
2 3 5
7*a11 *b12 + 4*b12 *kap
r24=0
3 2 3 3 2 3
r27=( - 10*a11 *kap*m3 *n1*r5149 - 12*a11 *n1 *r5149 - 14*a11 *b12 *n1*r353
2 2 2 3
+ 4*a11 *b12*kap*m3 *n1*r551 - 12*a11 *b12*n1 *r551
2 2 2 2 3
- 13*a11*b12 *kap *m3 *n1*r5149 - 12*a11*b12 *kap*n1 *r5149
5 3 2 2 3 3
- 8*b12 *kap*n1*r353 - 5*b12 *kap *m3 *n1*r551 - 12*b12 *kap*n1 *r551)/(
2 4 6 2
14*a11 *b12 *kap + 8*b12 *kap )
2 2 2 2
8*a11 *m3 *n1*r5176 + 8*b12 *kap*m3 *n1*r5176
r28=-----------------------------------------------
5
b12 *kap
r29=0
3 2 3 3 2 3
r210=(10*a11 *kap*m3 *n1*r5149 + 12*a11 *n1 *r5149 + 14*a11 *b12 *n1*r353
2 2 2 3
- 4*a11 *b12*kap*m3 *n1*r551 + 12*a11 *b12*n1 *r551
2 2 2 2 3
+ 13*a11*b12 *kap *m3 *n1*r5149 + 12*a11*b12 *kap*n1 *r5149
5 3 2 2 3 3
+ 8*b12 *kap*n1*r353 + 5*b12 *kap *m3 *n1*r551 + 12*b12 *kap*n1 *r551)/(
2 4 6 2
14*a11 *b12 *kap + 8*b12 *kap )
4 3 4 2 3 3
r211=(12*a11 *kap*m3 *r5149 + 10*a11 *m3*n1 *r5149 + 14*a11 *b12 *m3*r353
3 3 3 2
- 16*a11 *b12*kap*m3 *r551 + 24*a11 *b12*m3*n1 *r551
2 2 2 3 2 2 2
+ 27*a11 *b12 *kap *m3 *r5149 + 2*a11 *b12 *kap*m3*n1 *r5149
5 3 2 3
+ 8*a11*b12 *kap*m3*r353 - 10*a11*b12 *kap *m3 *r551
3 2 4 3 3
+ 24*a11*b12 *kap*m3*n1 *r551 + 12*b12 *kap *m3 *r5149
4 2 2 2 5 7 2
- 8*b12 *kap *m3*n1 *r5149)/(7*a11 *b12 *kap + 4*b12 *kap )
r212=0
2 2 2 2
2*a11 *m3 *n1*r5176 + 2*b12 *kap*m3 *n1*r5176
r213=-----------------------------------------------
4
a11*b12
r214=0
r215=0
4 3 4 2 3 3
r217=(12*a11 *kap*m3 *r5149 + 12*a11 *m3*n1 *r5149 + 14*a11 *b12 *m3*r353
3 3 3 2
- 16*a11 *b12*kap*m3 *r551 + 12*a11 *b12*m3*n1 *r551
2 2 2 3 2 2 2
+ 27*a11 *b12 *kap *m3 *r5149 + 8*a11 *b12 *kap*m3*n1 *r5149
5 3 2 3
+ 8*a11*b12 *kap*m3*r353 - 10*a11*b12 *kap *m3 *r551
3 2 4 3 3
+ 15*a11*b12 *kap*m3*n1 *r551 + 12*b12 *kap *m3 *r5149
4 2 2 2 5 7 2
- 4*b12 *kap *m3*n1 *r5149)/(7*a11 *b12 *kap + 4*b12 *kap )
4 2 3 2
r218=( - 2*a11 *m3 *n1*r5149 + 12*a11 *b12*m3 *n1*r551
2 2 2 3 2
- 14*a11 *b12 *kap*m3 *n1*r5149 + 15*a11*b12 *kap*m3 *n1*r551
4 2 2 2 5 7
- 12*b12 *kap *m3 *n1*r5149)/(7*a11 *b12 + 4*b12 *kap)
r219=0
r220=0
r30=0
r31=0
r32=0
r33=0
- 3*a11*m3*n1*r5149 - 3*b12*m3*n1*r551
r34=-----------------------------------------
2 3
14*a11 *b12 + 8*b12 *kap
r35=0
- 3*a11*m3*n1*r5149 - 3*b12*m3*n1*r551
r36=-----------------------------------------
2 3
14*a11 *b12 + 8*b12 *kap
r37=0
r38=0
- 3*a11*m3*n1*r5149 - 3*b12*m3*n1*r551
r39=-----------------------------------------
2 3
14*a11 *b12 + 8*b12 *kap
5 2 5 2 4 3
r310=(12*a11 *kap*m3 *r5149 + 12*a11 *n1 *r5149 + 14*a11 *b12 *r353
4 2 4 2
- 16*a11 *b12*kap*m3 *r551 + 12*a11 *b12*n1 *r551
3 2 2 2 3 2 2
+ 21*a11 *b12 *kap *m3 *r5149 + 15*a11 *b12 *kap*n1 *r5149
2 5 2 3 2 2
+ 15*a11 *b12 *kap*r353 - 2*a11 *b12 *kap *m3 *r551
2 3 2 4 3 2
+ 15*a11 *b12 *kap*n1 *r551 + 6*a11*b12 *kap *m3 *r5149
4 2 2 7 2 5 3 2
+ 3*a11*b12 *kap *n1 *r5149 + 4*b12 *kap *r353 + 2*b12 *kap *m3 *r551
5 2 2 2 5 2 7 3
+ 3*b12 *kap *n1 *r551)/(7*a11 *b12 *kap + 4*b12 *kap )
2 2
4*a11 *m3*n1*r5149 - 3*a11*b12*m3*n1*r551 + 4*b12 *kap*m3*n1*r5149
r311=--------------------------------------------------------------------
2 2 4
7*a11 *b12 + 4*b12 *kap
5 2 5 2 4 3
r312=(12*a11 *kap*m3 *r5149 + 12*a11 *n1 *r5149 + 14*a11 *b12 *r353
4 2 4 2
- 16*a11 *b12*kap*m3 *r551 + 12*a11 *b12*n1 *r551
3 2 2 2 3 2 2
+ 27*a11 *b12 *kap *m3 *r5149 + 15*a11 *b12 *kap*n1 *r5149
2 5 2 3 2 2
+ 15*a11 *b12 *kap*r353 - 10*a11 *b12 *kap *m3 *r551
2 3 2 4 3 2
+ 15*a11 *b12 *kap*n1 *r551 + 12*a11*b12 *kap *m3 *r5149
4 2 2 7 2 5 2 2
+ 3*a11*b12 *kap *n1 *r5149 + 4*b12 *kap *r353 + 3*b12 *kap *n1 *r551)/(
2 5 2 7 3
7*a11 *b12 *kap + 4*b12 *kap )
m3*n1*r5176
r313=-------------
2*a11*b12
r314=0
5 2 5 2 4 3
r315=(12*a11 *kap*m3 *r5149 + 12*a11 *n1 *r5149 + 14*a11 *b12 *r353
4 2 4 2
- 16*a11 *b12*kap*m3 *r551 + 12*a11 *b12*n1 *r551
3 2 2 2 3 2 2
+ 27*a11 *b12 *kap *m3 *r5149 + 15*a11 *b12 *kap*n1 *r5149
2 5 2 3 2 2
+ 15*a11 *b12 *kap*r353 - 10*a11 *b12 *kap *m3 *r551
2 3 2 4 3 2
+ 15*a11 *b12 *kap*n1 *r551 + 12*a11*b12 *kap *m3 *r5149
4 2 2 7 2 5 2 2
+ 3*a11*b12 *kap *n1 *r5149 + 4*b12 *kap *r353 + 3*b12 *kap *n1 *r551)/(
2 5 2 7 3
7*a11 *b12 *kap + 4*b12 *kap )
2 2 2 2
- 2*a11 *m3 *r5176 - b12 *kap*m3 *r5176
r316=------------------------------------------
3
2*a11*b12
r317=0
r318
2 2
- 14*a11 *m3*n1*r551 - 3*a11*b12*kap*m3*n1*r5149 - 11*b12 *kap*m3*n1*r551
=----------------------------------------------------------------------------
2 2 4
14*a11 *b12 + 8*b12 *kap
5 2 4 2 3 2 2
r319=(8*a11 *m3 *r5149 + 8*a11 *b12*m3 *r551 + 16*a11 *b12 *kap*m3 *r5149
3 2 2 2 5 2 3 2
+ 6*a11 *b12 *n1 *r5149 + 7*a11 *b12 *r353 + 2*a11 *b12 *kap*m3 *r551
2 3 2 4 2 2
+ 6*a11 *b12 *n1 *r551 + 8*a11*b12 *kap *m3 *r5149
4 2 7 5 2
+ 6*a11*b12 *kap*n1 *r5149 + 4*b12 *kap*r353 + 6*b12 *kap*n1 *r551)/(
2 5 7
7*a11 *b12 + 4*b12 *kap)
2 2
- 4*a11 *m3*n1*r5149 + 3*a11*b12*m3*n1*r551 - 4*b12 *kap*m3*n1*r5149
r320=-----------------------------------------------------------------------
2 2 4
7*a11 *b12 + 4*b12 *kap
3 2 2 2 2 2
r321=( - 12*a11 *m3 *r5149 + 16*a11 *b12*m3 *r551 - 12*a11*b12 *kap*m3 *r5149
3 2 2 3 5
+ 4*b12 *kap*m3 *r551)/(7*a11 *b12 + 4*b12 *kap)
r322=0
r323=0
m3*n1*r5176
r324=-------------
2*a11*b12
2 2
4*a11 *m3*n1*r5149 - 3*a11*b12*m3*n1*r551 + 4*b12 *kap*m3*n1*r5149
r325=--------------------------------------------------------------------
2 2 4
7*a11 *b12 + 4*b12 *kap
r326=0
2
kap*m3 *r5176
r327=---------------
2*a11*b12
4 2 4 2 3 3
r328=(12*a11 *kap*m3 *r5149 + 12*a11 *n1 *r5149 + 14*a11 *b12 *r353
3 2 3 2
- 16*a11 *b12*kap*m3 *r551 + 12*a11 *b12*n1 *r551
2 2 2 2 2 2 2
+ 27*a11 *b12 *kap *m3 *r5149 + 12*a11 *b12 *kap*n1 *r5149
5 3 2 2
+ 8*a11*b12 *kap*r353 - 10*a11*b12 *kap *m3 *r551
3 2 4 3 2 2 4
+ 12*a11*b12 *kap*n1 *r551 + 12*b12 *kap *m3 *r5149)/(7*a11 *b12 *kap
6 2
+ 4*b12 *kap )
r329=0
r330=0
r331=0
3 2
r332=( - 10*a11 *m3*n1*r5149 + 4*a11 *b12*m3*n1*r551
2 3 2 3
- 13*a11*b12 *kap*m3*n1*r5149 - 5*b12 *kap*m3*n1*r551)/(14*a11 *b12
5
+ 8*b12 *kap)
4 3
r334=( - 2*a11 *m3*n1*r5149 + 12*a11 *b12*m3*n1*r551
2 2 3
- 10*a11 *b12 *kap*m3*n1*r5149 + 12*a11*b12 *kap*m3*n1*r551
4 2 2 4 6
- 8*b12 *kap *m3*n1*r5149)/(21*a11 *b12 + 12*b12 *kap)
r335=0
r336=0
r337=0
3 2 2 2 2 2
r338=( - 12*a11 *m3 *r5149 + 16*a11 *b12*m3 *r551 - 12*a11*b12 *kap*m3 *r5149
3 2 2 3 5
+ 4*b12 *kap*m3 *r551)/(7*a11 *b12 + 4*b12 *kap)
2 2
- 4*a11 *m3*n1*r5149 + 3*a11*b12*m3*n1*r551 - 4*b12 *kap*m3*n1*r5149
r339=-----------------------------------------------------------------------
2 2 4
7*a11 *b12 + 4*b12 *kap
m3*n1*r5176
r340=-------------
2*a11*b12
r341
3 2 2
- 8*a11 *m3*n1*r5149 + 6*a11 *b12*m3*n1*r551 - 8*a11*b12 *kap*m3*n1*r5149
=----------------------------------------------------------------------------
2 3 5
7*a11 *b12 + 4*b12 *kap
4 2 4 2 3 3
r342=( - 12*a11 *kap*m3 *r5149 - 12*a11 *n1 *r5149 - 14*a11 *b12 *r353
3 2 3 2
+ 16*a11 *b12*kap*m3 *r551 - 12*a11 *b12*n1 *r551
2 2 2 2 2 2 2
- 27*a11 *b12 *kap *m3 *r5149 - 8*a11 *b12 *kap*n1 *r5149
5 3 2 2
- 8*a11*b12 *kap*r353 + 10*a11*b12 *kap *m3 *r551
3 2 4 3 2
- 15*a11*b12 *kap*n1 *r551 - 12*b12 *kap *m3 *r5149
4 2 2 2 4 6 2
+ 4*b12 *kap *n1 *r5149)/(7*a11 *b12 *kap + 4*b12 *kap )
2
kap*m3 *r5176
r343=---------------
2*a11*b12
2 2
- a11 *m3*n1*r5176 - b12 *kap*m3*n1*r5176
r344=--------------------------------------------
3
a11*b12
2 2 2 2 2
- 4*a11 *n1 *r5149 + 3*a11*b12*n1 *r551 - 4*b12 *kap*n1 *r5149
r345=-----------------------------------------------------------------
2 2 4
7*a11 *b12 + 4*b12 *kap
3 2
r346=( - 10*a11 *m3*n1*r5149 + 18*a11 *b12*m3*n1*r551
2 3 2 3
- 10*a11*b12 *kap*m3*n1*r5149 + 6*b12 *kap*m3*n1*r551)/(7*a11 *b12
5
+ 4*b12 *kap)
r347=0
r348=0
2 2
- 8*a11 *m3*n1*r5176 - 8*b12 *kap*m3*n1*r5176
r349=------------------------------------------------
3
9*a11*b12
r350=0
r351=0
3 2
r352=( - 30*a11 *m3*n1*r5149 + 40*a11 *b12*m3*n1*r551
2 3 2 3
- 33*a11*b12 *kap*m3*n1*r5149 + 7*b12 *kap*m3*n1*r551)/(14*a11 *b12
5
+ 8*b12 *kap)
4 3 2 2
r354=(a11 *m3*n1*r5149 - 6*a11 *b12*m3*n1*r551 + 5*a11 *b12 *kap*m3*n1*r5149
3 4 2 2 4
- 6*a11*b12 *kap*m3*n1*r551 + 4*b12 *kap *m3*n1*r5149)/(21*a11 *b12
6
+ 12*b12 *kap)
r355=0
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
3*a11*n1*r5149 + 3*b12*n1*r551
r416=--------------------------------
2 2
14*a11 + 8*b12 *kap
r417=0
3*a11*n1*r5149 + 3*b12*n1*r551
r418=--------------------------------
2 2
14*a11 + 8*b12 *kap
r419=0
r420=0
r421=0
3*a11*n1*r5149 + 3*b12*n1*r551
r423=--------------------------------
2 2
14*a11 + 8*b12 *kap
r424=0
- n1*r5176
r426=-------------
2*a11
r427=0
r428=0
r429=0
r430=0
4 3 2 2
r431=(161*a11 *m3*r5149 - 280*a11 *b12*m3*r551 + 125*a11 *b12 *kap*m3*r5149
3 4 2 2 3
- 64*a11*b12 *kap*m3*r551 - 36*b12 *kap *m3*r5149)/(126*a11 *b12
5
+ 72*b12 *kap)
2 2
14*a11 *n1*r551 + 3*a11*b12*kap*n1*r5149 + 11*b12 *kap*n1*r551
r432=----------------------------------------------------------------
2 3
14*a11 *b12 + 8*b12 *kap
r433=0
2 2
a11 *m3*r5176 + b12 *kap*m3*r5176
r434=-----------------------------------
3
2*b12
- 3*a11*n1*r5149 - 3*b12*n1*r551
r435=-----------------------------------
2 2
14*a11 + 8*b12 *kap
- m3*r5149
r436=-------------
b12
- 3*a11*n1*r5149 - 3*b12*n1*r551
r437=-----------------------------------
2 2
14*a11 + 8*b12 *kap
- m3*r5149
r438=-------------
b12
r439=0
r440=0
r441=0
- 3*a11*n1*r5149 - 3*b12*n1*r551
r442=-----------------------------------
2 2
14*a11 + 8*b12 *kap
- m3*r5149
r443=-------------
b12
r444=0
n1*r5176
r445=----------
2*a11
m3*r5176
r446=----------
b12
- n1*r5176
r447=-------------
2*a11
r448=0
2 2
- 4*a11 *n1*r5149 + 3*a11*b12*n1*r551 - 4*b12 *kap*n1*r5149
r449=--------------------------------------------------------------
2 3
7*a11 *b12 + 4*b12 *kap
r450=0
2 2
- 14*a11 *n1*r551 - 3*a11*b12*kap*n1*r5149 - 11*b12 *kap*n1*r551
r451=-------------------------------------------------------------------
2 3
14*a11 *b12 + 8*b12 *kap
4 3 2 2
r452=(17*a11 *m3*r5149 - 46*a11 *b12*m3*r551 + 7*a11 *b12 *kap*m3*r5149
3 4 2 2 3
- 22*a11*b12 *kap*m3*r551 - 4*b12 *kap *m3*r5149)/(14*a11 *b12
5
+ 8*b12 *kap)
2 2
a11 *m3*r5176 + b12 *kap*m3*r5176
r453=-----------------------------------
2
a11*b12
r454=0
r455=0
n1*r5176
r456=----------
2*a11
m3*r5176
r457=----------
b12
2 2
4*a11 *n1*r5149 - 3*a11*b12*n1*r551 + 4*b12 *kap*n1*r5149
r458=-----------------------------------------------------------
2 3
7*a11 *b12 + 4*b12 *kap
3 2 2
r459=(12*a11 *m3*r5149 - 16*a11 *b12*m3*r551 + 12*a11*b12 *kap*m3*r5149
3 2 2 4
- 4*b12 *kap*m3*r551)/(7*a11 *b12 + 4*b12 *kap)
r460=0
r461=0
3 2 2
r462=(10*a11 *n1*r5149 - 4*a11 *b12*n1*r551 + 13*a11*b12 *kap*n1*r5149
3 2 2 4
+ 5*b12 *kap*n1*r551)/(14*a11 *b12 + 8*b12 *kap)
r463=0
2 2
- a11 *m3*r5176 - b12 *kap*m3*r5176
r464=--------------------------------------
3
b12
5 4 3 2
r465=(12*a11 *n1*r5149 - 16*a11 *b12*n1*r551 + 26*a11 *b12 *kap*n1*r5149
2 3 4 2
- 4*a11 *b12 *kap*n1*r551 + 11*a11*b12 *kap *n1*r5149
5 2 2 4 6 2
+ 3*b12 *kap *n1*r551)/(14*a11 *b12 *kap + 8*b12 *kap )
4 3 2 2
r466=( - 12*a11 *m3*r5149 + 16*a11 *b12*m3*r551 - 19*a11 *b12 *kap*m3*r5149
3 4 2 2 3
+ 4*a11*b12 *kap*m3*r551 - 4*b12 *kap *m3*r5149)/(7*a11 *b12
5
+ 4*b12 *kap)
r467=0
2 2
- a11 *n1*r5176 - b12 *kap*n1*r5176
r468=--------------------------------------
2
a11*b12
r469=0
r470=0
r471=0
r472=0
r473=0
- m3*r5149
r474=-------------
b12
r475=0
- m3*r5149
r476=-------------
b12
r477=0
- m3*r5149
r479=-------------
b12
2 2
4*a11 *n1*r5149 - 3*a11*b12*n1*r551 + 4*b12 *kap*n1*r5149
r480=-----------------------------------------------------------
2 3
7*a11 *b12 + 4*b12 *kap
2 2
8*a11 *n1*r5149 - 6*a11*b12*n1*r551 + 8*b12 *kap*n1*r5149
r482=-----------------------------------------------------------
2 3
7*a11 *b12 + 4*b12 *kap
m3*r5176
r483=----------
b12
- n1*r5176
r484=-------------
2*a11
2 2
4*a11 *n1*r5149 - 3*a11*b12*n1*r551 + 4*b12 *kap*n1*r5149
r485=-----------------------------------------------------------
2 3
7*a11 *b12 + 4*b12 *kap
r486=0
2 2
- a11 *m3*r5176 - b12 *kap*m3*r5176
r487=--------------------------------------
2
a11*b12
4 3 2 2
r488=(17*a11 *m3*r5149 - 46*a11 *b12*m3*r551 + 7*a11 *b12 *kap*m3*r5149
3 4 2 2 3
- 22*a11*b12 *kap*m3*r551 - 4*b12 *kap *m3*r5149)/(14*a11 *b12
5
+ 8*b12 *kap)
4 3 2 2
r489=(4*a11 *n1*r5149 - 59*a11 *b12*n1*r551 + 4*a11 *b12 *kap*n1*r5149
3 2 3 5
- 32*a11*b12 *kap*n1*r551)/(63*a11 *b12 + 36*b12 *kap)
r490=0
2 2
- 4*a11 *n1*r5149 + 3*a11*b12*n1*r551 - 4*b12 *kap*n1*r5149
r491=--------------------------------------------------------------
2 3
7*a11 *b12 + 4*b12 *kap
3 2 2
r492=( - 12*a11 *m3*r5149 + 16*a11 *b12*m3*r551 - 12*a11*b12 *kap*m3*r5149
3 2 2 4
+ 4*b12 *kap*m3*r551)/(7*a11 *b12 + 4*b12 *kap)
n1*r5176
r493=----------
2*a11
2*m3*r5176
r494=------------
b12
3 2 2
r495=(12*a11 *m3*r5149 - 16*a11 *b12*m3*r551 + 12*a11*b12 *kap*m3*r5149
3 2 2 4
- 4*b12 *kap*m3*r551)/(7*a11 *b12 + 4*b12 *kap)
r496=0
r497=0
3 2 2
r498=( - 2*a11 *n1*r5149 + 12*a11 *b12*n1*r551 - 2*a11*b12 *kap*n1*r5149
3 2 2 4
+ 6*b12 *kap*n1*r551)/(7*a11 *b12 + 4*b12 *kap)
r499=0
r4100=0
r4101=0
4 3 2 2
r4102=( - 12*a11 *m3*r5149 + 16*a11 *b12*m3*r551 - 19*a11 *b12 *kap*m3*r5149
3 4 2 2 3
+ 4*a11*b12 *kap*m3*r551 - 4*b12 *kap *m3*r5149)/(7*a11 *b12
5
+ 4*b12 *kap)
4 3 2 2
r4103=(8*a11 *n1*r5149 - 48*a11 *b12*n1*r551 + 28*a11 *b12 *kap*n1*r5149
3 4 2 2 3
- 39*a11*b12 *kap*n1*r551 + 20*b12 *kap *n1*r5149)/(21*a11 *b12
5
+ 12*b12 *kap)
r4104=0
r4105=0
r4106=0
r4108=0
3 2 2
r4109=( - 12*a11 *m3*r5149 + 16*a11 *b12*m3*r551 - 12*a11*b12 *kap*m3*r5149
3 2 2 4
+ 4*b12 *kap*m3*r551)/(7*a11 *b12 + 4*b12 *kap)
m3*r5176
r4110=----------
b12
r4111=0
3 2 2
r4112=(14*a11 *n1*r5149 - 28*a11 *b12*n1*r551 + 17*a11*b12 *kap*n1*r5149
3 2 2 4
- 7*b12 *kap*n1*r551)/(14*a11 *b12 + 8*b12 *kap)
r4113=0
2 2
- a11 *m3*r5176 - b12 *kap*m3*r5176
r4114=--------------------------------------
3
b12
5 4 3 2
r4115=(12*a11 *n1*r5149 - 16*a11 *b12*n1*r551 + 26*a11 *b12 *kap*n1*r5149
2 3 4 2
- 4*a11 *b12 *kap*n1*r551 + 11*a11*b12 *kap *n1*r5149
5 2 2 4 6 2
+ 3*b12 *kap *n1*r551)/(14*a11 *b12 *kap + 8*b12 *kap )
4 3 2 2
r4116=( - 12*a11 *m3*r5149 + 16*a11 *b12*m3*r551 - 19*a11 *b12 *kap*m3*r5149
3 4 2 2 3
+ 4*a11*b12 *kap*m3*r551 - 4*b12 *kap *m3*r5149)/(7*a11 *b12
5
+ 4*b12 *kap)
r4117=0
r4118=0
r4119=0
r4120=0
r4121=0
4 3 2 2
r4122=( - 12*a11 *m3*r5149 + 16*a11 *b12*m3*r551 - 19*a11 *b12 *kap*m3*r5149
3 4 2 2 3
+ 4*a11*b12 *kap*m3*r551 - 4*b12 *kap *m3*r5149)/(7*a11 *b12
5
+ 4*b12 *kap)
6 5 4 2
r4123=(12*a11 *n1*r5149 - 16*a11 *b12*n1*r551 + 42*a11 *b12 *kap*n1*r5149
3 3 2 4 2
- 44*a11 *b12 *kap*n1*r551 + 42*a11 *b12 *kap *n1*r5149
5 2 6 3 2 5
- 19*a11*b12 *kap *n1*r551 + 12*b12 *kap *n1*r5149)/(21*a11 *b12 *kap
7 2
+ 12*b12 *kap )
r4124=0
r4125=0
r50=0
r51=0
r52=0
r53=0
r54=0
r55=0
r56=0
r57=0
r58=0
r59=0
r510=0
r511=0
r512=0
r513=0
r514=0
r515=0
r516=0
r517=0
r518=0
r519=0
r520=0
2
3*a11*b12*r5149 + 3*b12 *r551
r521=-------------------------------
2 2
14*a11 + 8*b12 *kap
r522=0
2
3*a11*b12*r5149 + 3*b12 *r551
r523=-------------------------------
2 2
7*a11 + 4*b12 *kap
r524=0
2
3*a11*b12*r5149 + 3*b12 *r551
r525=-------------------------------
2 2
14*a11 + 8*b12 *kap
r526=0
r527=0
r528=0
r529=0
2
3*a11*b12*r5149 + 3*b12 *r551
r530=-------------------------------
2 2
7*a11 + 4*b12 *kap
r531=0
2
3*a11*b12*r5149 + 3*b12 *r551
r532=-------------------------------
2 2
7*a11 + 4*b12 *kap
r533=0
r534=0
- b12*r5176
r536=--------------
2*a11
r537=0
- b12*r5176
r538=--------------
2*a11
r539=0
r540=0
r541=0
r542=0
- b12*r5176
r543=--------------
2*a11
r544=0
r545=0
r546
3 2 2 3
- 2*a11 *r5149 + 5*a11 *b12*r551 - 2*a11*b12 *kap*r5149 + 2*b12 *kap*r551
=----------------------------------------------------------------------------
2 3
7*a11 *b12 + 4*b12 *kap
r547=0
r548=r551
r549=0
r550=0
b12*kap*r5176
r552=---------------
2*a11
r553=0
r554=0
5 4 2 3
r555=( - 12*a11 *r5149 + 72*a11 *b12*r551 + 62*a11 *b12 *kap*r551
4 2 5 2 2 3 5
- 3*a11*b12 *kap *r5149 + 5*b12 *kap *r551)/(70*a11 *b12 + 40*b12 *kap)
r556=0
r557=0
r558=0
r559=0
r560=0
r561=0
r562=0
r563=0
r564=0
r565=0
r566=0
r567=0
r568=0
r569=0
r570=0
r571=0
- b12*r5176
r572=--------------
2*a11
r573=0
- b12*r5176
r574=--------------
2*a11
r575= - r5149
r576=0
r577= - r5149
r578=0
- b12*r5176
r579=--------------
2*a11
r580= - r5149
r581=0
r582
3 2 2 3
- 4*a11 *r5149 - 4*a11 *b12*r551 - 4*a11*b12 *kap*r5149 - 4*b12 *kap*r551
=----------------------------------------------------------------------------
2 3
7*a11 *b12 + 4*b12 *kap
r583=0
r584=r5176
r585=0
r586=0
r587=0
b12*kap*r5176
r588=---------------
2*a11
4 3 2 2
r589=( - 4*a11 *r5149 - 67*a11 *b12*r551 - 31*a11 *b12 *kap*r5149
3 2 2 4
- 67*a11*b12 *kap*r551)/(63*a11 *b12 + 36*b12 *kap)
r590=0
r591=0
r592=0
r593=0
r594=0
r595=0
r596=0
r597=0
r598=0
r599=0
r5100=0
3 2 3
7*a11 *r5149 + 7*a11*b12 *kap*r5149 + 3*b12 *kap*r551
r5101=-------------------------------------------------------
2 3
7*a11 *b12 + 4*b12 *kap
r5102=0
3 2 2 3
5*a11 *r5149 - 2*a11 *b12*r551 + 5*a11*b12 *kap*r5149 + b12 *kap*r551
r5103=-----------------------------------------------------------------------
2 3
7*a11 *b12 + 4*b12 *kap
r5104=0
r5105=r5176
3 2 2 3
13*a11 *r5149 - 8*a11 *b12*r551 + 13*a11*b12 *kap*r5149 + b12 *kap*r551
r5106=-------------------------------------------------------------------------
2 3
7*a11 *b12 + 4*b12 *kap
2 2
- 2*a11 *r5176 - b12 *kap*r5176
r5107=----------------------------------
2*a11*b12
r5108=0
r5109=0
5 4 3 2
r5110=(4*a11 *r5149 + 67*a11 *b12*r551 + 31*a11 *b12 *kap*r5149
2 3 5 2 2 3
+ 130*a11 *b12 *kap*r551 + 36*b12 *kap *r551)/(63*a11 *b12
5
+ 36*b12 *kap)
r5111=0
r5112=0
r5113=0
r5114=0
r5115=0
r5116=0
r5117=0
2 2
- 2*a11 *r5176 - b12 *kap*r5176
r5118=----------------------------------
2*a11*b12
4 3 2 2
r5119=( - 12*a11 *r5149 + 16*a11 *b12*r551 - 19*a11 *b12 *kap*r5149
3 4 2 2 2 4
+ 4*a11*b12 *kap*r551 - 4*b12 *kap *r5149)/(7*a11 *b12 + 4*b12 *kap)
r5120=0
r5121=0
r5122=0
r5123=0
5 4 3 2
r5124=(12*a11 *r5149 - 16*a11 *b12*r551 + 26*a11 *b12 *kap*r5149
2 3 4 2 5 2
- 4*a11 *b12 *kap*r551 + 11*a11*b12 *kap *r5149 + 3*b12 *kap *r551)/(
2 3 5
14*a11 *b12 + 8*b12 *kap)
r5125=0
r5126=0
r5127=0
r5128=0
r5129=0
r5130=0
r5131=0
r5132=0
r5133=0
r5134=0
r5135=0
r5136=0
r5137=0
r5138=0
r5139=0
r5140=0
r5141=0
r5142=r5149
r5143=0
r5144=r5149
- b12*r5176
r5145=--------------
2*a11
r5146=0
- b12*r5176
r5147=--------------
2*a11
r5148=0
r5151=0
r5152= - r5176
r5153=0
r5154
3 2 2 3
- 4*a11 *r5149 - 4*a11 *b12*r551 - 4*a11*b12 *kap*r5149 - 4*b12 *kap*r551
=----------------------------------------------------------------------------
2 3
7*a11 *b12 + 4*b12 *kap
r5155=0
r5156=0
r5157=0
4 3 2 2
r5158=(4*a11 *r5149 + 67*a11 *b12*r551 + 31*a11 *b12 *kap*r5149
3 2 2 4
+ 67*a11*b12 *kap*r551)/(63*a11 *b12 + 36*b12 *kap)
b12*kap*r5176
r5159=---------------
2*a11
r5160=0
r5161=0
r5162=0
r5163=0
r5164=0
r5165=0
r5166=0
r5167=0
r5168=0
r5169=0
r5170=0
r5171=0
r5172=0
r5173= - r5176
r5174=0
3 2 2
- 16*a11 *r5149 + 12*a11 *b12*r551 - 16*a11*b12 *kap*r5149
r5175=-------------------------------------------------------------
2 3
7*a11 *b12 + 4*b12 *kap
r5177=0
r5178=0
r5179=0
r5180=0
r5181=0
r5182=0
r5183=0
r5184=0
r5185=0
r5186=0
r5187=0
4 3 2 2
r5188=(12*a11 *r5149 - 16*a11 *b12*r551 + 19*a11 *b12 *kap*r5149
3 4 2 2 2 4
- 4*a11*b12 *kap*r551 + 4*b12 *kap *r5149)/(7*a11 *b12 + 4*b12 *kap)
2 2
- 2*a11 *r5176 - b12 *kap*r5176
r5189=----------------------------------
2*a11*b12
r5190=0
r5191=0
r5192=0
r5193=0
r5194=0
r5195=0
r5196=0
r5197=0
r5198=0
r5199=0
r5200=0
r5201=0
r5202=0
r5203=0
r5204=0
r5205=0
3 2 3
7*a11 *r5149 + 7*a11*b12 *kap*r5149 + 3*b12 *kap*r551
r5206=-------------------------------------------------------
2 3
7*a11 *b12 + 4*b12 *kap
r5207=0
3 2 2 3
13*a11 *r5149 - 8*a11 *b12*r551 + 13*a11*b12 *kap*r5149 + b12 *kap*r551
r5208=-------------------------------------------------------------------------
2 3
7*a11 *b12 + 4*b12 *kap
r5209=0
r5210= - r5176
3 2 2 3
5*a11 *r5149 - 2*a11 *b12*r551 + 5*a11*b12 *kap*r5149 + b12 *kap*r551
r5211=-----------------------------------------------------------------------
2 3
7*a11 *b12 + 4*b12 *kap
2 2
- 2*a11 *r5176 - b12 *kap*r5176
r5212=----------------------------------
2*a11*b12
r5213=0
r5214=0
5 4 3 2
r5215=(4*a11 *r5149 + 67*a11 *b12*r551 + 31*a11 *b12 *kap*r5149
2 3 5 2 2 3
+ 130*a11 *b12 *kap*r551 + 36*b12 *kap *r551)/(63*a11 *b12
5
+ 36*b12 *kap)
r5216=0
r5217=0
r5218=0
r5219=0
r5220=0
r5221=0
r5222=0
2 2
- 2*a11 *r5176 - b12 *kap*r5176
r5223=----------------------------------
2*a11*b12
4 3 2 2
r5224=( - 12*a11 *r5149 + 16*a11 *b12*r551 - 19*a11 *b12 *kap*r5149
3 4 2 2 2 4
+ 4*a11*b12 *kap*r551 - 4*b12 *kap *r5149)/(7*a11 *b12 + 4*b12 *kap)
r5225=0
r5226=0
r5227=0
r5228=0
5 4 3 2
r5229=(12*a11 *r5149 - 16*a11 *b12*r551 + 26*a11 *b12 *kap*r5149
2 3 4 2 5 2
- 4*a11 *b12 *kap*r551 + 11*a11*b12 *kap *r5149 + 3*b12 *kap *r551)/(
2 3 5
7*a11 *b12 + 4*b12 *kap)
r5230=0
r5231=0
r5232=0
r5233=0
r5234=0
r5235=0
r5236=0
r5237=0
4 3 2 2
r5238=(12*a11 *r5149 - 16*a11 *b12*r551 + 19*a11 *b12 *kap*r5149
3 4 2 2 2 4
- 4*a11*b12 *kap*r551 + 4*b12 *kap *r5149)/(7*a11 *b12 + 4*b12 *kap)
2 2
- 2*a11 *r5176 - b12 *kap*r5176
r5239=----------------------------------
2*a11*b12
r5240=0
r5241=0
r5242=0
r5243=0
r5244=0
r5245=0
r5246=0
r5247=0
r5248=0
5 4 3 2
r5249=(12*a11 *r5149 - 16*a11 *b12*r551 + 26*a11 *b12 *kap*r5149
2 3 4 2 5 2
- 4*a11 *b12 *kap*r551 + 11*a11*b12 *kap *r5149 + 3*b12 *kap *r551)/(
2 3 5
14*a11 *b12 + 8*b12 *kap)
r5250=0
r5251=0
m2=0
m1=0
n3=0
n2=0
a33= - a11
a23=0
a22=a11
a13=0
2
3*a11*b12*r5149 + 3*b12 *r551
r535=-------------------------------
2 2
14*a11 + 8*b12 *kap
- b12*r5176
r5150=--------------
2*a11
3 2 2 3 2 2
r333=(6*a11 *n1 *r5149 + 7*a11 *b12 *r353 + 6*a11 *b12*n1 *r551
2 2 5 3 2
+ 6*a11*b12 *kap*n1 *r5149 + 4*b12 *kap*r353 + 6*b12 *kap*n1 *r551)/(
2 3 5
7*a11 *b12 + 4*b12 *kap)
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:
r353, r5176, r551, r5149, m3, a11, 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,n1}
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 2
HAM=u1 *a11 + u1*v2*b12 + u1*n1 + u2 *a11 - u2*v1*b12 - u3 *a11 + v3*m3
has apart from the Hamiltonian and Casimirs the following 4 first integrals:
4 5 3 2 3 5 3 7 4
FI=u1 *u3*(540*a11 *b12 *kap + 1170*a11 *b12 *kap + 495*a11*b12 *kap )
3 4 4 2 2 6 3 8 4
+ u1 *u3*v2*(1080*a11 *b12 *kap + 1710*a11 *b12 *kap + 360*b12 *kap ) +
3 6 4 3 2 2 5 3
u1 *u3*(360*a11 *b12*kap*n1 + 1260*a11 *b12 *kap *n1 + 1260*a11 *b12 *kap *n1
7 4 3
+ 360*b12 *kap *n1) + u1 *v1
4 3 2 2 5 3 7 4
*( - 1080*a11 *b12 *kap *m3 - 1710*a11 *b12 *kap *m3 - 360*b12 *kap *m3)
2 2 5 3 2 3 5 3 7 4
+ u1 *u2 *u3*(1080*a11 *b12 *kap + 2340*a11 *b12 *kap + 990*a11*b12 *kap )
2
+ u1 *u2*u3*v1
4 4 2 2 6 3 8 4 2
*( - 1080*a11 *b12 *kap - 1710*a11 *b12 *kap - 360*b12 *kap ) + u1 *u2*v2
4 3 2 2 5 3 7 4
*( - 1080*a11 *b12 *kap *m3 - 1710*a11 *b12 *kap *m3 - 360*b12 *kap *m3) +
2
u1 *u2*v3
5 2 3 4 2 6 3 2
*(540*a11 *b12 *kap*n1 + 1170*a11 *b12 *kap *n1 + 495*a11*b12 *kap *n1) + u1
*u2
4 2 2 2 4 3 6 4
*(30*a11 *b12 *kap *m3*n1 + 150*a11 *b12 *kap *m3*n1 + 120*b12 *kap *m3*n1)
2 3 5 3 2 3 5 3
+ u1 *u3 *(40*a11 *b12 *kap + 310*a11 *b12 *kap )
2 2 3 5 2 7 3
+ u1 *u3*v1 *(450*a11 *b12 *kap + 450*a11*b12 *kap )
2 2 3 5 2 7 3
+ u1 *u3*v2 *(1170*a11 *b12 *kap + 1170*a11*b12 *kap )
2 3 4 2 6 3
+ u1 *u3*v2*(630*a11 *b12 *kap *n1 + 765*a11*b12 *kap *n1)
2 2 3 5 2 7 3
+ u1 *u3*v3 *(630*a11 *b12 *kap + 630*a11*b12 *kap )
2 3 4 2 6 3
+ u1 *v1*v2*( - 1080*a11 *b12 *kap *m3 - 1080*a11*b12 *kap *m3)
2 3 3 2 5 3
+ u1 *v1*( - 1350*a11 *b12 *kap *m3*n1 - 1485*a11*b12 *kap *m3*n1)
2 4 4 2 2 6 3 8 4
+ u1*u2 *u3*v2*(1080*a11 *b12 *kap + 1710*a11 *b12 *kap + 360*b12 *kap ) +
2 4 3 2 2 5 3 7 4
u1*u2 *u3*(240*a11 *b12 *kap *n1 + 840*a11 *b12 *kap *n1 + 600*b12 *kap *n1)
2
+ u1*u2 *v1
4 3 2 2 5 3 7 4
*( - 1080*a11 *b12 *kap *m3 - 1710*a11 *b12 *kap *m3 - 360*b12 *kap *m3)
3 5 2 7 3
+ u1*u2*u3*v1*v2*( - 1440*a11 *b12 *kap - 1440*a11*b12 *kap )
3 4 2 6 3
+ u1*u2*u3*v1*( - 180*a11 *b12 *kap *n1 - 180*a11*b12 *kap *n1)
2 3 4 2 6 3
+ u1*u2*v1 *(1080*a11 *b12 *kap *m3 + 1080*a11*b12 *kap *m3)
2 3 4 2 6 3
+ u1*u2*v2 *( - 1080*a11 *b12 *kap *m3 - 1080*a11*b12 *kap *m3)
2 5 2 7 3
+ u1*u2*v2*v3*( - 360*a11 *b12 *kap *n1 - 360*b12 *kap *n1)
3 3 2 5 3
+ u1*u2*v2*( - 900*a11 *b12 *kap *m3*n1 - 900*a11*b12 *kap *m3*n1)
2 4 2 2 6 3 2
+ u1*u2*v3*( - 360*a11 *b12 *kap *n1 - 360*b12 *kap *n1 )
3 4 4 2 2 6 3
+ u1*u3 *v2*(40*a11 *b12 *kap + 310*a11 *b12 *kap )
3 4 3 2 2 5 3
+ u1*u3 *(40*a11 *b12 *kap *n1 + 40*a11 *b12 *kap *n1)
2 3 5 2 7 3 2
+ u1*u3 *v1*v3*( - 360*a11 *b12 *kap - 360*a11*b12 *kap ) + u1*u3 *v1
4 3 2 2 5 3 7 4
*(765*a11 *b12 *kap *m3 + 315*a11 *b12 *kap *m3 - 180*b12 *kap *m3)
2 2 6 2 8 3
+ u1*u3*v1 *v2*(630*a11 *b12 *kap + 360*b12 *kap )
2 2 5 2 7 3
+ u1*u3*v1 *(360*a11 *b12 *kap *n1 + 360*b12 *kap *n1)
3 2 6 2 8 3
+ u1*u3*v2 *(630*a11 *b12 *kap + 360*b12 *kap )
2 2 5 2 7 3
+ u1*u3*v2 *(720*a11 *b12 *kap *n1 + 720*b12 *kap *n1)
2 2 6 2 8 3
+ u1*u3*v2*v3 *(630*a11 *b12 *kap + 360*b12 *kap ) + u1*u3*v2*(
4 2 2 2 4 2 2
- 1080*a11 *b12 *kap *m3 - 1080*a11 *b12 *kap*n1
2 4 3 2 2 4 2 2 6 4 2
- 2430*a11 *b12 *kap *m3 - 720*a11 *b12 *kap *n1 - 1080*b12 *kap *m3
6 3 2
+ 360*b12 *kap *n1 )
2 2 5 2 7 3
+ u1*u3*v3 *(360*a11 *b12 *kap *n1 + 360*b12 *kap *n1)
3 3 2 5 3
+ u1*u3*v3*( - 720*a11 *b12 *kap *m3*n1 - 720*a11*b12 *kap *m3*n1) + u1*u3*(
4 2 2 2 3 3 2
- 180*a11 *b12*kap *m3 *n1 - 1260*a11 *b12 *kap *m3 *n1
5 4 2
- 1080*b12 *kap *m3 *n1)
3 2 5 2 7 3
+ u1*v1 *( - 630*a11 *b12 *kap *m3 - 360*b12 *kap *m3)
2 2 5 2 7 3
+ u1*v1*v2 *( - 630*a11 *b12 *kap *m3 - 360*b12 *kap *m3)
2 4 2 6 3
+ u1*v1*v2*( - 360*a11 *b12 *kap *m3*n1 - 360*b12 *kap *m3*n1)
2 2 5 2 7 3
+ u1*v1*v3 *( - 630*a11 *b12 *kap *m3 - 360*b12 *kap *m3)
3 3 2 2 5 3 2
+ u1*v1*v3*( - 1080*a11 *b12 *kap *m3 - 1080*a11*b12 *kap *m3 ) + u1*v1*(
4 2 3 4 2
1080*a11 *b12*kap *m3 + 1080*a11 *b12*kap*m3*n1
2 3 3 3 2 3 2 2
+ 2430*a11 *b12 *kap *m3 + 720*a11 *b12 *kap *m3*n1
5 4 3 5 3 2
+ 1080*b12 *kap *m3 - 360*b12 *kap *m3*n1 )
4 5 3 2 3 5 3 7 4
+ u2 *u3*(540*a11 *b12 *kap + 1170*a11 *b12 *kap + 495*a11*b12 *kap )
3 4 4 2 2 6 3 8 4
+ u2 *u3*v1*( - 1080*a11 *b12 *kap - 1710*a11 *b12 *kap - 360*b12 *kap ) +
3
u2 *v2
4 3 2 2 5 3 7 4
*( - 1080*a11 *b12 *kap *m3 - 1710*a11 *b12 *kap *m3 - 360*b12 *kap *m3) +
3 5 2 3 4 2 6 3
u2 *v3*(540*a11 *b12 *kap*n1 + 1170*a11 *b12 *kap *n1 + 495*a11*b12 *kap *n1)
3 4 2 2 2 4 3
+ u2 *( - 60*a11 *b12 *kap *m3*n1 - 300*a11 *b12 *kap *m3*n1
6 4
- 240*b12 *kap *m3*n1)
2 3 5 3 2 3 5 3
+ u2 *u3 *(40*a11 *b12 *kap + 310*a11 *b12 *kap )
2 2 3 5 2 7 3
+ u2 *u3*v1 *(1170*a11 *b12 *kap + 1170*a11*b12 *kap )
2 2 3 5 2 7 3
+ u2 *u3*v2 *(450*a11 *b12 *kap + 450*a11*b12 *kap )
2 3 4 2 6 3
+ u2 *u3*v2*(450*a11 *b12 *kap *n1 + 585*a11*b12 *kap *n1)
2 2 3 5 2 7 3
+ u2 *u3*v3 *(630*a11 *b12 *kap + 630*a11*b12 *kap )
2 3 3 2 2 5 3 2
+ u2 *u3*(540*a11 *b12 *kap *n1 + 540*a11*b12 *kap *n1 )
2 3 4 2 6 3
+ u2 *v1*v2*(1080*a11 *b12 *kap *m3 + 1080*a11*b12 *kap *m3)
2 2 5 2 7 3
+ u2 *v1*v3*(360*a11 *b12 *kap *n1 + 360*b12 *kap *n1)
2 3 3 2 5 3
+ u2 *v1*( - 450*a11 *b12 *kap *m3*n1 - 585*a11*b12 *kap *m3*n1)
3 4 4 2 2 6 3
+ u2*u3 *v1*( - 40*a11 *b12 *kap - 310*a11 *b12 *kap )
2 3 5 2 7 3 2
+ u2*u3 *v2*v3*( - 360*a11 *b12 *kap - 360*a11*b12 *kap ) + u2*u3 *v2
4 3 2 2 5 3 7 4
*(765*a11 *b12 *kap *m3 + 315*a11 *b12 *kap *m3 - 180*b12 *kap *m3)
2 6 3
- 135*u2*u3 *v3*a11*b12 *kap *n1
3 2 6 2 8 3
+ u2*u3*v1 *( - 630*a11 *b12 *kap - 360*b12 *kap )
2 2 6 2 8 3
+ u2*u3*v1*v2 *( - 630*a11 *b12 *kap - 360*b12 *kap )
2 5 2 7 3
+ u2*u3*v1*v2*( - 360*a11 *b12 *kap *n1 - 360*b12 *kap *n1)
2 2 6 2 8 3
+ u2*u3*v1*v3 *( - 630*a11 *b12 *kap - 360*b12 *kap ) + u2*u3*v1*(
4 2 2 2 4 2 2 2 4 3 2
1080*a11 *b12 *kap *m3 + 1080*a11 *b12 *kap*n1 + 2430*a11 *b12 *kap *m3
2 4 2 2 6 4 2
+ 1080*a11 *b12 *kap *n1 + 1080*b12 *kap *m3 )
2 2 5 2 7 3
+ u2*v1 *v2*( - 630*a11 *b12 *kap *m3 - 360*b12 *kap *m3)
2 6 2
- 135*u2*v1 *v3*a11*b12 *kap *n1
2 2 4 2 6 3
+ u2*v1 *(360*a11 *b12 *kap *m3*n1 + 360*b12 *kap *m3*n1)
3 2 5 2 7 3
+ u2*v2 *( - 630*a11 *b12 *kap *m3 - 360*b12 *kap *m3)
2 6 2
- 135*u2*v2 *v3*a11*b12 *kap *n1
2 2 5 2 7 3
+ u2*v2*v3 *( - 630*a11 *b12 *kap *m3 - 360*b12 *kap *m3)
3 3 2 2 5 3 2
+ u2*v2*v3*( - 1080*a11 *b12 *kap *m3 - 1080*a11*b12 *kap *m3 ) + u2*v2*(
4 2 3 4 2 2 3 3 3
1080*a11 *b12*kap *m3 + 900*a11 *b12*kap*m3*n1 + 2430*a11 *b12 *kap *m3
2 3 2 2 5 4 3 5 3 2
+ 180*a11 *b12 *kap *m3*n1 + 1080*b12 *kap *m3 - 720*b12 *kap *m3*n1 )
3 6 2
- 135*u2*v3 *a11*b12 *kap *n1
2 2 4 2 6 3
+ u2*v3 *( - 360*a11 *b12 *kap *m3*n1 - 360*b12 *kap *m3*n1) + u2*v3*(
3 2 2 2 3 2 3
450*a11 *b12 *kap *m3 *n1 + 540*a11 *b12 *kap*n1
4 3 2 4 2 3
+ 585*a11*b12 *kap *m3 *n1 + 540*a11*b12 *kap *n1 ) + u2
4 3 2 2 2 3 4 3 3
*(180*a11 *kap*m3*n1 + 900*a11 *b12 *kap *m3*n1 + 720*b12 *kap *m3*n1 )
5 5 3 2 7 4
+ u3 *( - 108*a11 *b12 *kap - 27*a11*b12 *kap )
3 6 3
+ 135*u3 *v2*a11*b12 *kap *n1
3 2 3 5 2 7 3
+ u3 *v3 *( - 180*a11 *b12 *kap - 180*a11*b12 *kap )
3 4 3 2 2 5 3 7 4
+ u3 *v3*(805*a11 *b12 *kap *m3 + 625*a11 *b12 *kap *m3 - 180*b12 *kap *m3)
3 5 2 2 3 3 3 2
+ u3 *(720*a11 *b12*kap *m3 + 1440*a11 *b12 *kap *m3
3 3 2 2 5 4 2
+ 540*a11 *b12 *kap *n1 + 720*a11*b12 *kap *m3
5 3 2 2 5 3
+ 540*a11*b12 *kap *n1 ) - 135*u3 *v1*a11*b12 *kap *m3*n1
4 7 2 2 2 7 2
+ 135*u3*v1 *a11*b12 *kap + 270*u3*v1 *v2 *a11*b12 *kap
2 6 2 2 2 7 2 2
+ 135*u3*v1 *v2*a11*b12 *kap *n1 + 270*u3*v1 *v3 *a11*b12 *kap + u3*v1 *(
5 2 5 2 3 3 2 2
1080*a11 *b12*kap*m3 + 1080*a11 *b12*n1 + 2430*a11 *b12 *kap *m3
3 3 2 5 3 2 5 2 2
+ 1350*a11 *b12 *kap*n1 + 1080*a11*b12 *kap *m3 + 270*a11*b12 *kap *n1
4 7 2 3 6 2
) + 135*u3*v2 *a11*b12 *kap + 135*u3*v2 *a11*b12 *kap *n1
2 2 7 2 2 5 2
+ 270*u3*v2 *v3 *a11*b12 *kap + u3*v2 *(1080*a11 *b12*kap*m3
5 2 3 3 2 2 3 3 2
+ 1080*a11 *b12*n1 + 2430*a11 *b12 *kap *m3 + 1350*a11 *b12 *kap*n1
5 3 2 5 2 2
+ 1080*a11*b12 *kap *m3 + 270*a11*b12 *kap *n1 )
2 6 2
+ 135*u3*v2*v3 *a11*b12 *kap *n1
2 4 2 6 3
+ u3*v2*v3*(360*a11 *b12 *kap *m3*n1 + 360*b12 *kap *m3*n1) + u3*v2*(
3 2 2 2 3 2 3
- 450*a11 *b12 *kap *m3 *n1 - 540*a11 *b12 *kap*n1
4 3 2 4 2 3
- 585*a11*b12 *kap *m3 *n1 - 540*a11*b12 *kap *n1 )
4 7 2 2 5 2
+ 135*u3*v3 *a11*b12 *kap + u3*v3 *(1080*a11 *b12*kap*m3
5 2 3 3 2 2 3 3 2
+ 1080*a11 *b12*n1 + 1890*a11 *b12 *kap *m3 + 1350*a11 *b12 *kap*n1
5 3 2 5 2 2
+ 540*a11*b12 *kap *m3 + 270*a11*b12 *kap *n1 ) + u3*(
3 3 4 3 2 2 2 3 4 4
450*a11 *b12*kap *m3 + 540*a11 *b12*kap *m3 *n1 + 585*a11*b12 *kap *m3
3 3 2 2 3 5 2
+ 540*a11*b12 *kap *m3 *n1 ) - 135*v1 *a11*b12 *kap *m3*n1
2 5 2 2 5 2
- 135*v1*v2 *a11*b12 *kap *m3*n1 - 135*v1*v3 *a11*b12 *kap *m3*n1
2 3 2 2 5 3 2
+ v1*v3*( - 360*a11 *b12 *kap *m3 *n1 - 360*b12 *kap *m3 *n1) + v1*(
3 2 3 3 3
450*a11 *b12*kap *m3 *n1 + 540*a11 *b12*kap*m3*n1
3 3 3 3 2 3
+ 585*a11*b12 *kap *m3 *n1 + 540*a11*b12 *kap *m3*n1 )
which is not further factorizable.
{HAM,FI} = 0
4 4 3 2 2 5 3 7 4
FI=u1 *u3*( - 720*a11 *b12 *kap - 180*a11 *b12 *kap + 135*b12 *kap )
3 3 4 2 6 3 3
+ u1 *u3*v2*( - 1440*a11 *b12 *kap - 360*a11*b12 *kap ) + u1 *u3
5 3 3 2 5 3
*( - 480*a11 *b12*kap*n1 - 1320*a11 *b12 *kap *n1 - 570*a11*b12 *kap *n1)
3 3 3 2 5 3
+ u1 *v1*(1440*a11 *b12 *kap *m3 + 360*a11*b12 *kap *m3)
2 2 4 3 2 2 5 3 7 4
+ u1 *u2 *u3*( - 1440*a11 *b12 *kap - 360*a11 *b12 *kap + 270*b12 *kap )
2 3 4 2 6 3
+ u1 *u2*u3*v1*(1440*a11 *b12 *kap + 360*a11*b12 *kap )
2 3 3 2 5 3 2
+ u1 *u2*v2*(1440*a11 *b12 *kap *m3 + 360*a11*b12 *kap *m3) + u1 *u2*v3
4 2 2 4 2 6 3
*( - 720*a11 *b12 *kap*n1 - 180*a11 *b12 *kap *n1 + 135*b12 *kap *n1)
2 3 2 2 4 3
+ u1 *u2*( - 180*a11 *b12 *kap *m3*n1 - 180*a11*b12 *kap *m3*n1)
2 3 4 3 2 2 5 3 7 4
+ u1 *u3 *(670*a11 *b12 *kap + 1300*a11 *b12 *kap + 360*b12 *kap )
2 2 2 5 2 7 3
+ u1 *u3*v1 *( - 180*a11 *b12 *kap + 90*b12 *kap )
2 2 2 5 2 7 3
+ u1 *u3*v2 *( - 720*a11 *b12 *kap + 90*b12 *kap )
2 2 4 2 6 3
+ u1 *u3*v2*( - 1260*a11 *b12 *kap *n1 - 315*b12 *kap *n1)
2 2 7 3
+ 270*u1 *u3*v3 *b12 *kap
2 2 4 2 6 3
+ u1 *v1*v2*(1440*a11 *b12 *kap *m3 + 360*b12 *kap *m3)
2 2 3 2 5 3
+ u1 *v1*(1800*a11 *b12 *kap *m3*n1 + 315*b12 *kap *m3*n1)
2 3 4 2 6 3
+ u1*u2 *u3*v2*( - 1440*a11 *b12 *kap - 360*a11*b12 *kap )
2 3 3 2 5 3
+ u1*u2 *u3*( - 1440*a11 *b12 *kap *n1 - 1170*a11*b12 *kap *n1)
2 3 3 2 5 3
+ u1*u2 *v1*(1440*a11 *b12 *kap *m3 + 360*a11*b12 *kap *m3)
2 5 2
+ 1080*u1*u2*u3*v1*v2*a11 *b12 *kap
2 4 2 6 3
+ u1*u2*u3*v1*(1080*a11 *b12 *kap *n1 + 540*b12 *kap *n1)
2 2 4 2 6 3
+ u1*u2*v1 *( - 1440*a11 *b12 *kap *m3 - 360*b12 *kap *m3)
2 2 4 2 6 3
+ u1*u2*v2 *(1440*a11 *b12 *kap *m3 + 360*b12 *kap *m3)
5 2
+ 270*u1*u2*v2*v3*a11*b12 *kap *n1
2 3 2 5 3
+ u1*u2*v2*(1620*a11 *b12 *kap *m3*n1 + 540*b12 *kap *m3*n1)
4 2 2
+ 270*u1*u2*v3*a11*b12 *kap *n1
3 3 4 2 6 3
+ u1*u3 *v2*(670*a11 *b12 *kap + 670*a11*b12 *kap )
3 3 3 2 5 3
+ u1*u3 *( - 590*a11 *b12 *kap *n1 - 320*a11*b12 *kap *n1)
2 2 5 2 7 3
+ u1*u3 *v1*v3*( - 360*a11 *b12 *kap - 360*b12 *kap )
2 3 3 2 5 3
+ u1*u3 *v1*( - 2070*a11 *b12 *kap *m3 - 990*a11*b12 *kap *m3)
2 5 2 2 5 2
- 270*u1*u3*v1 *a11*b12 *kap *n1 - 540*u1*u3*v2 *a11*b12 *kap *n1 + u1*u3*v2
3 2 2 2 3 2 2 4 3 2
*(1440*a11 *b12 *kap *m3 - 1080*a11 *b12 *kap*n1 + 900*a11*b12 *kap *m3
4 2 2 2 5 2
- 1350*a11*b12 *kap *n1 ) - 270*u1*u3*v3 *a11*b12 *kap *n1
2 3 2
+ 540*u1*u3*v3*a11 *b12 *kap *m3*n1
3 2 2 3 3 2
+ u1*u3*(1080*a11 *b12*kap *m3 *n1 + 1350*a11*b12 *kap *m3 *n1)
4 2
+ 270*u1*v1*v2*a11*b12 *kap *m3*n1
2 3 2 2 5 3 2
+ u1*v1*v3*(1440*a11 *b12 *kap *m3 + 360*b12 *kap *m3 ) + u1*v1*(
3 2 3 3 2
- 1440*a11 *b12*kap *m3 + 1080*a11 *b12*kap*m3*n1
3 3 3 3 2 2
- 900*a11*b12 *kap *m3 + 1350*a11*b12 *kap *m3*n1 )
4 4 3 2 2 5 3 7 4
+ u2 *u3*( - 720*a11 *b12 *kap - 180*a11 *b12 *kap + 135*b12 *kap )
3 3 4 2 6 3
+ u2 *u3*v1*(1440*a11 *b12 *kap + 360*a11*b12 *kap )
3 3 3 2 5 3 3
+ u2 *v2*(1440*a11 *b12 *kap *m3 + 360*a11*b12 *kap *m3) + u2 *v3
4 2 2 4 2 6 3
*( - 720*a11 *b12 *kap*n1 - 180*a11 *b12 *kap *n1 + 135*b12 *kap *n1)
3 3 2 2 4 3
+ u2 *(360*a11 *b12 *kap *m3*n1 + 360*a11*b12 *kap *m3*n1)
2 3 4 3 2 2 5 3 7 4
+ u2 *u3 *(670*a11 *b12 *kap + 1300*a11 *b12 *kap + 360*b12 *kap )
2 2 2 5 2 7 3
+ u2 *u3*v1 *( - 720*a11 *b12 *kap + 90*b12 *kap )
2 2 2 5 2 7 3
+ u2 *u3*v2 *( - 180*a11 *b12 *kap + 90*b12 *kap )
2 2 4 2 6 3
+ u2 *u3*v2*( - 180*a11 *b12 *kap *n1 + 225*b12 *kap *n1)
2 2 7 3
+ 270*u2 *u3*v3 *b12 *kap
2 2 3 2 2 5 3 2
+ u2 *u3*(540*a11 *b12 *kap *n1 + 540*b12 *kap *n1 )
2 2 4 2 6 3
+ u2 *v1*v2*( - 1440*a11 *b12 *kap *m3 - 360*b12 *kap *m3)
2 5 2
- 270*u2 *v1*v3*a11*b12 *kap *n1
2 2 3 2 5 3
+ u2 *v1*(180*a11 *b12 *kap *m3*n1 - 225*b12 *kap *m3*n1)
3 3 4 2 6 3
+ u2*u3 *v1*( - 670*a11 *b12 *kap - 670*a11*b12 *kap )
2 2 5 2 7 3
+ u2*u3 *v2*v3*( - 360*a11 *b12 *kap - 360*b12 *kap )
2 3 3 2 5 3
+ u2*u3 *v2*( - 2070*a11 *b12 *kap *m3 - 990*a11*b12 *kap *m3)
2 2 4 2 6 3
+ u2*u3 *v3*( - 630*a11 *b12 *kap *n1 - 495*b12 *kap *n1)
5 2 3 2 2 2
+ 270*u2*u3*v1*v2*a11*b12 *kap *n1 + u2*u3*v1*( - 1440*a11 *b12 *kap *m3
3 2 2 4 3 2 4 2 2
+ 1080*a11 *b12 *kap*n1 - 900*a11*b12 *kap *m3 + 1080*a11*b12 *kap *n1
2 6 2 2 4 2
) - 135*u2*v1 *v3*b12 *kap *n1 - 270*u2*v1 *a11*b12 *kap *m3*n1
2 6 2
- 135*u2*v2 *v3*b12 *kap *n1
2 3 2 2 5 3 2
+ u2*v2*v3*(1440*a11 *b12 *kap *m3 + 360*b12 *kap *m3 ) + u2*v2*(
3 2 3 3 2
- 1440*a11 *b12*kap *m3 + 2160*a11 *b12*kap*m3*n1
3 3 3 3 2 2
- 900*a11*b12 *kap *m3 + 2160*a11*b12 *kap *m3*n1 )
3 6 2 2 4 2
- 135*u2*v3 *b12 *kap *n1 + 270*u2*v3 *a11*b12 *kap *m3*n1 + u2*v3*(
2 2 2 2 2 2 3
- 180*a11 *b12 *kap *m3 *n1 + 540*a11 *b12 *kap*n1
4 3 2 4 2 3
+ 225*b12 *kap *m3 *n1 + 540*b12 *kap *n1 )
3 3 2 2 3
+ u2*( - 1080*a11 *kap*m3*n1 - 1080*a11*b12 *kap *m3*n1 )
5 4 3 2 2 5 3 7 4
+ u3 *(648*a11 *b12 *kap + 558*a11 *b12 *kap + 45*b12 *kap )
3 2 2 5 2 7 3
+ u3 *v1 *(630*a11 *b12 *kap + 360*b12 *kap )
3 2 2 5 2 7 3
+ u3 *v2 *(630*a11 *b12 *kap + 360*b12 *kap )
3 2 4 2 6 3
+ u3 *v2*(630*a11 *b12 *kap *n1 + 495*b12 *kap *n1)
3 2 2 5 2 7 3
+ u3 *v3 *(450*a11 *b12 *kap + 180*b12 *kap )
3 3 3 2 5 3 3
+ u3 *v3*( - 1400*a11 *b12 *kap *m3 - 320*a11*b12 *kap *m3) + u3 *(
4 2 2 2 3 3 2 2 3 2 2
720*a11 *b12*kap *m3 + 180*a11 *b12 *kap *m3 + 540*a11 *b12 *kap *n1
5 3 2
+ 540*b12 *kap *n1 )
2 2 3 2 5 3
+ u3 *v1*( - 630*a11 *b12 *kap *m3*n1 - 495*b12 *kap *m3*n1)
4 7 2 2 2 7 2
+ 135*u3*v1 *b12 *kap + 270*u3*v1 *v2 *b12 *kap
2 6 2 2 2 7 2 2
+ 135*u3*v1 *v2*b12 *kap *n1 + 270*u3*v1 *v3 *b12 *kap + u3*v1 *(
4 2 4 2 2 3 2 2
- 1440*a11 *b12*kap*m3 + 1080*a11 *b12*n1 - 900*a11 *b12 *kap *m3
2 3 2 5 2 2 4 7 2
+ 1350*a11 *b12 *kap*n1 + 270*b12 *kap *n1 ) + 135*u3*v2 *b12 *kap
3 6 2 2 2 7 2 2
+ 135*u3*v2 *b12 *kap *n1 + 270*u3*v2 *v3 *b12 *kap + u3*v2 *(
4 2 4 2 2 3 2 2
- 1440*a11 *b12*kap*m3 + 1080*a11 *b12*n1 - 900*a11 *b12 *kap *m3
2 3 2 5 2 2
+ 1350*a11 *b12 *kap*n1 + 270*b12 *kap *n1 )
2 6 2 4 2
+ 135*u3*v2*v3 *b12 *kap *n1 - 270*u3*v2*v3*a11*b12 *kap *m3*n1 + u3*v2*(
2 2 2 2 2 2 3 4 3 2
180*a11 *b12 *kap *m3 *n1 - 540*a11 *b12 *kap*n1 - 225*b12 *kap *m3 *n1
4 2 3 4 7 2 2
- 540*b12 *kap *n1 ) + 135*u3*v3 *b12 *kap + u3*v3 *(
4 2 4 2 2 3 2 2
- 1440*a11 *b12*kap*m3 + 1080*a11 *b12*n1 - 180*a11 *b12 *kap *m3
2 3 2 5 3 2 5 2 2
+ 1350*a11 *b12 *kap*n1 + 180*b12 *kap *m3 + 270*b12 *kap *n1 ) + u3*(
2 3 4 2 2 2 2 3 4 4
- 180*a11 *b12*kap *m3 + 540*a11 *b12*kap *m3 *n1 + 225*b12 *kap *m3
3 3 2 2 3 5 2
+ 540*b12 *kap *m3 *n1 ) - 135*v1 *b12 *kap *m3*n1
2 5 2 2 5 2
- 135*v1*v2 *b12 *kap *m3*n1 - 135*v1*v3 *b12 *kap *m3*n1
3 2 2 2 2 3
+ 270*v1*v3*a11*b12 *kap *m3 *n1 + v1*( - 180*a11 *b12*kap *m3 *n1
2 3 3 3 3 3 2 3
+ 540*a11 *b12*kap*m3*n1 + 225*b12 *kap *m3 *n1 + 540*b12 *kap *m3*n1 )
which is not further factorizable.
{HAM,FI} = 0
3 2 4 6 2
FI=u1 *u3*v1*( - 18*a11 *b12 *kap - 9*b12 *kap )
2 2 4 6 2
+ u1 *u2*u3*v2*( - 18*a11 *b12 *kap - 9*b12 *kap )
2 2 2 4 6 2
+ u1 *u3 *v3*( - 18*a11 *b12 *kap - 9*b12 *kap )
2 2 3 2 4 2
+ u1 *u3 *( - 18*a11 *b12 *kap*m3 - 18*a11*b12 *kap *m3)
2 5 2 2 4
- 18*u1 *u3*v1*v2*a11*b12 *kap + 18*u1 *v1 *a11*b12 *kap*m3
2 2 4 6 2
+ u1*u2 *u3*v1*( - 18*a11 *b12 *kap - 9*b12 *kap )
2 2 2 4 2
+ u1*u2 *( - 16*a11 *b12 *kap*m3*n1 - 16*b12 *kap *m3*n1)
2 5 2 5
+ 18*u1*u2*u3*v1 *a11*b12 *kap - 18*u1*u2*u3*v2 *a11*b12 *kap
4 5
+ 36*u1*u2*v1*v2*a11*b12 *kap*m3 + 9*u1*u2*v1*v3*b12 *kap*n1
3 6 2 2 5
+ 9*u1*u3 *v1*b12 *kap - 18*u1*u3 *v2*v3*a11*b12 *kap
2 2 3 5 2
+ u1*u3 *v2*( - 18*a11 *b12 *kap*m3 - 18*b12 *kap *m3)
2 2 2 4 2
+ u1*u3 *( - 18*a11 *b12 *kap*m3*n1 - 18*b12 *kap *m3*n1)
3 6 2 6 5
- 9*u1*u3*v1 *b12 *kap - 9*u1*u3*v1*v2 *b12 *kap - 9*u1*u3*v1*v2*b12 *kap*n1
2 6 4
- 9*u1*u3*v1*v3 *b12 *kap + 18*u1*u3*v1*v3*a11*b12 *kap*m3
4 2 2 2 4
+ 9*u1*u3*v1*b12 *kap *m3 + 9*u1*v1 *b12 *kap*m3*n1
2 3 2 2 3
+ u1*(36*a11 *kap*m3 *n1 + 36*b12 *kap *m3 *n1)
3 2 4 6 2
+ u2 *u3*v2*( - 18*a11 *b12 *kap - 9*b12 *kap )
3 2 3 5 2
+ u2 *u3*( - 18*a11 *b12 *kap*n1 - 18*b12 *kap *n1)
2 2 2 4 6 2
+ u2 *u3 *v3*( - 18*a11 *b12 *kap - 9*b12 *kap )
2 2 3 2 4 2
+ u2 *u3 *( - 18*a11 *b12 *kap*m3 - 18*a11*b12 *kap *m3)
2 5 2 2 4
+ 18*u2 *u3*v1*v2*a11*b12 *kap + 18*u2 *v2 *a11*b12 *kap*m3
2 5 3 6 2
+ 9*u2 *v2*v3*b12 *kap*n1 + 9*u2*u3 *v2*b12 *kap
2 5
+ 18*u2*u3 *v1*v3*a11*b12 *kap
2 2 3 5 2
+ u2*u3 *v1*(18*a11 *b12 *kap*m3 + 18*b12 *kap *m3)
2 6 3 6 2 5
- 9*u2*u3*v1 *v2*b12 *kap - 9*u2*u3*v2 *b12 *kap - 9*u2*u3*v2 *b12 *kap*n1
2 6 4
- 9*u2*u3*v2*v3 *b12 *kap + 18*u2*u3*v2*v3*a11*b12 *kap*m3
4 2 2 2 5
+ 9*u2*u3*v2*b12 *kap *m3 + 9*u2*u3*v3 *b12 *kap*n1
2 2 3 2 2
+ u2*u3*(36*a11 *b12*kap*m3 *n1 + 36*b12 *kap *m3 *n1)
4 4 6 2
+ 9*u2*v1*v2*b12 *kap*m3*n1 + 9*u3 *v3*b12 *kap
4 3 2 4 2 2 2 6
+ u3 *(9*a11 *b12 *kap*m3 + 9*a11*b12 *kap *m3) - 9*u3 *v1 *v3*b12 *kap
2 2 6 2 5 2 3 6
- 9*u3 *v2 *v3*b12 *kap - 9*u3 *v2*v3*b12 *kap*n1 - 9*u3 *v3 *b12 *kap
2 2 2 2 4 2 2
+ u3 *v3*( - 18*a11 *b12 *kap*m3 - 9*b12 *kap *m3 )
4
+ 9*u3*v1*v3*b12 *kap*m3*n1
3 2 2 2
+ u3*v1*(144*a11 *m3 *n1 + 144*a11*b12 *kap*m3 *n1)
which is not further factorizable.
{HAM,FI} = 0
2 2 2
FI=u1 *u3*b12 *kap - 2*u1*u3*v2*a11*b12*kap + 2*u1*v1*a11*kap*m3
2 2 2
+ u2 *u3*b12 *kap + 2*u2*u3*v1*a11*b12*kap + 2*u2*v2*a11*kap*m3
3 2 2 2 2 2
+ u2*v3*b12*kap*n1 + u3 *b12 *kap + u3*v1 *(2*a11 + b12 *kap)
2 2 2 2 2 2
+ u3*v2 *(2*a11 + b12 *kap) - u3*v2*b12*kap*n1 + u3*v3 *(2*a11 + b12 *kap)
2 2
+ u3*kap *m3 + v1*kap*m3*n1
which is not further factorizable.
{HAM,FI} = 0
And again in machine readable form:
HAM=u1**2*a11 + u1*v2*b12 + u1*n1 + u2**2*a11 - u2*v1*b12 - u3**2*a11 + v3*m3$
FI=u1**4*u3*(540*a11**5*b12**3*kap**2 + 1170*a11**3*b12**5*kap**3 + 495*a11*b12
**7*kap**4) + u1**3*u3*v2*(1080*a11**4*b12**4*kap**2 + 1710*a11**2*b12**6*kap**3
+ 360*b12**8*kap**4) + u1**3*u3*(360*a11**6*b12*kap*n1 + 1260*a11**4*b12**3*kap
**2*n1 + 1260*a11**2*b12**5*kap**3*n1 + 360*b12**7*kap**4*n1) + u1**3*v1*( -
1080*a11**4*b12**3*kap**2*m3 - 1710*a11**2*b12**5*kap**3*m3 - 360*b12**7*kap**4*
m3) + u1**2*u2**2*u3*(1080*a11**5*b12**3*kap**2 + 2340*a11**3*b12**5*kap**3 +
990*a11*b12**7*kap**4) + u1**2*u2*u3*v1*( - 1080*a11**4*b12**4*kap**2 - 1710*a11
**2*b12**6*kap**3 - 360*b12**8*kap**4) + u1**2*u2*v2*( - 1080*a11**4*b12**3*kap
**2*m3 - 1710*a11**2*b12**5*kap**3*m3 - 360*b12**7*kap**4*m3) + u1**2*u2*v3*(540
*a11**5*b12**2*kap*n1 + 1170*a11**3*b12**4*kap**2*n1 + 495*a11*b12**6*kap**3*n1)
+ u1**2*u2*(30*a11**4*b12**2*kap**2*m3*n1 + 150*a11**2*b12**4*kap**3*m3*n1 +
120*b12**6*kap**4*m3*n1) + u1**2*u3**3*(40*a11**5*b12**3*kap**2 + 310*a11**3*b12
**5*kap**3) + u1**2*u3*v1**2*(450*a11**3*b12**5*kap**2 + 450*a11*b12**7*kap**3)
+ u1**2*u3*v2**2*(1170*a11**3*b12**5*kap**2 + 1170*a11*b12**7*kap**3) + u1**2*u3
*v2*(630*a11**3*b12**4*kap**2*n1 + 765*a11*b12**6*kap**3*n1) + u1**2*u3*v3**2*(
630*a11**3*b12**5*kap**2 + 630*a11*b12**7*kap**3) + u1**2*v1*v2*( - 1080*a11**3*
b12**4*kap**2*m3 - 1080*a11*b12**6*kap**3*m3) + u1**2*v1*( - 1350*a11**3*b12**3*
kap**2*m3*n1 - 1485*a11*b12**5*kap**3*m3*n1) + u1*u2**2*u3*v2*(1080*a11**4*b12**
4*kap**2 + 1710*a11**2*b12**6*kap**3 + 360*b12**8*kap**4) + u1*u2**2*u3*(240*a11
**4*b12**3*kap**2*n1 + 840*a11**2*b12**5*kap**3*n1 + 600*b12**7*kap**4*n1) + u1*
u2**2*v1*( - 1080*a11**4*b12**3*kap**2*m3 - 1710*a11**2*b12**5*kap**3*m3 - 360*
b12**7*kap**4*m3) + u1*u2*u3*v1*v2*( - 1440*a11**3*b12**5*kap**2 - 1440*a11*b12
**7*kap**3) + u1*u2*u3*v1*( - 180*a11**3*b12**4*kap**2*n1 - 180*a11*b12**6*kap**
3*n1) + u1*u2*v1**2*(1080*a11**3*b12**4*kap**2*m3 + 1080*a11*b12**6*kap**3*m3) +
u1*u2*v2**2*( - 1080*a11**3*b12**4*kap**2*m3 - 1080*a11*b12**6*kap**3*m3) + u1*
u2*v2*v3*( - 360*a11**2*b12**5*kap**2*n1 - 360*b12**7*kap**3*n1) + u1*u2*v2*( -
900*a11**3*b12**3*kap**2*m3*n1 - 900*a11*b12**5*kap**3*m3*n1) + u1*u2*v3*( - 360
*a11**2*b12**4*kap**2*n1**2 - 360*b12**6*kap**3*n1**2) + u1*u3**3*v2*(40*a11**4*
b12**4*kap**2 + 310*a11**2*b12**6*kap**3) + u1*u3**3*(40*a11**4*b12**3*kap**2*n1
+ 40*a11**2*b12**5*kap**3*n1) + u1*u3**2*v1*v3*( - 360*a11**3*b12**5*kap**2 -
360*a11*b12**7*kap**3) + u1*u3**2*v1*(765*a11**4*b12**3*kap**2*m3 + 315*a11**2*
b12**5*kap**3*m3 - 180*b12**7*kap**4*m3) + u1*u3*v1**2*v2*(630*a11**2*b12**6*kap
**2 + 360*b12**8*kap**3) + u1*u3*v1**2*(360*a11**2*b12**5*kap**2*n1 + 360*b12**7
*kap**3*n1) + u1*u3*v2**3*(630*a11**2*b12**6*kap**2 + 360*b12**8*kap**3) + u1*u3
*v2**2*(720*a11**2*b12**5*kap**2*n1 + 720*b12**7*kap**3*n1) + u1*u3*v2*v3**2*(
630*a11**2*b12**6*kap**2 + 360*b12**8*kap**3) + u1*u3*v2*( - 1080*a11**4*b12**2*
kap**2*m3**2 - 1080*a11**4*b12**2*kap*n1**2 - 2430*a11**2*b12**4*kap**3*m3**2 -
720*a11**2*b12**4*kap**2*n1**2 - 1080*b12**6*kap**4*m3**2 + 360*b12**6*kap**3*n1
**2) + u1*u3*v3**2*(360*a11**2*b12**5*kap**2*n1 + 360*b12**7*kap**3*n1) + u1*u3*
v3*( - 720*a11**3*b12**3*kap**2*m3*n1 - 720*a11*b12**5*kap**3*m3*n1) + u1*u3*( -
180*a11**4*b12*kap**2*m3**2*n1 - 1260*a11**2*b12**3*kap**3*m3**2*n1 - 1080*b12
**5*kap**4*m3**2*n1) + u1*v1**3*( - 630*a11**2*b12**5*kap**2*m3 - 360*b12**7*kap
**3*m3) + u1*v1*v2**2*( - 630*a11**2*b12**5*kap**2*m3 - 360*b12**7*kap**3*m3) +
u1*v1*v2*( - 360*a11**2*b12**4*kap**2*m3*n1 - 360*b12**6*kap**3*m3*n1) + u1*v1*
v3**2*( - 630*a11**2*b12**5*kap**2*m3 - 360*b12**7*kap**3*m3) + u1*v1*v3*( -
1080*a11**3*b12**3*kap**2*m3**2 - 1080*a11*b12**5*kap**3*m3**2) + u1*v1*(1080*
a11**4*b12*kap**2*m3**3 + 1080*a11**4*b12*kap*m3*n1**2 + 2430*a11**2*b12**3*kap
**3*m3**3 + 720*a11**2*b12**3*kap**2*m3*n1**2 + 1080*b12**5*kap**4*m3**3 - 360*
b12**5*kap**3*m3*n1**2) + u2**4*u3*(540*a11**5*b12**3*kap**2 + 1170*a11**3*b12**
5*kap**3 + 495*a11*b12**7*kap**4) + u2**3*u3*v1*( - 1080*a11**4*b12**4*kap**2 -
1710*a11**2*b12**6*kap**3 - 360*b12**8*kap**4) + u2**3*v2*( - 1080*a11**4*b12**3
*kap**2*m3 - 1710*a11**2*b12**5*kap**3*m3 - 360*b12**7*kap**4*m3) + u2**3*v3*(
540*a11**5*b12**2*kap*n1 + 1170*a11**3*b12**4*kap**2*n1 + 495*a11*b12**6*kap**3*
n1) + u2**3*( - 60*a11**4*b12**2*kap**2*m3*n1 - 300*a11**2*b12**4*kap**3*m3*n1 -
240*b12**6*kap**4*m3*n1) + u2**2*u3**3*(40*a11**5*b12**3*kap**2 + 310*a11**3*
b12**5*kap**3) + u2**2*u3*v1**2*(1170*a11**3*b12**5*kap**2 + 1170*a11*b12**7*kap
**3) + u2**2*u3*v2**2*(450*a11**3*b12**5*kap**2 + 450*a11*b12**7*kap**3) + u2**2
*u3*v2*(450*a11**3*b12**4*kap**2*n1 + 585*a11*b12**6*kap**3*n1) + u2**2*u3*v3**2
*(630*a11**3*b12**5*kap**2 + 630*a11*b12**7*kap**3) + u2**2*u3*(540*a11**3*b12**
3*kap**2*n1**2 + 540*a11*b12**5*kap**3*n1**2) + u2**2*v1*v2*(1080*a11**3*b12**4*
kap**2*m3 + 1080*a11*b12**6*kap**3*m3) + u2**2*v1*v3*(360*a11**2*b12**5*kap**2*
n1 + 360*b12**7*kap**3*n1) + u2**2*v1*( - 450*a11**3*b12**3*kap**2*m3*n1 - 585*
a11*b12**5*kap**3*m3*n1) + u2*u3**3*v1*( - 40*a11**4*b12**4*kap**2 - 310*a11**2*
b12**6*kap**3) + u2*u3**2*v2*v3*( - 360*a11**3*b12**5*kap**2 - 360*a11*b12**7*
kap**3) + u2*u3**2*v2*(765*a11**4*b12**3*kap**2*m3 + 315*a11**2*b12**5*kap**3*m3
- 180*b12**7*kap**4*m3) - 135*u2*u3**2*v3*a11*b12**6*kap**3*n1 + u2*u3*v1**3*(
- 630*a11**2*b12**6*kap**2 - 360*b12**8*kap**3) + u2*u3*v1*v2**2*( - 630*a11**2*
b12**6*kap**2 - 360*b12**8*kap**3) + u2*u3*v1*v2*( - 360*a11**2*b12**5*kap**2*n1
- 360*b12**7*kap**3*n1) + u2*u3*v1*v3**2*( - 630*a11**2*b12**6*kap**2 - 360*b12
**8*kap**3) + u2*u3*v1*(1080*a11**4*b12**2*kap**2*m3**2 + 1080*a11**4*b12**2*kap
*n1**2 + 2430*a11**2*b12**4*kap**3*m3**2 + 1080*a11**2*b12**4*kap**2*n1**2 +
1080*b12**6*kap**4*m3**2) + u2*v1**2*v2*( - 630*a11**2*b12**5*kap**2*m3 - 360*
b12**7*kap**3*m3) - 135*u2*v1**2*v3*a11*b12**6*kap**2*n1 + u2*v1**2*(360*a11**2*
b12**4*kap**2*m3*n1 + 360*b12**6*kap**3*m3*n1) + u2*v2**3*( - 630*a11**2*b12**5*
kap**2*m3 - 360*b12**7*kap**3*m3) - 135*u2*v2**2*v3*a11*b12**6*kap**2*n1 + u2*v2
*v3**2*( - 630*a11**2*b12**5*kap**2*m3 - 360*b12**7*kap**3*m3) + u2*v2*v3*( -
1080*a11**3*b12**3*kap**2*m3**2 - 1080*a11*b12**5*kap**3*m3**2) + u2*v2*(1080*
a11**4*b12*kap**2*m3**3 + 900*a11**4*b12*kap*m3*n1**2 + 2430*a11**2*b12**3*kap**
3*m3**3 + 180*a11**2*b12**3*kap**2*m3*n1**2 + 1080*b12**5*kap**4*m3**3 - 720*b12
**5*kap**3*m3*n1**2) - 135*u2*v3**3*a11*b12**6*kap**2*n1 + u2*v3**2*( - 360*a11
**2*b12**4*kap**2*m3*n1 - 360*b12**6*kap**3*m3*n1) + u2*v3*(450*a11**3*b12**2*
kap**2*m3**2*n1 + 540*a11**3*b12**2*kap*n1**3 + 585*a11*b12**4*kap**3*m3**2*n1 +
540*a11*b12**4*kap**2*n1**3) + u2*(180*a11**4*kap*m3*n1**3 + 900*a11**2*b12**2*
kap**2*m3*n1**3 + 720*b12**4*kap**3*m3*n1**3) + u3**5*( - 108*a11**5*b12**3*kap
**2 - 27*a11*b12**7*kap**4) + 135*u3**3*v2*a11*b12**6*kap**3*n1 + u3**3*v3**2*(
- 180*a11**3*b12**5*kap**2 - 180*a11*b12**7*kap**3) + u3**3*v3*(805*a11**4*b12**
3*kap**2*m3 + 625*a11**2*b12**5*kap**3*m3 - 180*b12**7*kap**4*m3) + u3**3*(720*
a11**5*b12*kap**2*m3**2 + 1440*a11**3*b12**3*kap**3*m3**2 + 540*a11**3*b12**3*
kap**2*n1**2 + 720*a11*b12**5*kap**4*m3**2 + 540*a11*b12**5*kap**3*n1**2) - 135*
u3**2*v1*a11*b12**5*kap**3*m3*n1 + 135*u3*v1**4*a11*b12**7*kap**2 + 270*u3*v1**2
*v2**2*a11*b12**7*kap**2 + 135*u3*v1**2*v2*a11*b12**6*kap**2*n1 + 270*u3*v1**2*
v3**2*a11*b12**7*kap**2 + u3*v1**2*(1080*a11**5*b12*kap*m3**2 + 1080*a11**5*b12*
n1**2 + 2430*a11**3*b12**3*kap**2*m3**2 + 1350*a11**3*b12**3*kap*n1**2 + 1080*
a11*b12**5*kap**3*m3**2 + 270*a11*b12**5*kap**2*n1**2) + 135*u3*v2**4*a11*b12**7
*kap**2 + 135*u3*v2**3*a11*b12**6*kap**2*n1 + 270*u3*v2**2*v3**2*a11*b12**7*kap
**2 + u3*v2**2*(1080*a11**5*b12*kap*m3**2 + 1080*a11**5*b12*n1**2 + 2430*a11**3*
b12**3*kap**2*m3**2 + 1350*a11**3*b12**3*kap*n1**2 + 1080*a11*b12**5*kap**3*m3**
2 + 270*a11*b12**5*kap**2*n1**2) + 135*u3*v2*v3**2*a11*b12**6*kap**2*n1 + u3*v2*
v3*(360*a11**2*b12**4*kap**2*m3*n1 + 360*b12**6*kap**3*m3*n1) + u3*v2*( - 450*
a11**3*b12**2*kap**2*m3**2*n1 - 540*a11**3*b12**2*kap*n1**3 - 585*a11*b12**4*kap
**3*m3**2*n1 - 540*a11*b12**4*kap**2*n1**3) + 135*u3*v3**4*a11*b12**7*kap**2 +
u3*v3**2*(1080*a11**5*b12*kap*m3**2 + 1080*a11**5*b12*n1**2 + 1890*a11**3*b12**3
*kap**2*m3**2 + 1350*a11**3*b12**3*kap*n1**2 + 540*a11*b12**5*kap**3*m3**2 + 270
*a11*b12**5*kap**2*n1**2) + u3*(450*a11**3*b12*kap**3*m3**4 + 540*a11**3*b12*kap
**2*m3**2*n1**2 + 585*a11*b12**3*kap**4*m3**4 + 540*a11*b12**3*kap**3*m3**2*n1**
2) - 135*v1**3*a11*b12**5*kap**2*m3*n1 - 135*v1*v2**2*a11*b12**5*kap**2*m3*n1 -
135*v1*v3**2*a11*b12**5*kap**2*m3*n1 + v1*v3*( - 360*a11**2*b12**3*kap**2*m3**2*
n1 - 360*b12**5*kap**3*m3**2*n1) + v1*(450*a11**3*b12*kap**2*m3**3*n1 + 540*a11
**3*b12*kap*m3*n1**3 + 585*a11*b12**3*kap**3*m3**3*n1 + 540*a11*b12**3*kap**2*m3
*n1**3)$
FI=u1**4*u3*( - 720*a11**4*b12**3*kap**2 - 180*a11**2*b12**5*kap**3 + 135*b12**7
*kap**4) + u1**3*u3*v2*( - 1440*a11**3*b12**4*kap**2 - 360*a11*b12**6*kap**3) +
u1**3*u3*( - 480*a11**5*b12*kap*n1 - 1320*a11**3*b12**3*kap**2*n1 - 570*a11*b12
**5*kap**3*n1) + u1**3*v1*(1440*a11**3*b12**3*kap**2*m3 + 360*a11*b12**5*kap**3*
m3) + u1**2*u2**2*u3*( - 1440*a11**4*b12**3*kap**2 - 360*a11**2*b12**5*kap**3 +
270*b12**7*kap**4) + u1**2*u2*u3*v1*(1440*a11**3*b12**4*kap**2 + 360*a11*b12**6*
kap**3) + u1**2*u2*v2*(1440*a11**3*b12**3*kap**2*m3 + 360*a11*b12**5*kap**3*m3)
+ u1**2*u2*v3*( - 720*a11**4*b12**2*kap*n1 - 180*a11**2*b12**4*kap**2*n1 + 135*
b12**6*kap**3*n1) + u1**2*u2*( - 180*a11**3*b12**2*kap**2*m3*n1 - 180*a11*b12**4
*kap**3*m3*n1) + u1**2*u3**3*(670*a11**4*b12**3*kap**2 + 1300*a11**2*b12**5*kap
**3 + 360*b12**7*kap**4) + u1**2*u3*v1**2*( - 180*a11**2*b12**5*kap**2 + 90*b12
**7*kap**3) + u1**2*u3*v2**2*( - 720*a11**2*b12**5*kap**2 + 90*b12**7*kap**3) +
u1**2*u3*v2*( - 1260*a11**2*b12**4*kap**2*n1 - 315*b12**6*kap**3*n1) + 270*u1**2
*u3*v3**2*b12**7*kap**3 + u1**2*v1*v2*(1440*a11**2*b12**4*kap**2*m3 + 360*b12**6
*kap**3*m3) + u1**2*v1*(1800*a11**2*b12**3*kap**2*m3*n1 + 315*b12**5*kap**3*m3*
n1) + u1*u2**2*u3*v2*( - 1440*a11**3*b12**4*kap**2 - 360*a11*b12**6*kap**3) + u1
*u2**2*u3*( - 1440*a11**3*b12**3*kap**2*n1 - 1170*a11*b12**5*kap**3*n1) + u1*u2
**2*v1*(1440*a11**3*b12**3*kap**2*m3 + 360*a11*b12**5*kap**3*m3) + 1080*u1*u2*u3
*v1*v2*a11**2*b12**5*kap**2 + u1*u2*u3*v1*(1080*a11**2*b12**4*kap**2*n1 + 540*
b12**6*kap**3*n1) + u1*u2*v1**2*( - 1440*a11**2*b12**4*kap**2*m3 - 360*b12**6*
kap**3*m3) + u1*u2*v2**2*(1440*a11**2*b12**4*kap**2*m3 + 360*b12**6*kap**3*m3) +
270*u1*u2*v2*v3*a11*b12**5*kap**2*n1 + u1*u2*v2*(1620*a11**2*b12**3*kap**2*m3*
n1 + 540*b12**5*kap**3*m3*n1) + 270*u1*u2*v3*a11*b12**4*kap**2*n1**2 + u1*u3**3*
v2*(670*a11**3*b12**4*kap**2 + 670*a11*b12**6*kap**3) + u1*u3**3*( - 590*a11**3*
b12**3*kap**2*n1 - 320*a11*b12**5*kap**3*n1) + u1*u3**2*v1*v3*( - 360*a11**2*b12
**5*kap**2 - 360*b12**7*kap**3) + u1*u3**2*v1*( - 2070*a11**3*b12**3*kap**2*m3 -
990*a11*b12**5*kap**3*m3) - 270*u1*u3*v1**2*a11*b12**5*kap**2*n1 - 540*u1*u3*v2
**2*a11*b12**5*kap**2*n1 + u1*u3*v2*(1440*a11**3*b12**2*kap**2*m3**2 - 1080*a11
**3*b12**2*kap*n1**2 + 900*a11*b12**4*kap**3*m3**2 - 1350*a11*b12**4*kap**2*n1**
2) - 270*u1*u3*v3**2*a11*b12**5*kap**2*n1 + 540*u1*u3*v3*a11**2*b12**3*kap**2*m3
*n1 + u1*u3*(1080*a11**3*b12*kap**2*m3**2*n1 + 1350*a11*b12**3*kap**3*m3**2*n1)
+ 270*u1*v1*v2*a11*b12**4*kap**2*m3*n1 + u1*v1*v3*(1440*a11**2*b12**3*kap**2*m3
**2 + 360*b12**5*kap**3*m3**2) + u1*v1*( - 1440*a11**3*b12*kap**2*m3**3 + 1080*
a11**3*b12*kap*m3*n1**2 - 900*a11*b12**3*kap**3*m3**3 + 1350*a11*b12**3*kap**2*
m3*n1**2) + u2**4*u3*( - 720*a11**4*b12**3*kap**2 - 180*a11**2*b12**5*kap**3 +
135*b12**7*kap**4) + u2**3*u3*v1*(1440*a11**3*b12**4*kap**2 + 360*a11*b12**6*kap
**3) + u2**3*v2*(1440*a11**3*b12**3*kap**2*m3 + 360*a11*b12**5*kap**3*m3) + u2**
3*v3*( - 720*a11**4*b12**2*kap*n1 - 180*a11**2*b12**4*kap**2*n1 + 135*b12**6*kap
**3*n1) + u2**3*(360*a11**3*b12**2*kap**2*m3*n1 + 360*a11*b12**4*kap**3*m3*n1) +
u2**2*u3**3*(670*a11**4*b12**3*kap**2 + 1300*a11**2*b12**5*kap**3 + 360*b12**7*
kap**4) + u2**2*u3*v1**2*( - 720*a11**2*b12**5*kap**2 + 90*b12**7*kap**3) + u2**
2*u3*v2**2*( - 180*a11**2*b12**5*kap**2 + 90*b12**7*kap**3) + u2**2*u3*v2*( -
180*a11**2*b12**4*kap**2*n1 + 225*b12**6*kap**3*n1) + 270*u2**2*u3*v3**2*b12**7*
kap**3 + u2**2*u3*(540*a11**2*b12**3*kap**2*n1**2 + 540*b12**5*kap**3*n1**2) +
u2**2*v1*v2*( - 1440*a11**2*b12**4*kap**2*m3 - 360*b12**6*kap**3*m3) - 270*u2**2
*v1*v3*a11*b12**5*kap**2*n1 + u2**2*v1*(180*a11**2*b12**3*kap**2*m3*n1 - 225*b12
**5*kap**3*m3*n1) + u2*u3**3*v1*( - 670*a11**3*b12**4*kap**2 - 670*a11*b12**6*
kap**3) + u2*u3**2*v2*v3*( - 360*a11**2*b12**5*kap**2 - 360*b12**7*kap**3) + u2*
u3**2*v2*( - 2070*a11**3*b12**3*kap**2*m3 - 990*a11*b12**5*kap**3*m3) + u2*u3**2
*v3*( - 630*a11**2*b12**4*kap**2*n1 - 495*b12**6*kap**3*n1) + 270*u2*u3*v1*v2*
a11*b12**5*kap**2*n1 + u2*u3*v1*( - 1440*a11**3*b12**2*kap**2*m3**2 + 1080*a11**
3*b12**2*kap*n1**2 - 900*a11*b12**4*kap**3*m3**2 + 1080*a11*b12**4*kap**2*n1**2)
- 135*u2*v1**2*v3*b12**6*kap**2*n1 - 270*u2*v1**2*a11*b12**4*kap**2*m3*n1 - 135
*u2*v2**2*v3*b12**6*kap**2*n1 + u2*v2*v3*(1440*a11**2*b12**3*kap**2*m3**2 + 360*
b12**5*kap**3*m3**2) + u2*v2*( - 1440*a11**3*b12*kap**2*m3**3 + 2160*a11**3*b12*
kap*m3*n1**2 - 900*a11*b12**3*kap**3*m3**3 + 2160*a11*b12**3*kap**2*m3*n1**2) -
135*u2*v3**3*b12**6*kap**2*n1 + 270*u2*v3**2*a11*b12**4*kap**2*m3*n1 + u2*v3*( -
180*a11**2*b12**2*kap**2*m3**2*n1 + 540*a11**2*b12**2*kap*n1**3 + 225*b12**4*
kap**3*m3**2*n1 + 540*b12**4*kap**2*n1**3) + u2*( - 1080*a11**3*kap*m3*n1**3 -
1080*a11*b12**2*kap**2*m3*n1**3) + u3**5*(648*a11**4*b12**3*kap**2 + 558*a11**2*
b12**5*kap**3 + 45*b12**7*kap**4) + u3**3*v1**2*(630*a11**2*b12**5*kap**2 + 360*
b12**7*kap**3) + u3**3*v2**2*(630*a11**2*b12**5*kap**2 + 360*b12**7*kap**3) + u3
**3*v2*(630*a11**2*b12**4*kap**2*n1 + 495*b12**6*kap**3*n1) + u3**3*v3**2*(450*
a11**2*b12**5*kap**2 + 180*b12**7*kap**3) + u3**3*v3*( - 1400*a11**3*b12**3*kap
**2*m3 - 320*a11*b12**5*kap**3*m3) + u3**3*(720*a11**4*b12*kap**2*m3**2 + 180*
a11**2*b12**3*kap**3*m3**2 + 540*a11**2*b12**3*kap**2*n1**2 + 540*b12**5*kap**3*
n1**2) + u3**2*v1*( - 630*a11**2*b12**3*kap**2*m3*n1 - 495*b12**5*kap**3*m3*n1)
+ 135*u3*v1**4*b12**7*kap**2 + 270*u3*v1**2*v2**2*b12**7*kap**2 + 135*u3*v1**2*
v2*b12**6*kap**2*n1 + 270*u3*v1**2*v3**2*b12**7*kap**2 + u3*v1**2*( - 1440*a11**
4*b12*kap*m3**2 + 1080*a11**4*b12*n1**2 - 900*a11**2*b12**3*kap**2*m3**2 + 1350*
a11**2*b12**3*kap*n1**2 + 270*b12**5*kap**2*n1**2) + 135*u3*v2**4*b12**7*kap**2
+ 135*u3*v2**3*b12**6*kap**2*n1 + 270*u3*v2**2*v3**2*b12**7*kap**2 + u3*v2**2*(
- 1440*a11**4*b12*kap*m3**2 + 1080*a11**4*b12*n1**2 - 900*a11**2*b12**3*kap**2*
m3**2 + 1350*a11**2*b12**3*kap*n1**2 + 270*b12**5*kap**2*n1**2) + 135*u3*v2*v3**
2*b12**6*kap**2*n1 - 270*u3*v2*v3*a11*b12**4*kap**2*m3*n1 + u3*v2*(180*a11**2*
b12**2*kap**2*m3**2*n1 - 540*a11**2*b12**2*kap*n1**3 - 225*b12**4*kap**3*m3**2*
n1 - 540*b12**4*kap**2*n1**3) + 135*u3*v3**4*b12**7*kap**2 + u3*v3**2*( - 1440*
a11**4*b12*kap*m3**2 + 1080*a11**4*b12*n1**2 - 180*a11**2*b12**3*kap**2*m3**2 +
1350*a11**2*b12**3*kap*n1**2 + 180*b12**5*kap**3*m3**2 + 270*b12**5*kap**2*n1**2
) + u3*( - 180*a11**2*b12*kap**3*m3**4 + 540*a11**2*b12*kap**2*m3**2*n1**2 + 225
*b12**3*kap**4*m3**4 + 540*b12**3*kap**3*m3**2*n1**2) - 135*v1**3*b12**5*kap**2*
m3*n1 - 135*v1*v2**2*b12**5*kap**2*m3*n1 - 135*v1*v3**2*b12**5*kap**2*m3*n1 +
270*v1*v3*a11*b12**3*kap**2*m3**2*n1 + v1*( - 180*a11**2*b12*kap**2*m3**3*n1 +
540*a11**2*b12*kap*m3*n1**3 + 225*b12**3*kap**3*m3**3*n1 + 540*b12**3*kap**2*m3*
n1**3)$
FI=u1**3*u3*v1*( - 18*a11**2*b12**4*kap - 9*b12**6*kap**2) + u1**2*u2*u3*v2*( -
18*a11**2*b12**4*kap - 9*b12**6*kap**2) + u1**2*u3**2*v3*( - 18*a11**2*b12**4*
kap - 9*b12**6*kap**2) + u1**2*u3**2*( - 18*a11**3*b12**2*kap*m3 - 18*a11*b12**4
*kap**2*m3) - 18*u1**2*u3*v1*v2*a11*b12**5*kap + 18*u1**2*v1**2*a11*b12**4*kap*
m3 + u1*u2**2*u3*v1*( - 18*a11**2*b12**4*kap - 9*b12**6*kap**2) + u1*u2**2*( -
16*a11**2*b12**2*kap*m3*n1 - 16*b12**4*kap**2*m3*n1) + 18*u1*u2*u3*v1**2*a11*b12
**5*kap - 18*u1*u2*u3*v2**2*a11*b12**5*kap + 36*u1*u2*v1*v2*a11*b12**4*kap*m3 +
9*u1*u2*v1*v3*b12**5*kap*n1 + 9*u1*u3**3*v1*b12**6*kap**2 - 18*u1*u3**2*v2*v3*
a11*b12**5*kap + u1*u3**2*v2*( - 18*a11**2*b12**3*kap*m3 - 18*b12**5*kap**2*m3)
+ u1*u3**2*( - 18*a11**2*b12**2*kap*m3*n1 - 18*b12**4*kap**2*m3*n1) - 9*u1*u3*v1
**3*b12**6*kap - 9*u1*u3*v1*v2**2*b12**6*kap - 9*u1*u3*v1*v2*b12**5*kap*n1 - 9*
u1*u3*v1*v3**2*b12**6*kap + 18*u1*u3*v1*v3*a11*b12**4*kap*m3 + 9*u1*u3*v1*b12**4
*kap**2*m3**2 + 9*u1*v1**2*b12**4*kap*m3*n1 + u1*(36*a11**2*kap*m3**3*n1 + 36*
b12**2*kap**2*m3**3*n1) + u2**3*u3*v2*( - 18*a11**2*b12**4*kap - 9*b12**6*kap**2
) + u2**3*u3*( - 18*a11**2*b12**3*kap*n1 - 18*b12**5*kap**2*n1) + u2**2*u3**2*v3
*( - 18*a11**2*b12**4*kap - 9*b12**6*kap**2) + u2**2*u3**2*( - 18*a11**3*b12**2*
kap*m3 - 18*a11*b12**4*kap**2*m3) + 18*u2**2*u3*v1*v2*a11*b12**5*kap + 18*u2**2*
v2**2*a11*b12**4*kap*m3 + 9*u2**2*v2*v3*b12**5*kap*n1 + 9*u2*u3**3*v2*b12**6*kap
**2 + 18*u2*u3**2*v1*v3*a11*b12**5*kap + u2*u3**2*v1*(18*a11**2*b12**3*kap*m3 +
18*b12**5*kap**2*m3) - 9*u2*u3*v1**2*v2*b12**6*kap - 9*u2*u3*v2**3*b12**6*kap -
9*u2*u3*v2**2*b12**5*kap*n1 - 9*u2*u3*v2*v3**2*b12**6*kap + 18*u2*u3*v2*v3*a11*
b12**4*kap*m3 + 9*u2*u3*v2*b12**4*kap**2*m3**2 + 9*u2*u3*v3**2*b12**5*kap*n1 +
u2*u3*(36*a11**2*b12*kap*m3**2*n1 + 36*b12**3*kap**2*m3**2*n1) + 9*u2*v1*v2*b12
**4*kap*m3*n1 + 9*u3**4*v3*b12**6*kap**2 + u3**4*(9*a11**3*b12**2*kap*m3 + 9*a11
*b12**4*kap**2*m3) - 9*u3**2*v1**2*v3*b12**6*kap - 9*u3**2*v2**2*v3*b12**6*kap -
9*u3**2*v2*v3*b12**5*kap*n1 - 9*u3**2*v3**3*b12**6*kap + u3**2*v3*( - 18*a11**2
*b12**2*kap*m3**2 - 9*b12**4*kap**2*m3**2) + 9*u3*v1*v3*b12**4*kap*m3*n1 + u3*v1
*(144*a11**3*m3**2*n1 + 144*a11*b12**2*kap*m3**2*n1)$
FI=u1**2*u3*b12**2*kap**2 - 2*u1*u3*v2*a11*b12*kap + 2*u1*v1*a11*kap*m3 + u2**2*
u3*b12**2*kap**2 + 2*u2*u3*v1*a11*b12*kap + 2*u2*v2*a11*kap*m3 + u2*v3*b12*kap*
n1 + u3**3*b12**2*kap**2 + u3*v1**2*(2*a11**2 + b12**2*kap) + u3*v2**2*(2*a11**2
+ b12**2*kap) - u3*v2*b12*kap*n1 + u3*v3**2*(2*a11**2 + b12**2*kap) + u3*kap**2
*m3**2 + v1*kap*m3*n1$