Solution 6 to problem over
Expressions |
Parameters |
Inequalities |
Relevance |
Back to problem over
Expressions
The solution is given through the following expressions:
r10=0
r11=0
3 3
48*a22*b11*n1*r217 + 99*n1 *r483 - 99*n1 *r494
r12=------------------------------------------------
2
128*a22 *b11
r13=0
r14=0
3 3
48*a22*b11*n1*r217 + 63*n1 *r483 - 63*n1 *r494
r15=------------------------------------------------
2
32*a22*b11
2 2
- 16*a22*b11*r217 - 15*n1 *r483 + 15*n1 *r494
r20=------------------------------------------------
2
64*a22
r21=0
2 2
2*a22*b11*r217 + 3*n1 *r483 - 3*n1 *r494
r22=------------------------------------------
2
16*a22
r23=0
r24=0
2 2
- 9*n1 *r483 + 9*n1 *r494
r26=----------------------------
16*a22*b11
r27=0
r28=0
2 2
- 16*a22*b11*r217 - 15*n1 *r483 + 15*n1 *r494
r29=------------------------------------------------
2
16*b11
r210=0
r212=0
r213=0
2 2
2*a22*b11*r217 + 3*n1 *r483 - 3*n1 *r494
r214=------------------------------------------
2
b11
r215=0
r216=0
r218=0
r219=0
r30=0
r31=0
r32=0
r33=0
12*b11*n1*r446 - 9*b11*n1*r483 - 27*b11*n1*r494
r34=-------------------------------------------------
2
64*a22
r35=0
12*b11*n1*r446 - 21*b11*n1*r483 - 15*b11*n1*r494
r36=--------------------------------------------------
2
64*a22
r37=0
r38=0
3*b11*n1*r446 - 6*b11*n1*r483 - 3*b11*n1*r494
r39=-----------------------------------------------
2
16*a22
r310=0
r311=0
r312=0
- 3*n1*r446 + 3*n1*r483
r313=--------------------------
8*a22
r314=0
r315=0
r316=0
r317=0
3*n1*r483 - 3*n1*r494
r318=-----------------------
8*b11
r319=0
r320=0
r321=0
r322=0
r323=0
- 3*n1*r446 + 3*n1*r494
r324=--------------------------
8*a22
r325=0
r326=0
r327=0
r328=0
r329=0
r330=0
r331=0
- 3*n1*r483 + 3*n1*r494
r332=--------------------------
2*b11
r333=0
r334=0
- 12*n1*r446 + 7*n1*r483 + 5*n1*r494
r335=---------------------------------------
16*a22
r336=0
- 12*n1*r446 + 7*n1*r483 + 5*n1*r494
r337=---------------------------------------
16*a22
r338=0
r339=0
- 9*n1*r446 - 3*n1*r483 + 12*n1*r494
r340=---------------------------------------
8*a22
- 3*n1*r446 + 3*n1*r483
r341=--------------------------
2*b11
r342=0
r343=0
- a22*n1*r483 + a22*n1*r494
r344=------------------------------
2
2*b11
r345=0
- 3*n1*r446 + 3*n1*r494
r346=--------------------------
2*b11
r347=0
r348=0
- 2*a22*n1*r483 + 2*a22*n1*r494
r349=----------------------------------
2
b11
r350=0
r351=0
- 6*n1*r446 + n1*r483 + 5*n1*r494
r352=------------------------------------
4*b11
r353=0
r354=0
- a22*n1*r483 + a22*n1*r494
r355=------------------------------
2
b11
2 2 2
- b11 *r446 + 3*b11 *r483 + 3*b11 *r494
r40=------------------------------------------
2
32*a22
r41=0
2 2 2
- 22*b11 *r446 + 23*b11 *r483 + 25*b11 *r494
r42=-----------------------------------------------
2
64*a22
r43=0
2 2 2
- 40*b11 *r446 + 37*b11 *r483 + 35*b11 *r494
r44=-----------------------------------------------
2
128*a22
r45=0
r46=0
r47=0
r48=0
2 2 2
- b11 *r446 + 5*b11 *r483 + b11 *r494
r49=----------------------------------------
2
32*a22
r410=0
2 2 2
- 5*b11 *r446 + 4*b11 *r483 + 5*b11 *r494
r411=--------------------------------------------
2
16*a22
r412=0
r413=0
- 2*b11*r446 + 2*b11*r483 + 3*b11*r494
r415=-----------------------------------------
4*a22
r416=0
- 7*b11*r446 + 7*b11*r483 + 6*b11*r494
r417=-----------------------------------------
8*a22
r418=0
r419=0
r420=0
r421=0
- 3*b11*r446 + 3*b11*r483 + 3*b11*r494
r422=-----------------------------------------
4*a22
r423=0
r424=0
12*r446 - 5*r483 - 7*r494
r425=---------------------------
8
r426=0
8*r446 - 7*r483 - 5*r494
r427=--------------------------
8
r428=0
r429=0
2*r446 - r483 - 2*r494
r430=------------------------
2
a22*r446 - a22*r483
r431=---------------------
b11
r432=0
r433=0
2 2
a22 *r483 - a22 *r494
r434=-----------------------
2
2*b11
r435=0
b11*r446 - b11*r494
r436=---------------------
4*a22
r437=0
- b11*r446 + b11*r494
r438=------------------------
8*a22
r439=0
r440=0
r441=0
r442=0
r444=0
r445=0
r447=0
r448=0
r449=0
r450=0
r451=0
a22*r446 - a22*r494
r452=---------------------
b11
r453=0
r454=0
- 2*r446 + r483 - r494
r455=-------------------------
4
r456=0
r458=0
r459=0
- r446 - r483 + r494
r460=-----------------------
2
- 2*a22*r446 + 2*a22*r483
r461=----------------------------
b11
r462=0
r463=0
r464=0
r465=0
- 2*a22*r446 + 2*a22*r494
r466=----------------------------
b11
r467=0
r468=0
2 2
- 2*a22 *r483 + 2*a22 *r494
r469=------------------------------
2
b11
r470=0
r471=0
r472=0
r473=0
- 6*b11*r446 + 5*b11*r483 + 5*b11*r494
r474=-----------------------------------------
8*a22
r475=0
- 9*b11*r446 + 7*b11*r483 + 6*b11*r494
r476=-----------------------------------------
8*a22
r477=0
r478=0
- 2*b11*r446 + b11*r483 + 2*b11*r494
r479=---------------------------------------
2*a22
r480=0
r481=0
r482=0
r484=0
r485=0
r486=0
r487=0
a22*r446 - a22*r483
r488=---------------------
b11
r489=0
r490=0
r491=0
r492=0
r493=0
r495=0
r496=0
r497=0
r498=0
r499=0
r4100=0
r4101=0
- 2*a22*r446 + 2*a22*r494
r4102=----------------------------
b11
r4103=0
r4104=0
3*r446 - 2*r483 - 4*r494
r4105=--------------------------
6
r4106=0
6*r446 - 7*r483 - 5*r494
r4107=--------------------------
12
r4108=0
r4109=0
r4111=0
r4112=0
r4113=0
2 2
2*a22 *r483 - 2*a22 *r494
r4114=---------------------------
2
3*b11
r4115=0
r4117=0
r4118=0
2 2
- 4*a22 *r483 + 4*a22 *r494
r4119=------------------------------
2
3*b11
r4120=0
r4121=0
- 2*a22*r483 + 2*a22*r494
r4122=----------------------------
3*b11
r4123=0
r4124=0
m3=0
m2=0
m1=0
n3=0
n2=0
2
- b11
c33=---------
16*a22
c23=0
2
b11
c22=-------
4*a22
c13=0
c12=0
c11=0
b11
b33=-----
2
b32=0
b31=0
b23=0
b22=0
b21=0
b13=0
b12=0
a33= - a22
a23=0
a13=0
a12=0
- a22
a11=--------
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:
r217, r494, r483, r446, n1, b11, a22
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.
{a22,
b11,
n1,
a33,
3 3
{16*a22 *r483 - 16*a22 *r494,
2 2
4*a22 *r483 - 4*a22 *r494,
2 2 2
48*a22 *r446 - 56*a22 *r483 - 40*a22 *r494,
12*a22*r446 - 8*a22*r483 - 16*a22*r494,
2*a22*r446 - 2*a22*r494,
r494,
a22*r446 - a22*r483,
r483,
2*b11*r446 - b11*r483 - 2*b11*r494,
9*b11*r446 - 7*b11*r483 - 6*b11*r494,
6*b11*r446 - 5*b11*r483 - 5*b11*r494,
2 2
4*a22 *n1*r446 - 4*a22 *n1*r483,
r446 + r483 - r494,
2*r446 - r483 + r494,
r446,
b11*r446 - b11*r494,
2*r446 - r483 - 2*r494,
16*a22*r446 - 14*a22*r483 - 10*a22*r494,
12*a22*r446 - 5*a22*r483 - 7*a22*r494,
b11*r446 - b11*r483 - b11*r494,
7*b11*r446 - 7*b11*r483 - 6*b11*r494,
4*b11*r446 - 4*b11*r483 - 6*b11*r494,
2 2 2
5*b11 *r446 - 4*b11 *r483 - 5*b11 *r494,
2 2 2
b11 *r446 - 5*b11 *r483 - b11 *r494,
2 2 2
40*b11 *r446 - 37*b11 *r483 - 35*b11 *r494,
2 2 2
22*b11 *r446 - 23*b11 *r483 - 25*b11 *r494,
2 2 2
b11 *r446 - 3*b11 *r483 - 3*b11 *r494}}
Relevance for the application:
The new Hamiltonian in form of a list of vanishing expressions:
{3*a11 + a22,
a12,
a13,
a23,
a22 + a33,
b12,
b13,
b21,
b22,
b23,
b31,
b32,
- b11 + 2*b33,
c11,
c12,
c13,
4*a22*c22 - b11**2,
c23,
16*a22*c33 + b11**2,
n2,
n3,
m1,
m2,
m3}$
The system of equations related to the Hamiltonian HAM:
2
- u1 *a22 2 2 u3*v3*b11
HAM=------------ + u1*v1*b11 + u1*n1 + u2 *a22 - u3 *a22 + -----------
3 2
2 2 2 2
v2 *b11 - v3 *b11
+ ---------- + -------------
4*a22 16*a22
has apart from the Hamiltonian and Casimirs the following 4 first integrals:
2 2 2 2 2 2 2 2
FI= - 48*u1 *v1*a22 *n1 + 16*u1 *v2 *a22 *b11 + 16*u1 *v3 *a22 *b11
2 3 2 2 3
- 64*u1*u2 *v1*a22 - 48*u1*u2*v2*a22 *n1 + 32*u1*u3 *v1*a22
2 3 2 2
- 48*u1*u3*v3*a22 *n1 - 32*u1*v1 *a22*b11 - 36*u1*v1 *a22*b11*n1
2 2 2 2 2
- 36*u1*v1*v2 *a22*b11 - 24*u1*v1*v3 *a22*b11 - 24*u1*v2 *a22*b11*n1
2 3 3 2 3
- 24*u1*v3 *a22*b11*n1 - 64*u2 *v2*a22 - 64*u2 *u3*v3*a22
2 2 2 2 2 2 2 3
- 16*u2 *v1 *a22 *b11 - 16*u2 *v3 *a22 *b11 + 32*u2*u3 *v2*a22
2 3 2
+ 32*u2*u3*v2*v3*a22 *b11 - 12*u2*v1*v2*a22*b11*n1 - 4*u2*v2 *a22*b11
2 2 3 3 2 2 2
+ 8*u2*v2*v3 *a22*b11 + 32*u3 *v3*a22 + 32*u3 *v1 *a22 *b11
2 2 2 2 2 2 2 2
+ 32*u3 *v2 *a22 *b11 + 48*u3 *v3 *a22 *b11 - 24*u3*v1 *v3*a22*b11
2 2 3 2
- 12*u3*v1*v3*a22*b11*n1 - 28*u3*v2 *v3*a22*b11 - 16*u3*v3 *a22*b11
3 2 2 2 3 2 2 3 2 2
+ 6*v1 *b11 *n1 - 10*v1 *v2 *b11 - v1 *v3 *b11 + 6*v1*v2 *b11 *n1
2 2 4 3 2 2 3 4 3
+ 6*v1*v3 *b11 *n1 - 10*v2 *b11 - 11*v2 *v3 *b11 - v3 *b11
= a product of the elements of: {64,
2 2 2 2 2 2 2 2
- 3*u1 *v1*a22 *n1 u1 *v2 *a22 *b11 u1 *v3 *a22 *b11
--------------------- + ------------------ + ------------------
4 4 4
2 2 3
2 3 - 3*u1*u2*v2*a22 *n1 u1*u3 *v1*a22
- u1*u2 *v1*a22 + ----------------------- + ----------------
4 2
2 3 2 2
- 3*u1*u3*v3*a22 *n1 - u1*v1 *a22*b11 - 9*u1*v1 *a22*b11*n1
+ ----------------------- + -------------------- + ------------------------
4 2 16
2 2 2 2
- 9*u1*v1*v2 *a22*b11 - 3*u1*v1*v3 *a22*b11
+ ------------------------- + -------------------------
16 8
2 2
- 3*u1*v2 *a22*b11*n1 - 3*u1*v3 *a22*b11*n1 3 3
+ ------------------------ + ------------------------ - u2 *v2*a22
8 8
2 2 2 2 2 2
2 3 - u2 *v1 *a22 *b11 - u2 *v3 *a22 *b11
- u2 *u3*v3*a22 + --------------------- + ---------------------
4 4
2 3 2
u2*u3 *v2*a22 u2*u3*v2*v3*a22 *b11 - 3*u2*v1*v2*a22*b11*n1
+ ---------------- + ---------------------- + --------------------------
2 2 16
3 2 2 2 3 3
- u2*v2 *a22*b11 u2*v2*v3 *a22*b11 u3 *v3*a22
+ -------------------- + -------------------- + -------------
16 8 2
2 2 2 2 2 2 2 2 2
u3 *v1 *a22 *b11 u3 *v2 *a22 *b11 3*u3 *v3 *a22 *b11
+ ------------------ + ------------------ + --------------------
2 2 4
2 2
- 3*u3*v1 *v3*a22*b11 - 3*u3*v1*v3*a22*b11*n1
+ ------------------------- + --------------------------
8 16
2 2 3 2 3 2
- 7*u3*v2 *v3*a22*b11 - u3*v3 *a22*b11 3*v1 *b11 *n1
+ ------------------------- + -------------------- + ---------------
16 4 32
2 2 3 2 2 3 2 2
- 5*v1 *v2 *b11 - v1 *v3 *b11 3*v1*v2 *b11 *n1
+ ------------------- + ----------------- + ------------------
32 64 32
2 2 4 3 2 2 3
3*v1*v3 *b11 *n1 - 5*v2 *b11 - 11*v2 *v3 *b11
+ ------------------ + --------------- + --------------------
32 32 64
4 3
- v3 *b11
+ -------------}
64
{HAM,FI} = 0
3 3 3 3 2 2 4
FI= - 256*u1 *v1*a22 *b11 - 384*u1 *a22 *n1 - 512*u1 *u2 *a22
2 2 4 2 2 2 2 2 2
+ 256*u1 *u3 *a22 + 96*u1 *v1*a22 *b11*n1 - 224*u1 *v2 *a22 *b11
2 2 2 2 2 3 2 3
- 128*u1 *v3 *a22 *b11 - 768*u1*u2 *a22 *n1 - 384*u1*u3 *v1*a22 *b11
2 3 2 2 2
- 192*u1*u3 *a22 *n1 + 384*u1*u3*v1*v3*a22 *b11 + 576*u1*u3*v3*a22 *b11*n1
3 3 2 2 2 3
+ 192*u1*v1 *a22*b11 - 144*u1*v1 *a22*b11 *n1 + 336*u1*v1*v2 *a22*b11
2 3 2 2 2 2
+ 240*u1*v1*v3 *a22*b11 + 168*u1*v2 *a22*b11 *n1 + 168*u1*v3 *a22*b11 *n1
3 4 4 2 3
+ 756*u1*a22*n1 - 768*u2 *a22 + 768*u2 *u3*v3*a22 *b11
2 2 2 2 2 2 2 2 2 2
- 192*u2 *v1 *a22 *b11 - 576*u2 *v1*a22 *b11*n1 + 96*u2 *v3 *a22 *b11
2 2 2 4 4 3 3
+ 1152*u2 *a22 *n1 + 192*u3 *a22 - 384*u3 *v3*a22 *b11
2 2 2 2 2 2 2 2 2 2
- 192*u3 *v1 *a22 *b11 + 144*u3 *v1*a22 *b11*n1 - 336*u3 *v2 *a22 *b11
2 2 2 2 2 2 2 2 3
- 240*u3 *v3 *a22 *b11 - 360*u3 *a22 *n1 + 288*u3*v1 *v3*a22*b11
2 2 3 3 3
+ 144*u3*v1*v3*a22*b11 *n1 + 336*u3*v2 *v3*a22*b11 + 192*u3*v3 *a22*b11
2 3 3 2 2 4
- 216*u3*v3*a22*b11*n1 - 144*v1 *b11 *n1 + 96*v1 *v2 *b11
2 2 4 2 3 2 3 3
+ 60*v1 *v3 *b11 - 126*v1*v2 *b11 *n1 - 54*v1*v3 *b11 *n1 + 297*v1*b11*n1
4 4 2 2 4 2 2 2 4 4
+ 111*v2 *b11 + 138*v2 *v3 *b11 + 72*v2 *b11 *n1 + 36*v3 *b11
2 2 2
- 90*v3 *b11 *n1
Stop of a subroutine.
Number of garbage collections exceeds max_gc_fac.
The factorization crashed!
which the program can not factorize further.
{HAM,FI} = 0
3 3 3 3 2 2 4 2 2 4
FI=256*u1 *v1*a22 *b11 + 384*u1 *a22 *n1 + 512*u1 *u2 *a22 - 256*u1 *u3 *a22
2 2 2 2 2 2 2 2 2 2
+ 480*u1 *v1*a22 *b11*n1 - 160*u1 *v2 *a22 *b11 - 256*u1 *v3 *a22 *b11
2 3 2 3 2 2
+ 768*u1*u2 *v1*a22 *b11 + 768*u1*u2 *a22 *n1 + 384*u1*u2*v1*v2*a22 *b11
2 2 3 3 3
+ 576*u1*u2*v2*a22 *b11*n1 + 192*u1*u3 *a22 *n1 + 384*u1*v1 *a22*b11
2 2 2 3 2 3
+ 576*u1*v1 *a22*b11 *n1 + 288*u1*v1*v2 *a22*b11 + 240*u1*v1*v3 *a22*b11
2 2 2 2 3
+ 120*u1*v2 *a22*b11 *n1 + 120*u1*v3 *a22*b11 *n1 - 756*u1*a22*n1
4 4 3 3 2 2 2 2
+ 768*u2 *a22 + 768*u2 *v2*a22 *b11 + 192*u2 *v1 *a22 *b11
2 2 2 2 2 2 2 2 2
+ 576*u2 *v1*a22 *b11*n1 - 96*u2 *v3 *a22 *b11 - 1152*u2 *a22 *n1
2 3 2 3 3
- 384*u2*u3 *v2*a22 *b11 + 144*u2*v1*v2*a22*b11 *n1 + 48*u2*v2 *a22*b11
2 3 4 4 2 2 2 2
- 96*u2*v2*v3 *a22*b11 - 192*u3 *a22 - 384*u3 *v1 *a22 *b11
2 2 2 2 2 2 2 2 2 2
- 144*u3 *v1*a22 *b11*n1 - 240*u3 *v2 *a22 *b11 - 336*u3 *v3 *a22 *b11
2 2 2 2 3 2 3
+ 360*u3 *a22 *n1 + 288*u3*v1 *v3*a22*b11 + 288*u3*v2 *v3*a22*b11
3 3 2 3 3
+ 288*u3*v3 *a22*b11 + 216*u3*v3*a22*b11*n1 - 72*v1 *b11 *n1
2 2 4 2 2 4 2 3
+ 120*v1 *v2 *b11 + 12*v1 *v3 *b11 - 90*v1*v2 *b11 *n1
2 3 3 4 4 2 2 4
- 162*v1*v3 *b11 *n1 - 297*v1*b11*n1 + 105*v2 *b11 + 150*v2 *v3 *b11
2 2 2 4 4 2 2 2
- 72*v2 *b11 *n1 + 36*v3 *b11 + 90*v3 *b11 *n1
Stop of a subroutine.
Number of garbage collections exceeds max_gc_fac.
The factorization crashed!
which the program can not factorize further.
{HAM,FI} = 0
2 2 2 2
FI=8*u1*v1*a22*b11 + 12*u1*a22*n1 + 16*u2 *a22 - 8*u3 *a22 + 3*v1*b11*n1
2 2 2 2
+ v2 *b11 - 2*v3 *b11
= a product of the elements of: {16,
2 2
u1*v1*a22*b11 3*u1*a22*n1 2 2 - u3 *a22 3*v1*b11*n1
--------------- + ------------- + u2 *a22 + ------------- + -------------
2 4 2 16
2 2 2 2
v2 *b11 - v3 *b11
+ ---------- + -------------}
16 8
{HAM,FI} = 0
And again in machine readable form:
HAM=( - u1**2*a22)/3 + u1*v1*b11 + u1*n1 + u2**2*a22 - u3**2*a22 + (u3*v3*b11)/2
+ (v2**2*b11**2)/(4*a22) + ( - v3**2*b11**2)/(16*a22)$
FI= - 48*u1**2*v1*a22**2*n1 + 16*u1**2*v2**2*a22**2*b11 + 16*u1**2*v3**2*a22**2*
b11 - 64*u1*u2**2*v1*a22**3 - 48*u1*u2*v2*a22**2*n1 + 32*u1*u3**2*v1*a22**3 - 48
*u1*u3*v3*a22**2*n1 - 32*u1*v1**3*a22*b11**2 - 36*u1*v1**2*a22*b11*n1 - 36*u1*v1
*v2**2*a22*b11**2 - 24*u1*v1*v3**2*a22*b11**2 - 24*u1*v2**2*a22*b11*n1 - 24*u1*
v3**2*a22*b11*n1 - 64*u2**3*v2*a22**3 - 64*u2**2*u3*v3*a22**3 - 16*u2**2*v1**2*
a22**2*b11 - 16*u2**2*v3**2*a22**2*b11 + 32*u2*u3**2*v2*a22**3 + 32*u2*u3*v2*v3*
a22**2*b11 - 12*u2*v1*v2*a22*b11*n1 - 4*u2*v2**3*a22*b11**2 + 8*u2*v2*v3**2*a22*
b11**2 + 32*u3**3*v3*a22**3 + 32*u3**2*v1**2*a22**2*b11 + 32*u3**2*v2**2*a22**2*
b11 + 48*u3**2*v3**2*a22**2*b11 - 24*u3*v1**2*v3*a22*b11**2 - 12*u3*v1*v3*a22*
b11*n1 - 28*u3*v2**2*v3*a22*b11**2 - 16*u3*v3**3*a22*b11**2 + 6*v1**3*b11**2*n1
- 10*v1**2*v2**2*b11**3 - v1**2*v3**2*b11**3 + 6*v1*v2**2*b11**2*n1 + 6*v1*v3**2
*b11**2*n1 - 10*v2**4*b11**3 - 11*v2**2*v3**2*b11**3 - v3**4*b11**3$
FI= - 256*u1**3*v1*a22**3*b11 - 384*u1**3*a22**3*n1 - 512*u1**2*u2**2*a22**4 +
256*u1**2*u3**2*a22**4 + 96*u1**2*v1*a22**2*b11*n1 - 224*u1**2*v2**2*a22**2*b11
**2 - 128*u1**2*v3**2*a22**2*b11**2 - 768*u1*u2**2*a22**3*n1 - 384*u1*u3**2*v1*
a22**3*b11 - 192*u1*u3**2*a22**3*n1 + 384*u1*u3*v1*v3*a22**2*b11**2 + 576*u1*u3*
v3*a22**2*b11*n1 + 192*u1*v1**3*a22*b11**3 - 144*u1*v1**2*a22*b11**2*n1 + 336*u1
*v1*v2**2*a22*b11**3 + 240*u1*v1*v3**2*a22*b11**3 + 168*u1*v2**2*a22*b11**2*n1 +
168*u1*v3**2*a22*b11**2*n1 + 756*u1*a22*n1**3 - 768*u2**4*a22**4 + 768*u2**2*u3
*v3*a22**3*b11 - 192*u2**2*v1**2*a22**2*b11**2 - 576*u2**2*v1*a22**2*b11*n1 + 96
*u2**2*v3**2*a22**2*b11**2 + 1152*u2**2*a22**2*n1**2 + 192*u3**4*a22**4 - 384*u3
**3*v3*a22**3*b11 - 192*u3**2*v1**2*a22**2*b11**2 + 144*u3**2*v1*a22**2*b11*n1 -
336*u3**2*v2**2*a22**2*b11**2 - 240*u3**2*v3**2*a22**2*b11**2 - 360*u3**2*a22**
2*n1**2 + 288*u3*v1**2*v3*a22*b11**3 + 144*u3*v1*v3*a22*b11**2*n1 + 336*u3*v2**2
*v3*a22*b11**3 + 192*u3*v3**3*a22*b11**3 - 216*u3*v3*a22*b11*n1**2 - 144*v1**3*
b11**3*n1 + 96*v1**2*v2**2*b11**4 + 60*v1**2*v3**2*b11**4 - 126*v1*v2**2*b11**3*
n1 - 54*v1*v3**2*b11**3*n1 + 297*v1*b11*n1**3 + 111*v2**4*b11**4 + 138*v2**2*v3
**2*b11**4 + 72*v2**2*b11**2*n1**2 + 36*v3**4*b11**4 - 90*v3**2*b11**2*n1**2$
FI=256*u1**3*v1*a22**3*b11 + 384*u1**3*a22**3*n1 + 512*u1**2*u2**2*a22**4 - 256*
u1**2*u3**2*a22**4 + 480*u1**2*v1*a22**2*b11*n1 - 160*u1**2*v2**2*a22**2*b11**2
- 256*u1**2*v3**2*a22**2*b11**2 + 768*u1*u2**2*v1*a22**3*b11 + 768*u1*u2**2*a22
**3*n1 + 384*u1*u2*v1*v2*a22**2*b11**2 + 576*u1*u2*v2*a22**2*b11*n1 + 192*u1*u3
**2*a22**3*n1 + 384*u1*v1**3*a22*b11**3 + 576*u1*v1**2*a22*b11**2*n1 + 288*u1*v1
*v2**2*a22*b11**3 + 240*u1*v1*v3**2*a22*b11**3 + 120*u1*v2**2*a22*b11**2*n1 +
120*u1*v3**2*a22*b11**2*n1 - 756*u1*a22*n1**3 + 768*u2**4*a22**4 + 768*u2**3*v2*
a22**3*b11 + 192*u2**2*v1**2*a22**2*b11**2 + 576*u2**2*v1*a22**2*b11*n1 - 96*u2
**2*v3**2*a22**2*b11**2 - 1152*u2**2*a22**2*n1**2 - 384*u2*u3**2*v2*a22**3*b11 +
144*u2*v1*v2*a22*b11**2*n1 + 48*u2*v2**3*a22*b11**3 - 96*u2*v2*v3**2*a22*b11**3
- 192*u3**4*a22**4 - 384*u3**2*v1**2*a22**2*b11**2 - 144*u3**2*v1*a22**2*b11*n1
- 240*u3**2*v2**2*a22**2*b11**2 - 336*u3**2*v3**2*a22**2*b11**2 + 360*u3**2*a22
**2*n1**2 + 288*u3*v1**2*v3*a22*b11**3 + 288*u3*v2**2*v3*a22*b11**3 + 288*u3*v3
**3*a22*b11**3 + 216*u3*v3*a22*b11*n1**2 - 72*v1**3*b11**3*n1 + 120*v1**2*v2**2*
b11**4 + 12*v1**2*v3**2*b11**4 - 90*v1*v2**2*b11**3*n1 - 162*v1*v3**2*b11**3*n1
- 297*v1*b11*n1**3 + 105*v2**4*b11**4 + 150*v2**2*v3**2*b11**4 - 72*v2**2*b11**2
*n1**2 + 36*v3**4*b11**4 + 90*v3**2*b11**2*n1**2$
FI=8*u1*v1*a22*b11 + 12*u1*a22*n1 + 16*u2**2*a22**2 - 8*u3**2*a22**2 + 3*v1*b11*
n1 + v2**2*b11**2 - 2*v3**2*b11**2$