Solution 2 to problem over
Remaining equations |
Expressions |
Parameters |
Inequalities |
Relevance |
Back to problem over
Equations
The following unsolved equations remain:
2 2 2 2 2 2 4 2 4 2
0=4*a22 *a23 *b32 + 4*a22 *a23 *b33 + 4*a23 *b32 + 4*a23 *b33
Expressions
The solution is given through the following expressions:
1 2 2 1 2 2
r20=(---*a11 *a22 *b32*b33*r26 + ---*a11 *a22*a23*b32 *r26
8 8
1 2 2 1 2 2
- ---*a11 *a22*a23*b33 *r26 - ---*a11 *a23 *b32*b33*r26
8 8
1 3 1 2 2
- ---*a11*a22 *b32*b33*r26 - ---*a11*a22 *a23*b32 *r26
4 4
1 4 1 3 2 1 3 2
+ ---*a22 *b32*b33*r26 + ---*a22 *a23*b32 *r26 + ---*a22 *a23*b33 *r26
8 8 8
1 2 2 2 2 2 3
+ ---*a22 *a23 *b32*b33*r26)/(a11 *a22*a23 *b32 - a11 *a23 *b33)
8
1 2 1 2 1 2
r21=(---*a11 *a22*b32*r26 - ---*a11 *a23*b33*r26 - ---*a11*a22 *b32*r26
8 8 4
1 3 1 2 2 2
+ ---*a22 *b32*r26 + ---*a22 *a23*b33*r26)/(a11 *a23 )
8 8
r23=0
r24=0
1 4 13 3 3 4 12 2
r25=( - ----*a11 *a22 *b32 *r26 + ----*a11 *a22 *a23*b32 *b33*r26
16 16
1 4 11 2 3 1 4 11 2 2
- ---*a11 *a22 *a23 *b32 *r26 - ---*a11 *a22 *a23 *b32*b33 *r26
4 8
7 4 10 3 2 5 4 9 4 3
+ ---*a11 *a22 *a23 *b32 *b33*r26 - ----*a11 *a22 *a23 *b32 *r26
8 16
5 4 9 4 2 25 4 8 5 2
- ---*a11 *a22 *a23 *b32*b33 *r26 + ----*a11 *a22 *a23 *b32 *b33*r26
8 16
5 4 7 6 2 5 4 6 7 2
- ---*a11 *a22 *a23 *b32*b33 *r26 + ---*a11 *a22 *a23 *b32 *b33*r26
4 4
5 4 5 8 3 5 4 5 8 2
+ ----*a11 *a22 *a23 *b32 *r26 - ---*a11 *a22 *a23 *b32*b33 *r26
16 4
5 4 4 9 2 1 4 3 10 3
+ ----*a11 *a22 *a23 *b32 *b33*r26 + ---*a11 *a22 *a23 *b32 *r26
16 4
5 4 3 10 2 1 4 2 11 2
- ---*a11 *a22 *a23 *b32*b33 *r26 - ---*a11 *a22 *a23 *b32 *b33*r26
8 8
1 4 12 3 1 4 12 2
+ ----*a11 *a22*a23 *b32 *r26 - ---*a11 *a22*a23 *b32*b33 *r26
16 8
1 4 13 2 3 3 14 3
- ----*a11 *a23 *b32 *b33*r26 + ----*a11 *a22 *b32 *r26
16 16
5 3 13 2 15 3 12 2 3
- ----*a11 *a22 *a23*b32 *b33*r26 + ----*a11 *a22 *a23 *b32 *r26
16 16
1 3 12 2 2 29 3 11 3 2
- ----*a11 *a22 *a23 *b32*b33 *r26 - ----*a11 *a22 *a23 *b32 *b33*r26
16 16
1 3 11 3 3 7 3 10 4 3
+ ----*a11 *a22 *a23 *b33 *r26 + ---*a11 *a22 *a23 *b32 *r26
16 4
5 3 10 4 2 35 3 9 5 2
- ----*a11 *a22 *a23 *b32*b33 *r26 - ----*a11 *a22 *a23 *b32 *b33*r26
16 8
5 3 9 5 3 5 3 8 6 3
+ ----*a11 *a22 *a23 *b33 *r26 + ---*a11 *a22 *a23 *b32 *r26
16 4
5 3 8 6 2 45 3 7 7 2
- ---*a11 *a22 *a23 *b32*b33 *r26 - ----*a11 *a22 *a23 *b32 *b33*r26
8 8
5 3 7 7 3 5 3 6 8 3
+ ---*a11 *a22 *a23 *b33 *r26 - ----*a11 *a22 *a23 *b32 *r26
8 16
5 3 6 8 2 65 3 5 9 2
- ---*a11 *a22 *a23 *b32*b33 *r26 - ----*a11 *a22 *a23 *b32 *b33*r26
8 16
5 3 5 9 3 17 3 4 10 3
+ ---*a11 *a22 *a23 *b33 *r26 - ----*a11 *a22 *a23 *b32 *r26
8 16
5 3 4 10 2 25 3 3 11 2
- ----*a11 *a22 *a23 *b32*b33 *r26 - ----*a11 *a22 *a23 *b32 *b33*r26
16 16
5 3 3 11 3 5 3 2 12 3
+ ----*a11 *a22 *a23 *b33 *r26 - ---*a11 *a22 *a23 *b32 *r26
16 8
1 3 2 12 2 1 3 13 2
- ----*a11 *a22 *a23 *b32*b33 *r26 - ---*a11 *a22*a23 *b32 *b33*r26
16 4
1 3 13 3 1 3 14 3
+ ----*a11 *a22*a23 *b33 *r26 - ---*a11 *a23 *b32 *r26
16 8
3 2 15 3 1 2 14 2
- ----*a11 *a22 *b32 *r26 + ----*a11 *a22 *a23*b32 *b33*r26
16 16
19 2 13 2 3 3 2 13 2 2
- ----*a11 *a22 *a23 *b32 *r26 + ----*a11 *a22 *a23 *b32*b33 *r26
16 16
11 2 12 3 2 1 2 12 3 3
+ ----*a11 *a22 *a23 *b32 *b33*r26 + ----*a11 *a22 *a23 *b33 *r26
16 16
49 2 11 4 3 2 11 4 2
- ----*a11 *a22 *a23 *b32 *r26 + a11 *a22 *a23 *b32*b33 *r26
16
41 2 10 5 2 3 2 10 5 3
+ ----*a11 *a22 *a23 *b32 *b33*r26 + ---*a11 *a22 *a23 *b33 *r26
16 8
65 2 9 6 3 35 2 9 6 2
- ----*a11 *a22 *a23 *b32 *r26 + ----*a11 *a22 *a23 *b32*b33 *r26
16 16
75 2 8 7 2 15 2 8 7 3
+ ----*a11 *a22 *a23 *b32 *b33*r26 + ----*a11 *a22 *a23 *b33 *r26
16 16
45 2 7 8 3 5 2 7 8 2
- ----*a11 *a22 *a23 *b32 *r26 + ---*a11 *a22 *a23 *b32*b33 *r26
16 2
75 2 6 9 2 5 2 6 9 3
+ ----*a11 *a22 *a23 *b32 *b33*r26 + ---*a11 *a22 *a23 *b33 *r26
16 4
13 2 5 10 3 25 2 5 10 2
- ----*a11 *a22 *a23 *b32 *r26 + ----*a11 *a22 *a23 *b32*b33 *r26
16 16
41 2 4 11 2 15 2 4 11 3
+ ----*a11 *a22 *a23 *b32 *b33*r26 + ----*a11 *a22 *a23 *b33 *r26
16 16
1 2 3 12 3 1 2 3 12 2
+ ----*a11 *a22 *a23 *b32 *r26 + ---*a11 *a22 *a23 *b32*b33 *r26
16 2
11 2 2 13 2 3 2 2 13 3
+ ----*a11 *a22 *a23 *b32 *b33*r26 + ---*a11 *a22 *a23 *b33 *r26
16 8
1 2 14 3 1 2 14 2
+ ----*a11 *a22*a23 *b32 *r26 + ----*a11 *a22*a23 *b32*b33 *r26
16 16
1 2 15 2 1 2 15 3
+ ----*a11 *a23 *b32 *b33*r26 + ----*a11 *a23 *b33 *r26
16 16
1 16 3 1 15 2
+ ----*a11*a22 *b32 *r26 + ----*a11*a22 *a23*b32 *b33*r26
16 16
9 14 2 3 1 14 2 2
+ ----*a11*a22 *a23 *b32 *r26 + ----*a11*a22 *a23 *b32*b33 *r26
16 16
5 13 3 2 1 13 3 3
+ ----*a11*a22 *a23 *b32 *b33*r26 - ----*a11*a22 *a23 *b33 *r26
16 16
12 4 3 5 12 4 2
+ 2*a11*a22 *a23 *b32 *r26 + ----*a11*a22 *a23 *b32*b33 *r26
16
5 11 5 2 5 11 5 3
+ ---*a11*a22 *a23 *b32 *b33*r26 - ----*a11*a22 *a23 *b33 *r26
8 16
15 10 6 3 5 10 6 2
+ ----*a11*a22 *a23 *b32 *r26 + ---*a11*a22 *a23 *b32*b33 *r26
4 8
5 9 7 2 5 9 7 3
+ ---*a11*a22 *a23 *b32 *b33*r26 - ---*a11*a22 *a23 *b33 *r26
8 8
65 8 8 3 5 8 8 2
+ ----*a11*a22 *a23 *b32 *r26 + ---*a11*a22 *a23 *b32*b33 *r26
16 8
5 7 9 2 5 7 9 3
+ ----*a11*a22 *a23 *b32 *b33*r26 - ---*a11*a22 *a23 *b33 *r26
16 8
41 6 10 3 5 6 10 2
+ ----*a11*a22 *a23 *b32 *r26 + ----*a11*a22 *a23 *b32*b33 *r26
16 16
1 5 11 2 5 5 11 3
+ ----*a11*a22 *a23 *b32 *b33*r26 - ----*a11*a22 *a23 *b33 *r26
16 16
7 4 12 3 1 4 12 2
+ ---*a11*a22 *a23 *b32 *r26 + ----*a11*a22 *a23 *b32*b33 *r26
8 16
1 3 13 3 1 2 14 3
- ----*a11*a22 *a23 *b33 *r26 + ---*a11*a22 *a23 *b32 *r26
16 8
1 15 2 3 1 15 2 2
- ----*a22 *a23 *b32 *r26 - ----*a22 *a23 *b32*b33 *r26
16 16
1 14 3 2 1 14 3 3
- ----*a22 *a23 *b32 *b33*r26 - ----*a22 *a23 *b33 *r26
16 16
3 13 4 3 3 13 4 2
- ---*a22 *a23 *b32 *r26 - ---*a22 *a23 *b32*b33 *r26
8 8
3 12 5 2 3 12 5 3
- ---*a22 *a23 *b32 *b33*r26 - ---*a22 *a23 *b33 *r26
8 8
15 11 6 3 15 11 6 2
- ----*a22 *a23 *b32 *r26 - ----*a22 *a23 *b32*b33 *r26
16 16
15 10 7 2 15 10 7 3
- ----*a22 *a23 *b32 *b33*r26 - ----*a22 *a23 *b33 *r26
16 16
5 9 8 3 5 9 8 2
- ---*a22 *a23 *b32 *r26 - ---*a22 *a23 *b32*b33 *r26
4 4
5 8 9 2 5 8 9 3
- ---*a22 *a23 *b32 *b33*r26 - ---*a22 *a23 *b33 *r26
4 4
15 7 10 3 15 7 10 2
- ----*a22 *a23 *b32 *r26 - ----*a22 *a23 *b32*b33 *r26
16 16
15 6 11 2 15 6 11 3
- ----*a22 *a23 *b32 *b33*r26 - ----*a22 *a23 *b33 *r26
16 16
3 5 12 3 3 5 12 2
- ---*a22 *a23 *b32 *r26 - ---*a22 *a23 *b32*b33 *r26
8 8
3 4 13 2 3 4 13 3
- ---*a22 *a23 *b32 *b33*r26 - ---*a22 *a23 *b33 *r26
8 8
1 3 14 3 1 3 14 2
- ----*a22 *a23 *b32 *r26 - ----*a22 *a23 *b32*b33 *r26
16 16
1 2 15 2 1 2 15 3
- ----*a22 *a23 *b32 *b33*r26 - ----*a22 *a23 *b33 *r26)/(
16 16
3 12 3 2 3 11 4 3 10 5 2
a11 *a22 *a23 *b32 - 2*a11 *a22 *a23 *b32*b33 + 5*a11 *a22 *a23 *b32
3 10 5 2 3 9 6 3 8 7 2
+ a11 *a22 *a23 *b33 - 10*a11 *a22 *a23 *b32*b33 + 10*a11 *a22 *a23 *b32
3 8 7 2 3 7 8 3 6 9 2
+ 5*a11 *a22 *a23 *b33 - 20*a11 *a22 *a23 *b32*b33 + 10*a11 *a22 *a23 *b32
3 6 9 2 3 5 10
+ 10*a11 *a22 *a23 *b33 - 20*a11 *a22 *a23 *b32*b33
3 4 11 2 3 4 11 2
+ 5*a11 *a22 *a23 *b32 + 10*a11 *a22 *a23 *b33
3 3 12 3 2 13 2 3 2 13 2
- 10*a11 *a22 *a23 *b32*b33 + a11 *a22 *a23 *b32 + 5*a11 *a22 *a23 *b33
3 14 3 15 2
- 2*a11 *a22*a23 *b32*b33 + a11 *a23 *b33 )
1 3 1 2 1 2
r27=(---*a11*a22 *b32*r26 - ---*a11*a22 *a23*b33*r26 + ---*a11*a22*a23 *b32*r26
2 2 2
1 3 1 4 1 3
- ---*a11*a23 *b33*r26 - ---*a22 *b32*r26 - ---*a22 *a23*b33*r26
2 2 2
3 2 2 1 3 4
- ---*a22 *a23 *b32*r26 - ---*a22*a23 *b33*r26 - a23 *b32*r26)/(
2 2
3 2 2 3 4
a22 *a23*b32 - a22 *a23 *b33 + a22*a23 *b32 - a23 *b33)
r28=0
3 2 2
r29=(a11*a22 *b32*r26 - a11*a22 *a23*b33*r26 + a11*a22*a23 *b32*r26
3 4 3 2 2
- a11*a23 *b33*r26 - a22 *b32*r26 - a22 *a23*b33*r26 - 3*a22 *a23 *b32*r26
3 4 2 2 2
- a22*a23 *b33*r26 - 2*a23 *b32*r26)/(a22 *a23*b32 - 2*a22*a23 *b32*b33
3 2
+ a23 *b33 )
1 1
- ---*a11*r26 + ---*a22*r26
2 2
r210=------------------------------
a23
r212=0
2 2 3 2
a11*a22 *r26 + a11*a23 *r26 - a22 *r26 - a22*a23 *r26
r214=-------------------------------------------------------
2
a22*a23*b32 - a23 *b33
r215=0
r216=0
1 2 4 1 2 3
r217=(---*a11 *a22 *b32*r26 - ---*a11 *a22 *a23*b33*r26
2 2
1 2 2 2 1 2 3
+ ---*a11 *a22 *a23 *b32*r26 - ---*a11 *a22*a23 *b33*r26
2 2
5 3 3 2
- a11*a22 *b32*r26 - ---*a11*a22 *a23 *b32*r26
2
1 2 3 1 4
- ---*a11*a22 *a23 *b33*r26 - ---*a11*a22*a23 *b32*r26
2 2
1 5 1 6 1 5
- ---*a11*a23 *b33*r26 + ---*a22 *b32*r26 + ---*a22 *a23*b33*r26
2 2 2
4 2 3 3 1 2 4
+ a22 *a23 *b32*r26 + a22 *a23 *b33*r26 + ---*a22 *a23 *b32*r26
2
1 5 3 2 2 3
+ ---*a22*a23 *b33*r26)/(a11*a22 *a23 *b32 - a11*a22 *a23 *b33
2
4 5
+ a11*a22*a23 *b32 - a11*a23 *b33)
r218=0
r219=0
1 3 10 3 1 3 9 2
c33=(----*a11 *a22 *b32 - ----*a11 *a22 *a23*b32 *b33
16 16
1 3 8 2 3 1 3 8 2 2
+ ---*a11 *a22 *a23 *b32 - ---*a11 *a22 *a23 *b32*b33
8 8
1 3 7 3 2 1 3 7 3 3
- ---*a11 *a22 *a23 *b32 *b33 + ---*a11 *a22 *a23 *b33
8 8
3 3 6 4 2 3 3 5 5 3
- ---*a11 *a22 *a23 *b32*b33 + ---*a11 *a22 *a23 *b33
8 8
1 3 4 6 3 3 3 4 6 2
- ---*a11 *a22 *a23 *b32 - ---*a11 *a22 *a23 *b32*b33
8 8
1 3 3 7 2 3 3 3 7 3
+ ---*a11 *a22 *a23 *b32 *b33 + ---*a11 *a22 *a23 *b33
8 8
1 3 2 8 3 1 3 2 8 2
- ----*a11 *a22 *a23 *b32 - ---*a11 *a22 *a23 *b32*b33
16 8
1 3 9 2 1 3 9 3
+ ----*a11 *a22*a23 *b32 *b33 + ---*a11 *a22*a23 *b33
16 8
1 2 11 3 1 2 10 2
- ---*a11 *a22 *b32 + ---*a11 *a22 *a23*b32 *b33
8 8
9 2 9 2 3 1 2 9 2 2
- ----*a11 *a22 *a23 *b32 - ----*a11 *a22 *a23 *b32*b33
16 16
11 2 8 3 2 3 2 8 3 3
+ ----*a11 *a22 *a23 *b32 *b33 + ----*a11 *a22 *a23 *b33
16 16
7 2 7 4 3 1 2 7 4 2
- ---*a11 *a22 *a23 *b32 - ---*a11 *a22 *a23 *b32*b33
8 8
11 2 6 5 2 5 2 6 5 3
+ ----*a11 *a22 *a23 *b32 *b33 + ---*a11 *a22 *a23 *b33
8 8
1 2 5 6 3 5 2 4 7 2
- ---*a11 *a22 *a23 *b32 + ---*a11 *a22 *a23 *b32 *b33
2 4
3 2 4 7 3 1 2 3 8 2
+ ---*a11 *a22 *a23 *b33 + ---*a11 *a22 *a23 *b32*b33
4 8
1 2 2 9 2 3 2 2 9 3
+ ---*a11 *a22 *a23 *b32 *b33 + ---*a11 *a22 *a23 *b33
2 8
1 2 10 3 1 2 10 2
+ ----*a11 *a22*a23 *b32 + ----*a11 *a22*a23 *b32*b33
16 16
1 2 11 2 1 2 11 3 1 12 3
+ ----*a11 *a23 *b32 *b33 + ----*a11 *a23 *b33 + ----*a11*a22 *b32
16 16 16
1 11 2 1 10 2 3
- ----*a11*a22 *a23*b32 *b33 + ---*a11*a22 *a23 *b32
16 4
1 9 3 2 3 8 4 3
- ---*a11*a22 *a23 *b32 *b33 + ---*a11*a22 *a23 *b32
4 8
3 7 5 2 1 6 6 3
- ---*a11*a22 *a23 *b32 *b33 + ---*a11*a22 *a23 *b32
8 4
1 5 7 2 1 4 8 3
- ---*a11*a22 *a23 *b32 *b33 + ----*a11*a22 *a23 *b32
4 16
1 3 9 2 1 11 2 3
- ----*a11*a22 *a23 *b32 *b33 - ----*a22 *a23 *b32
16 16
1 11 2 2 1 10 3 2
- ----*a22 *a23 *b32*b33 - ----*a22 *a23 *b32 *b33
16 16
1 10 3 3 1 9 4 3 1 9 4 2
- ----*a22 *a23 *b33 - ---*a22 *a23 *b32 - ---*a22 *a23 *b32*b33
16 4 4
1 8 5 2 1 8 5 3 3 7 6 3
- ---*a22 *a23 *b32 *b33 - ---*a22 *a23 *b33 - ---*a22 *a23 *b32
4 4 8
3 7 6 2 3 6 7 2 3 6 7 3
- ---*a22 *a23 *b32*b33 - ---*a22 *a23 *b32 *b33 - ---*a22 *a23 *b33
8 8 8
1 5 8 3 1 5 8 2 1 4 9 2
- ---*a22 *a23 *b32 - ---*a22 *a23 *b32*b33 - ---*a22 *a23 *b32 *b33
4 4 4
1 4 9 3 1 3 10 3 1 3 10 2
- ---*a22 *a23 *b33 - ----*a22 *a23 *b32 - ----*a22 *a23 *b32*b33
4 16 16
1 2 11 2 1 2 11 3 3 9 2
- ----*a22 *a23 *b32 *b33 - ----*a22 *a23 *b33 )/(a11 *a22 *a23 *b32
16 16
3 8 3 3 7 4 3 6 5
- a11 *a22 *a23 *b33 + 4*a11 *a22 *a23 *b32 - 4*a11 *a22 *a23 *b33
3 5 6 3 4 7 3 3 8
+ 6*a11 *a22 *a23 *b32 - 6*a11 *a22 *a23 *b33 + 4*a11 *a22 *a23 *b32
3 2 9 3 10 3 11
- 4*a11 *a22 *a23 *b33 + a11 *a22*a23 *b32 - a11 *a23 *b33)
1 2 2 1 2 2
----*a11 *b32 - ----*a22 *b32
16 16
c23=---------------------------------
2
a11 *a23
1 3 6 3 3 3 5 2 1 3 4 2 3
c22=(----*a11 *a22 *b32 - ----*a11 *a22 *a23*b32 *b33 + ---*a11 *a22 *a23 *b32
16 16 8
1 3 4 2 2 1 3 3 3 2
+ ---*a11 *a22 *a23 *b32*b33 - ---*a11 *a22 *a23 *b32 *b33
8 2
1 3 3 3 3 1 3 2 4 3
- ---*a11 *a22 *a23 *b33 - ----*a11 *a22 *a23 *b32
8 16
1 3 2 4 2 5 3 5 2
+ ---*a11 *a22 *a23 *b32*b33 - ----*a11 *a22*a23 *b32 *b33
8 16
1 3 5 3 1 3 6 3 1 2 7 3
- ---*a11 *a22*a23 *b33 - ---*a11 *a23 *b32 - ---*a11 *a22 *b32
8 8 8
1 2 6 2 5 2 5 2 3
+ ---*a11 *a22 *a23*b32 *b33 - ----*a11 *a22 *a23 *b32
8 16
1 2 5 2 2 7 2 4 3 2
- ----*a11 *a22 *a23 *b32*b33 + ----*a11 *a22 *a23 *b32 *b33
16 16
3 2 4 3 3 1 2 3 4 3
+ ----*a11 *a22 *a23 *b33 - ---*a11 *a22 *a23 *b32
16 8
3 2 2 5 2 1 2 2 5 3
+ ---*a11 *a22 *a23 *b32 *b33 + ---*a11 *a22 *a23 *b33
8 4
1 2 6 3 1 2 6 2
+ ----*a11 *a22*a23 *b32 + ----*a11 *a22*a23 *b32*b33
16 16
1 2 7 2 1 2 7 3 1 8 3
+ ----*a11 *a23 *b32 *b33 + ----*a11 *a23 *b33 + ----*a11*a22 *b32
16 16 16
1 7 2 1 6 2 3
+ ----*a11*a22 *a23*b32 *b33 + ---*a11*a22 *a23 *b32
16 4
1 5 3 2 5 4 4 3
+ ---*a11*a22 *a23 *b32 *b33 + ----*a11*a22 *a23 *b32
8 16
1 3 5 2 1 2 6 3
+ ----*a11*a22 *a23 *b32 *b33 + ---*a11*a22 *a23 *b32
16 8
1 7 2 3 1 7 2 2 1 6 3 2
- ----*a22 *a23 *b32 - ----*a22 *a23 *b32*b33 - ----*a22 *a23 *b32 *b33
16 16 16
1 6 3 3 1 5 4 3 1 5 4 2
- ----*a22 *a23 *b33 - ---*a22 *a23 *b32 - ---*a22 *a23 *b32*b33
16 8 8
1 4 5 2 1 4 5 3 1 3 6 3
- ---*a22 *a23 *b32 *b33 - ---*a22 *a23 *b33 - ----*a22 *a23 *b32
8 8 16
1 3 6 2 1 2 7 2 1 2 7 3
- ----*a22 *a23 *b32*b33 - ----*a22 *a23 *b32 *b33 - ----*a22 *a23 *b33 )
16 16 16
3 5 2 3 4 3 3 3 4
/(a11 *a22 *a23 *b32 - a11 *a22 *a23 *b33 + 2*a11 *a22 *a23 *b32
3 2 5 3 6 3 7
- 2*a11 *a22 *a23 *b33 + a11 *a22*a23 *b32 - a11 *a23 *b33)
c13=0
c12=0
b31=0
b21=0
1 1 1 2 1
---*a11*a22*b32 + ---*a11*a23*b33 - ---*a22 *b32 - ---*a22*a23*b33
2 2 2 2
b11=--------------------------------------------------------------------
a11*a23
2 2
a22 *b32 + a22*a23*b33 + 2*a23 *b32
a33=-------------------------------------
a22*b32 - a23*b33
2 2
- 2*a22 *r26 - 2*a23 *r26
r213=----------------------------
a22*b32 - a23*b33
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:
r26, b33, b32, a11, a22, a23
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 + a22,a11 - a22,a23,a22,a11,b32,a33}
Relevance for the application:
Modulo the following equation:
2 2 2 2 2 2 4 2 4 2
0=4*a22 *a23 *b32 + 4*a22 *a23 *b33 + 4*a23 *b32 + 4*a23 *b33
the system of equations related to the Hamiltonian HAM:
2 4 9 2 4 8 3 4 7 4
HAM=(u1 *(a11 *a22 *a23 *b32 - a11 *a22 *a23 *b33 + 4*a11 *a22 *a23 *b32
4 6 5 4 5 6 4 4 7
- 4*a11 *a22 *a23 *b33 + 6*a11 *a22 *a23 *b32 - 6*a11 *a22 *a23 *b33
4 3 8 4 2 9 4 10
+ 4*a11 *a22 *a23 *b32 - 4*a11 *a22 *a23 *b33 + a11 *a22*a23 *b32
4 11 1 3 10 2
- a11 *a23 *b33) + u1*v1*(---*a11 *a22 *a23*b32
2
3 8 3 2 1 3 8 3 2
+ 2*a11 *a22 *a23 *b32 - ---*a11 *a22 *a23 *b33
2
3 6 5 2 3 6 5 2 3 4 7 2
+ 3*a11 *a22 *a23 *b32 - 2*a11 *a22 *a23 *b33 + 2*a11 *a22 *a23 *b32
3 4 7 2 1 3 2 9 2
- 3*a11 *a22 *a23 *b33 + ---*a11 *a22 *a23 *b32
2
3 2 9 2 1 3 11 2 1 2 11 2
- 2*a11 *a22 *a23 *b33 - ---*a11 *a23 *b33 - ---*a11 *a22 *a23*b32
2 2
2 9 3 2 1 2 9 3 2
- 2*a11 *a22 *a23 *b32 + ---*a11 *a22 *a23 *b33
2
2 7 5 2 2 7 5 2 2 5 7 2
- 3*a11 *a22 *a23 *b32 + 2*a11 *a22 *a23 *b33 - 2*a11 *a22 *a23 *b32
2 5 7 2 1 2 3 9 2
+ 3*a11 *a22 *a23 *b33 - ---*a11 *a22 *a23 *b32
2
2 3 9 2 1 2 11 2 2
+ 2*a11 *a22 *a23 *b33 + ---*a11 *a22*a23 *b33 ) + u2 *(
2
3 10 2 3 9 3 3 8 4
a11 *a22 *a23 *b32 - a11 *a22 *a23 *b33 + 4*a11 *a22 *a23 *b32
3 7 5 3 6 6 3 5 7
- 4*a11 *a22 *a23 *b33 + 6*a11 *a22 *a23 *b32 - 6*a11 *a22 *a23 *b33
3 4 8 3 3 9 3 2 10
+ 4*a11 *a22 *a23 *b32 - 4*a11 *a22 *a23 *b33 + a11 *a22 *a23 *b32
3 11 3 9 3
- a11 *a22*a23 *b33) + u2*u3*(2*a11 *a22 *a23 *b32
3 8 4 3 7 5 3 6 6
- 2*a11 *a22 *a23 *b33 + 8*a11 *a22 *a23 *b32 - 8*a11 *a22 *a23 *b33
3 5 7 3 4 8 3 3 9
+ 12*a11 *a22 *a23 *b32 - 12*a11 *a22 *a23 *b33 + 8*a11 *a22 *a23 *b32
3 2 10 3 11 3 12
- 8*a11 *a22 *a23 *b33 + 2*a11 *a22*a23 *b32 - 2*a11 *a23 *b33) +
2 3 10 2 3 9 3 3 8 4
u3 *(a11 *a22 *a23 *b32 + a11 *a22 *a23 *b33 + 6*a11 *a22 *a23 *b32
3 7 5 3 6 6 3 5 7
+ 4*a11 *a22 *a23 *b33 + 14*a11 *a22 *a23 *b32 + 6*a11 *a22 *a23 *b33
3 4 8 3 3 9
+ 16*a11 *a22 *a23 *b32 + 4*a11 *a22 *a23 *b33
3 2 10 3 11 3 12
+ 9*a11 *a22 *a23 *b32 + a11 *a22*a23 *b33 + 2*a11 *a23 *b32) + u3
3 9 2 2 3 8 3 3 7 4 2
*v2*(a11 *a22 *a23 *b32 - a11 *a22 *a23 *b32*b33 + 4*a11 *a22 *a23 *b32
3 6 5 3 5 6 2
- 4*a11 *a22 *a23 *b32*b33 + 6*a11 *a22 *a23 *b32
3 4 7 3 3 8 2
- 6*a11 *a22 *a23 *b32*b33 + 4*a11 *a22 *a23 *b32
3 2 9 3 10 2 3 11
- 4*a11 *a22 *a23 *b32*b33 + a11 *a22*a23 *b32 - a11 *a23 *b32*b33
3 9 2 3 8 3 2
) + u3*v3*(a11 *a22 *a23 *b32*b33 - a11 *a22 *a23 *b33
3 7 4 3 6 5 2
+ 4*a11 *a22 *a23 *b32*b33 - 4*a11 *a22 *a23 *b33
3 5 6 3 4 7 2
+ 6*a11 *a22 *a23 *b32*b33 - 6*a11 *a22 *a23 *b33
3 3 8 3 2 9 2
+ 4*a11 *a22 *a23 *b32*b33 - 4*a11 *a22 *a23 *b33
3 10 3 11 2 2 1 3 10 3
+ a11 *a22*a23 *b32*b33 - a11 *a23 *b33 ) + v2 *(----*a11 *a22 *b32
16
3 3 9 2 1 3 8 2 3
- ----*a11 *a22 *a23*b32 *b33 + ---*a11 *a22 *a23 *b32
16 4
1 3 8 2 2 7 3 7 3 2
+ ---*a11 *a22 *a23 *b32*b33 - ---*a11 *a22 *a23 *b32 *b33
8 8
1 3 7 3 3 1 3 6 4 3
- ---*a11 *a22 *a23 *b33 + ---*a11 *a22 *a23 *b32
8 4
3 3 6 4 2 3 3 5 5 2
+ ---*a11 *a22 *a23 *b32*b33 - ---*a11 *a22 *a23 *b32 *b33
8 2
3 3 5 5 3 1 3 4 6 3
- ---*a11 *a22 *a23 *b33 - ---*a11 *a22 *a23 *b32
8 8
3 3 4 6 2 9 3 3 7 2
+ ---*a11 *a22 *a23 *b32*b33 - ---*a11 *a22 *a23 *b32 *b33
8 8
3 3 3 7 3 5 3 2 8 3
- ---*a11 *a22 *a23 *b33 - ----*a11 *a22 *a23 *b32
8 16
1 3 2 8 2 5 3 9 2
+ ---*a11 *a22 *a23 *b32*b33 - ----*a11 *a22*a23 *b32 *b33
8 16
1 3 9 3 1 3 10 3 1 2 11 3
- ---*a11 *a22*a23 *b33 - ---*a11 *a23 *b32 - ---*a11 *a22 *b32
8 8 8
1 2 10 2 9 2 9 2 3
+ ---*a11 *a22 *a23*b32 *b33 - ----*a11 *a22 *a23 *b32
8 16
1 2 9 2 2 11 2 8 3 2
- ----*a11 *a22 *a23 *b32*b33 + ----*a11 *a22 *a23 *b32 *b33
16 16
3 2 8 3 3 7 2 7 4 3
+ ----*a11 *a22 *a23 *b33 - ---*a11 *a22 *a23 *b32
16 8
1 2 7 4 2 11 2 6 5 2
- ---*a11 *a22 *a23 *b32*b33 + ----*a11 *a22 *a23 *b32 *b33
8 8
5 2 6 5 3 1 2 5 6 3
+ ---*a11 *a22 *a23 *b33 - ---*a11 *a22 *a23 *b32
8 2
5 2 4 7 2 3 2 4 7 3
+ ---*a11 *a22 *a23 *b32 *b33 + ---*a11 *a22 *a23 *b33
4 4
1 2 3 8 2 1 2 2 9 2
+ ---*a11 *a22 *a23 *b32*b33 + ---*a11 *a22 *a23 *b32 *b33
8 2
3 2 2 9 3 1 2 10 3
+ ---*a11 *a22 *a23 *b33 + ----*a11 *a22*a23 *b32
8 16
1 2 10 2 1 2 11 2
+ ----*a11 *a22*a23 *b32*b33 + ----*a11 *a23 *b32 *b33
16 16
1 2 11 3 1 12 3
+ ----*a11 *a23 *b33 + ----*a11*a22 *b32
16 16
1 11 2 3 10 2 3
+ ----*a11*a22 *a23*b32 *b33 + ---*a11*a22 *a23 *b32
16 8
1 9 3 2 7 8 4 3
+ ---*a11*a22 *a23 *b32 *b33 + ---*a11*a22 *a23 *b32
4 8
3 7 5 2 6 6 3
+ ---*a11*a22 *a23 *b32 *b33 + a11*a22 *a23 *b32
8
1 5 7 2 9 4 8 3
+ ---*a11*a22 *a23 *b32 *b33 + ----*a11*a22 *a23 *b32
4 16
1 3 9 2 1 2 10 3
+ ----*a11*a22 *a23 *b32 *b33 + ---*a11*a22 *a23 *b32
16 8
1 11 2 3 1 11 2 2
- ----*a22 *a23 *b32 - ----*a22 *a23 *b32*b33
16 16
1 10 3 2 1 10 3 3 1 9 4 3
- ----*a22 *a23 *b32 *b33 - ----*a22 *a23 *b33 - ---*a22 *a23 *b32
16 16 4
1 9 4 2 1 8 5 2 1 8 5 3
- ---*a22 *a23 *b32*b33 - ---*a22 *a23 *b32 *b33 - ---*a22 *a23 *b33
4 4 4
3 7 6 3 3 7 6 2 3 6 7 2
- ---*a22 *a23 *b32 - ---*a22 *a23 *b32*b33 - ---*a22 *a23 *b32 *b33
8 8 8
3 6 7 3 1 5 8 3 1 5 8 2
- ---*a22 *a23 *b33 - ---*a22 *a23 *b32 - ---*a22 *a23 *b32*b33
8 4 4
1 4 9 2 1 4 9 3 1 3 10 3
- ---*a22 *a23 *b32 *b33 - ---*a22 *a23 *b33 - ----*a22 *a23 *b32
4 4 16
1 3 10 2 1 2 11 2
- ----*a22 *a23 *b32*b33 - ----*a22 *a23 *b32 *b33
16 16
1 2 11 3 1 3 9 3
- ----*a22 *a23 *b33 ) + v2*v3*(---*a11 *a22 *a23*b32
16 8
1 3 8 2 2 1 3 7 3 3
- ---*a11 *a22 *a23 *b32 *b33 + ---*a11 *a22 *a23 *b32
8 2
1 3 6 4 2 3 3 5 5 3
- ---*a11 *a22 *a23 *b32 *b33 + ---*a11 *a22 *a23 *b32
2 4
3 3 4 6 2 1 3 3 7 3
- ---*a11 *a22 *a23 *b32 *b33 + ---*a11 *a22 *a23 *b32
4 2
1 3 2 8 2 1 3 9 3
- ---*a11 *a22 *a23 *b32 *b33 + ---*a11 *a22*a23 *b32
2 8
1 3 10 2 1 11 3
- ---*a11 *a23 *b32 *b33 - ---*a11*a22 *a23*b32
8 8
1 10 2 2 1 9 3 3
+ ---*a11*a22 *a23 *b32 *b33 - ---*a11*a22 *a23 *b32
8 2
1 8 4 2 3 7 5 3
+ ---*a11*a22 *a23 *b32 *b33 - ---*a11*a22 *a23 *b32
2 4
3 6 6 2 1 5 7 3
+ ---*a11*a22 *a23 *b32 *b33 - ---*a11*a22 *a23 *b32
4 2
1 4 8 2 1 3 9 3
+ ---*a11*a22 *a23 *b32 *b33 - ---*a11*a22 *a23 *b32
2 8
1 2 10 2 2 1 3 10 3
+ ---*a11*a22 *a23 *b32 *b33) + v3 *(----*a11 *a22 *b32
8 16
1 3 9 2 1 3 8 2 3
- ----*a11 *a22 *a23*b32 *b33 + ---*a11 *a22 *a23 *b32
16 8
1 3 8 2 2 1 3 7 3 2
- ---*a11 *a22 *a23 *b32*b33 - ---*a11 *a22 *a23 *b32 *b33
8 8
1 3 7 3 3 3 3 6 4 2
+ ---*a11 *a22 *a23 *b33 - ---*a11 *a22 *a23 *b32*b33
8 8
3 3 5 5 3 1 3 4 6 3
+ ---*a11 *a22 *a23 *b33 - ---*a11 *a22 *a23 *b32
8 8
3 3 4 6 2 1 3 3 7 2
- ---*a11 *a22 *a23 *b32*b33 + ---*a11 *a22 *a23 *b32 *b33
8 8
3 3 3 7 3 1 3 2 8 3
+ ---*a11 *a22 *a23 *b33 - ----*a11 *a22 *a23 *b32
8 16
1 3 2 8 2 1 3 9 2
- ---*a11 *a22 *a23 *b32*b33 + ----*a11 *a22*a23 *b32 *b33
8 16
1 3 9 3 1 2 11 3
+ ---*a11 *a22*a23 *b33 - ---*a11 *a22 *b32
8 8
1 2 10 2 9 2 9 2 3
+ ---*a11 *a22 *a23*b32 *b33 - ----*a11 *a22 *a23 *b32
8 16
1 2 9 2 2 11 2 8 3 2
- ----*a11 *a22 *a23 *b32*b33 + ----*a11 *a22 *a23 *b32 *b33
16 16
3 2 8 3 3 7 2 7 4 3
+ ----*a11 *a22 *a23 *b33 - ---*a11 *a22 *a23 *b32
16 8
1 2 7 4 2 11 2 6 5 2
- ---*a11 *a22 *a23 *b32*b33 + ----*a11 *a22 *a23 *b32 *b33
8 8
5 2 6 5 3 1 2 5 6 3
+ ---*a11 *a22 *a23 *b33 - ---*a11 *a22 *a23 *b32
8 2
5 2 4 7 2 3 2 4 7 3
+ ---*a11 *a22 *a23 *b32 *b33 + ---*a11 *a22 *a23 *b33
4 4
1 2 3 8 2 1 2 2 9 2
+ ---*a11 *a22 *a23 *b32*b33 + ---*a11 *a22 *a23 *b32 *b33
8 2
3 2 2 9 3 1 2 10 3
+ ---*a11 *a22 *a23 *b33 + ----*a11 *a22*a23 *b32
8 16
1 2 10 2 1 2 11 2
+ ----*a11 *a22*a23 *b32*b33 + ----*a11 *a23 *b32 *b33
16 16
1 2 11 3 1 12 3
+ ----*a11 *a23 *b33 + ----*a11*a22 *b32
16 16
1 11 2 1 10 2 3
- ----*a11*a22 *a23*b32 *b33 + ---*a11*a22 *a23 *b32
16 4
1 9 3 2 3 8 4 3
- ---*a11*a22 *a23 *b32 *b33 + ---*a11*a22 *a23 *b32
4 8
3 7 5 2 1 6 6 3
- ---*a11*a22 *a23 *b32 *b33 + ---*a11*a22 *a23 *b32
8 4
1 5 7 2 1 4 8 3
- ---*a11*a22 *a23 *b32 *b33 + ----*a11*a22 *a23 *b32
4 16
1 3 9 2 1 11 2 3
- ----*a11*a22 *a23 *b32 *b33 - ----*a22 *a23 *b32
16 16
1 11 2 2 1 10 3 2
- ----*a22 *a23 *b32*b33 - ----*a22 *a23 *b32 *b33
16 16
1 10 3 3 1 9 4 3 1 9 4 2
- ----*a22 *a23 *b33 - ---*a22 *a23 *b32 - ---*a22 *a23 *b32*b33
16 4 4
1 8 5 2 1 8 5 3 3 7 6 3
- ---*a22 *a23 *b32 *b33 - ---*a22 *a23 *b33 - ---*a22 *a23 *b32
4 4 8
3 7 6 2 3 6 7 2 3 6 7 3
- ---*a22 *a23 *b32*b33 - ---*a22 *a23 *b32 *b33 - ---*a22 *a23 *b33
8 8 8
1 5 8 3 1 5 8 2 1 4 9 2
- ---*a22 *a23 *b32 - ---*a22 *a23 *b32*b33 - ---*a22 *a23 *b32 *b33
4 4 4
1 4 9 3 1 3 10 3 1 3 10 2
- ---*a22 *a23 *b33 - ----*a22 *a23 *b32 - ----*a22 *a23 *b32*b33
4 16 16
1 2 11 2 1 2 11 3 3 9 2
- ----*a22 *a23 *b32 *b33 - ----*a22 *a23 *b33 ))/(a11 *a22 *a23 *b32
16 16
3 8 3 3 7 4 3 6 5
- a11 *a22 *a23 *b33 + 4*a11 *a22 *a23 *b32 - 4*a11 *a22 *a23 *b33
3 5 6 3 4 7 3 3 8
+ 6*a11 *a22 *a23 *b32 - 6*a11 *a22 *a23 *b33 + 4*a11 *a22 *a23 *b32
3 2 9 3 10 3 11
- 4*a11 *a22 *a23 *b33 + a11 *a22*a23 *b32 - a11 *a23 *b33)
has apart from the Hamiltonian and Casimirs only the following first integral:
1 4 13 2 4 12 2
FI=u1*v1*(---*a11 *a22 *a23*b32 - a11 *a22 *a23 *b32*b33
2
5 4 11 3 2 1 4 11 3 2
+ ---*a11 *a22 *a23 *b32 + ---*a11 *a22 *a23 *b33
2 2
4 10 4 4 9 5 2
- 5*a11 *a22 *a23 *b32*b33 + 5*a11 *a22 *a23 *b32
5 4 9 5 2 4 8 6
+ ---*a11 *a22 *a23 *b33 - 10*a11 *a22 *a23 *b32*b33
2
4 7 7 2 4 7 7 2
+ 5*a11 *a22 *a23 *b32 + 5*a11 *a22 *a23 *b33
4 6 8 5 4 5 9 2
- 10*a11 *a22 *a23 *b32*b33 + ---*a11 *a22 *a23 *b32
2
4 5 9 2 4 4 10
+ 5*a11 *a22 *a23 *b33 - 5*a11 *a22 *a23 *b32*b33
1 4 3 11 2 5 4 3 11 2
+ ---*a11 *a22 *a23 *b32 + ---*a11 *a22 *a23 *b33
2 2
4 2 12 1 4 13 2
- a11 *a22 *a23 *b32*b33 + ---*a11 *a22*a23 *b33
2
3 14 2 3 13 2
- a11 *a22 *a23*b32 + a11 *a22 *a23 *b32*b33
11 3 12 3 2 3 11 4
- ----*a11 *a22 *a23 *b32 + 5*a11 *a22 *a23 *b32*b33
2
25 3 10 5 2 1 3 10 5 2
- ----*a11 *a22 *a23 *b32 + ---*a11 *a22 *a23 *b33
2 2
3 9 6 3 8 7 2
+ 10*a11 *a22 *a23 *b32*b33 - 15*a11 *a22 *a23 *b32
5 3 8 7 2 3 7 8
+ ---*a11 *a22 *a23 *b33 + 10*a11 *a22 *a23 *b32*b33
2
3 6 9 2 3 6 9 2
- 10*a11 *a22 *a23 *b32 + 5*a11 *a22 *a23 *b33
3 5 10 7 3 4 11 2
+ 5*a11 *a22 *a23 *b32*b33 - ---*a11 *a22 *a23 *b32
2
3 4 11 2 3 3 12
+ 5*a11 *a22 *a23 *b33 + a11 *a22 *a23 *b32*b33
1 3 2 13 2 5 3 2 13 2
- ---*a11 *a22 *a23 *b32 + ---*a11 *a22 *a23 *b33
2 2
1 3 15 2 1 2 15 2
+ ---*a11 *a23 *b33 + ---*a11 *a22 *a23*b32
2 2
2 13 3 2 1 2 13 3 2
+ 3*a11 *a22 *a23 *b32 - ---*a11 *a22 *a23 *b33
2
15 2 11 5 2 2 11 5 2
+ ----*a11 *a22 *a23 *b32 - 3*a11 *a22 *a23 *b33
2
2 9 7 2 15 2 9 7 2
+ 10*a11 *a22 *a23 *b32 - ----*a11 *a22 *a23 *b33
2
15 2 7 9 2 2 7 9 2
+ ----*a11 *a22 *a23 *b32 - 10*a11 *a22 *a23 *b33
2
2 5 11 2 15 2 5 11 2
+ 3*a11 *a22 *a23 *b32 - ----*a11 *a22 *a23 *b33
2
1 2 3 13 2 2 3 13 2
+ ---*a11 *a22 *a23 *b32 - 3*a11 *a22 *a23 *b33
2
1 2 15 2 2 4 13 2
- ---*a11 *a22*a23 *b33 ) + u2 *(a11 *a22 *a23 *b32
2
4 12 3 4 11 4 4 10 5
- a11 *a22 *a23 *b33 + 6*a11 *a22 *a23 *b32 - 6*a11 *a22 *a23 *b33
4 9 6 4 8 7 4 7 8
+ 15*a11 *a22 *a23 *b32 - 15*a11 *a22 *a23 *b33 + 20*a11 *a22 *a23 *b32
4 6 9 4 5 10 4 4 11
- 20*a11 *a22 *a23 *b33 + 15*a11 *a22 *a23 *b32 - 15*a11 *a22 *a23 *b33
4 3 12 4 2 13 4 14
+ 6*a11 *a22 *a23 *b32 - 6*a11 *a22 *a23 *b33 + a11 *a22*a23 *b32
4 15 3 14 2 3 13 3
- a11 *a23 *b33 - a11 *a22 *a23 *b32 + a11 *a22 *a23 *b33
3 12 4 3 11 5 3 10 6
- 6*a11 *a22 *a23 *b32 + 6*a11 *a22 *a23 *b33 - 15*a11 *a22 *a23 *b32
3 9 7 3 8 8 3 7 9
+ 15*a11 *a22 *a23 *b33 - 20*a11 *a22 *a23 *b32 + 20*a11 *a22 *a23 *b33
3 6 10 3 5 11 3 4 12
- 15*a11 *a22 *a23 *b32 + 15*a11 *a22 *a23 *b33 - 6*a11 *a22 *a23 *b32
3 3 13 3 2 14 3 15
+ 6*a11 *a22 *a23 *b33 - a11 *a22 *a23 *b32 + a11 *a22*a23 *b33) + u2
3 13 3 3 12 4
*u3*( - 2*a11 *a22 *a23 *b32 + 2*a11 *a22 *a23 *b33
3 11 5 3 10 6
- 12*a11 *a22 *a23 *b32 + 12*a11 *a22 *a23 *b33
3 9 7 3 8 8 3 7 9
- 30*a11 *a22 *a23 *b32 + 30*a11 *a22 *a23 *b33 - 40*a11 *a22 *a23 *b32
3 6 10 3 5 11
+ 40*a11 *a22 *a23 *b33 - 30*a11 *a22 *a23 *b32
3 4 12 3 3 13
+ 30*a11 *a22 *a23 *b33 - 12*a11 *a22 *a23 *b32
3 2 14 3 15 3 16
+ 12*a11 *a22 *a23 *b33 - 2*a11 *a22*a23 *b32 + 2*a11 *a23 *b33) +
1 4 12 2 2 4 11 3
u2*v3*( - ---*a11 *a22 *a23 *b32 + a11 *a22 *a23 *b32*b33
2
5 4 10 4 2 1 4 10 4 2
- ---*a11 *a22 *a23 *b32 - ---*a11 *a22 *a23 *b33
2 2
4 9 5 4 8 6 2
+ 5*a11 *a22 *a23 *b32*b33 - 5*a11 *a22 *a23 *b32
5 4 8 6 2 4 7 7
- ---*a11 *a22 *a23 *b33 + 10*a11 *a22 *a23 *b32*b33
2
4 6 8 2 4 6 8 2
- 5*a11 *a22 *a23 *b32 - 5*a11 *a22 *a23 *b33
4 5 9 5 4 4 10 2
+ 10*a11 *a22 *a23 *b32*b33 - ---*a11 *a22 *a23 *b32
2
4 4 10 2 4 3 11
- 5*a11 *a22 *a23 *b33 + 5*a11 *a22 *a23 *b32*b33
1 4 2 12 2 5 4 2 12 2
- ---*a11 *a22 *a23 *b32 - ---*a11 *a22 *a23 *b33
2 2
4 13 1 4 14 2
+ a11 *a22*a23 *b32*b33 - ---*a11 *a23 *b33
2
1 3 13 2 2 3 12 3
+ ---*a11 *a22 *a23 *b32 - a11 *a22 *a23 *b32*b33
2
5 3 11 4 2 1 3 11 4 2
+ ---*a11 *a22 *a23 *b32 + ---*a11 *a22 *a23 *b33
2 2
3 10 5 3 9 6 2
- 5*a11 *a22 *a23 *b32*b33 + 5*a11 *a22 *a23 *b32
5 3 9 6 2 3 8 7
+ ---*a11 *a22 *a23 *b33 - 10*a11 *a22 *a23 *b32*b33
2
3 7 8 2 3 7 8 2
+ 5*a11 *a22 *a23 *b32 + 5*a11 *a22 *a23 *b33
3 6 9 5 3 5 10 2
- 10*a11 *a22 *a23 *b32*b33 + ---*a11 *a22 *a23 *b32
2
3 5 10 2 3 4 11
+ 5*a11 *a22 *a23 *b33 - 5*a11 *a22 *a23 *b32*b33
1 3 3 12 2 5 3 3 12 2
+ ---*a11 *a22 *a23 *b32 + ---*a11 *a22 *a23 *b33
2 2
3 2 13 1 3 14 2 2
- a11 *a22 *a23 *b32*b33 + ---*a11 *a22*a23 *b33 ) + u3 *(
2
4 13 2 4 12 3 4 11 4
a11 *a22 *a23 *b32 - a11 *a22 *a23 *b33 + 6*a11 *a22 *a23 *b32
4 10 5 4 9 6 4 8 7
- 6*a11 *a22 *a23 *b33 + 15*a11 *a22 *a23 *b32 - 15*a11 *a22 *a23 *b33
4 7 8 4 6 9 4 5 10
+ 20*a11 *a22 *a23 *b32 - 20*a11 *a22 *a23 *b33 + 15*a11 *a22 *a23 *b32
4 4 11 4 3 12 4 2 13
- 15*a11 *a22 *a23 *b33 + 6*a11 *a22 *a23 *b32 - 6*a11 *a22 *a23 *b33
4 14 4 15 3 14 2
+ a11 *a22*a23 *b32 - a11 *a23 *b33 - a11 *a22 *a23 *b32
3 13 3 3 12 4 3 11 5
- a11 *a22 *a23 *b33 - 8*a11 *a22 *a23 *b32 - 6*a11 *a22 *a23 *b33
3 10 6 3 9 7 3 8 8
- 27*a11 *a22 *a23 *b32 - 15*a11 *a22 *a23 *b33 - 50*a11 *a22 *a23 *b32
3 7 9 3 6 10 3 5 11
- 20*a11 *a22 *a23 *b33 - 55*a11 *a22 *a23 *b32 - 15*a11 *a22 *a23 *b33
3 4 12 3 3 13 3 2 14
- 36*a11 *a22 *a23 *b32 - 6*a11 *a22 *a23 *b33 - 13*a11 *a22 *a23 *b32
3 15 3 16
- a11 *a22*a23 *b33 - 2*a11 *a23 *b32) + u3*v2*(
1 4 12 2 2 4 11 3
---*a11 *a22 *a23 *b32 - a11 *a22 *a23 *b32*b33
2
5 4 10 4 2 1 4 10 4 2
+ ---*a11 *a22 *a23 *b32 + ---*a11 *a22 *a23 *b33
2 2
4 9 5 4 8 6 2
- 5*a11 *a22 *a23 *b32*b33 + 5*a11 *a22 *a23 *b32
5 4 8 6 2 4 7 7
+ ---*a11 *a22 *a23 *b33 - 10*a11 *a22 *a23 *b32*b33
2
4 6 8 2 4 6 8 2
+ 5*a11 *a22 *a23 *b32 + 5*a11 *a22 *a23 *b33
4 5 9 5 4 4 10 2
- 10*a11 *a22 *a23 *b32*b33 + ---*a11 *a22 *a23 *b32
2
4 4 10 2 4 3 11
+ 5*a11 *a22 *a23 *b33 - 5*a11 *a22 *a23 *b32*b33
1 4 2 12 2 5 4 2 12 2
+ ---*a11 *a22 *a23 *b32 + ---*a11 *a22 *a23 *b33
2 2
4 13 1 4 14 2 1 3 13 2 2
- a11 *a22*a23 *b32*b33 + ---*a11 *a23 *b33 - ---*a11 *a22 *a23 *b32
2 2
7 3 11 4 2 1 3 11 4 2
- ---*a11 *a22 *a23 *b32 + ---*a11 *a22 *a23 *b33
2 2
3 10 5 3 9 6 2
+ a11 *a22 *a23 *b32*b33 - 10*a11 *a22 *a23 *b32
5 3 9 6 2 3 8 7
+ ---*a11 *a22 *a23 *b33 + 5*a11 *a22 *a23 *b32*b33
2
3 7 8 2 3 7 8 2
- 15*a11 *a22 *a23 *b32 + 5*a11 *a22 *a23 *b33
3 6 9 25 3 5 10 2
+ 10*a11 *a22 *a23 *b32*b33 - ----*a11 *a22 *a23 *b32
2
3 5 10 2 3 4 11
+ 5*a11 *a22 *a23 *b33 + 10*a11 *a22 *a23 *b32*b33
11 3 3 12 2 5 3 3 12 2
- ----*a11 *a22 *a23 *b32 + ---*a11 *a22 *a23 *b33
2 2
3 2 13 3 14 2
+ 5*a11 *a22 *a23 *b32*b33 - a11 *a22*a23 *b32
1 3 14 2 3 15
+ ---*a11 *a22*a23 *b33 + a11 *a23 *b32*b33) + u3*v3*(
2
3 12 3 2 3 11 4 3 10 5 2
a11 *a22 *a23 *b32 - 2*a11 *a22 *a23 *b32*b33 + 5*a11 *a22 *a23 *b32
3 10 5 2 3 9 6
+ a11 *a22 *a23 *b33 - 10*a11 *a22 *a23 *b32*b33
3 8 7 2 3 8 7 2
+ 10*a11 *a22 *a23 *b32 + 5*a11 *a22 *a23 *b33
3 7 8 3 6 9 2
- 20*a11 *a22 *a23 *b32*b33 + 10*a11 *a22 *a23 *b32
3 6 9 2 3 5 10
+ 10*a11 *a22 *a23 *b33 - 20*a11 *a22 *a23 *b32*b33
3 4 11 2 3 4 11 2
+ 5*a11 *a22 *a23 *b32 + 10*a11 *a22 *a23 *b33
3 3 12 3 2 13 2
- 10*a11 *a22 *a23 *b32*b33 + a11 *a22 *a23 *b32
3 2 13 2 3 14 3 15 2
+ 5*a11 *a22 *a23 *b33 - 2*a11 *a22*a23 *b32*b33 + a11 *a23 *b33 ) +
2 1 4 13 3 3 4 12 2
v1 *( - ----*a11 *a22 *b32 + ----*a11 *a22 *a23*b32 *b33
16 16
1 4 11 2 3 1 4 11 2 2
- ---*a11 *a22 *a23 *b32 - ---*a11 *a22 *a23 *b32*b33
4 8
7 4 10 3 2 5 4 9 4 3
+ ---*a11 *a22 *a23 *b32 *b33 - ----*a11 *a22 *a23 *b32
8 16
5 4 9 4 2 25 4 8 5 2
- ---*a11 *a22 *a23 *b32*b33 + ----*a11 *a22 *a23 *b32 *b33
8 16
5 4 7 6 2 5 4 6 7 2
- ---*a11 *a22 *a23 *b32*b33 + ---*a11 *a22 *a23 *b32 *b33
4 4
5 4 5 8 3 5 4 5 8 2
+ ----*a11 *a22 *a23 *b32 - ---*a11 *a22 *a23 *b32*b33
16 4
5 4 4 9 2 1 4 3 10 3
+ ----*a11 *a22 *a23 *b32 *b33 + ---*a11 *a22 *a23 *b32
16 4
5 4 3 10 2 1 4 2 11 2
- ---*a11 *a22 *a23 *b32*b33 - ---*a11 *a22 *a23 *b32 *b33
8 8
1 4 12 3 1 4 12 2
+ ----*a11 *a22*a23 *b32 - ---*a11 *a22*a23 *b32*b33
16 8
1 4 13 2 3 3 14 3
- ----*a11 *a23 *b32 *b33 + ----*a11 *a22 *b32
16 16
5 3 13 2 15 3 12 2 3
- ----*a11 *a22 *a23*b32 *b33 + ----*a11 *a22 *a23 *b32
16 16
1 3 12 2 2 29 3 11 3 2
- ----*a11 *a22 *a23 *b32*b33 - ----*a11 *a22 *a23 *b32 *b33
16 16
1 3 11 3 3 7 3 10 4 3
+ ----*a11 *a22 *a23 *b33 + ---*a11 *a22 *a23 *b32
16 4
5 3 10 4 2 35 3 9 5 2
- ----*a11 *a22 *a23 *b32*b33 - ----*a11 *a22 *a23 *b32 *b33
16 8
5 3 9 5 3 5 3 8 6 3
+ ----*a11 *a22 *a23 *b33 + ---*a11 *a22 *a23 *b32
16 4
5 3 8 6 2 45 3 7 7 2
- ---*a11 *a22 *a23 *b32*b33 - ----*a11 *a22 *a23 *b32 *b33
8 8
5 3 7 7 3 5 3 6 8 3
+ ---*a11 *a22 *a23 *b33 - ----*a11 *a22 *a23 *b32
8 16
5 3 6 8 2 65 3 5 9 2
- ---*a11 *a22 *a23 *b32*b33 - ----*a11 *a22 *a23 *b32 *b33
8 16
5 3 5 9 3 17 3 4 10 3
+ ---*a11 *a22 *a23 *b33 - ----*a11 *a22 *a23 *b32
8 16
5 3 4 10 2 25 3 3 11 2
- ----*a11 *a22 *a23 *b32*b33 - ----*a11 *a22 *a23 *b32 *b33
16 16
5 3 3 11 3 5 3 2 12 3
+ ----*a11 *a22 *a23 *b33 - ---*a11 *a22 *a23 *b32
16 8
1 3 2 12 2 1 3 13 2
- ----*a11 *a22 *a23 *b32*b33 - ---*a11 *a22*a23 *b32 *b33
16 4
1 3 13 3 1 3 14 3 3 2 15 3
+ ----*a11 *a22*a23 *b33 - ---*a11 *a23 *b32 - ----*a11 *a22 *b32
16 8 16
1 2 14 2 19 2 13 2 3
+ ----*a11 *a22 *a23*b32 *b33 - ----*a11 *a22 *a23 *b32
16 16
3 2 13 2 2 11 2 12 3 2
+ ----*a11 *a22 *a23 *b32*b33 + ----*a11 *a22 *a23 *b32 *b33
16 16
1 2 12 3 3 49 2 11 4 3
+ ----*a11 *a22 *a23 *b33 - ----*a11 *a22 *a23 *b32
16 16
2 11 4 2 41 2 10 5 2
+ a11 *a22 *a23 *b32*b33 + ----*a11 *a22 *a23 *b32 *b33
16
3 2 10 5 3 65 2 9 6 3
+ ---*a11 *a22 *a23 *b33 - ----*a11 *a22 *a23 *b32
8 16
35 2 9 6 2 75 2 8 7 2
+ ----*a11 *a22 *a23 *b32*b33 + ----*a11 *a22 *a23 *b32 *b33
16 16
15 2 8 7 3 45 2 7 8 3
+ ----*a11 *a22 *a23 *b33 - ----*a11 *a22 *a23 *b32
16 16
5 2 7 8 2 75 2 6 9 2
+ ---*a11 *a22 *a23 *b32*b33 + ----*a11 *a22 *a23 *b32 *b33
2 16
5 2 6 9 3 13 2 5 10 3
+ ---*a11 *a22 *a23 *b33 - ----*a11 *a22 *a23 *b32
4 16
25 2 5 10 2 41 2 4 11 2
+ ----*a11 *a22 *a23 *b32*b33 + ----*a11 *a22 *a23 *b32 *b33
16 16
15 2 4 11 3 1 2 3 12 3
+ ----*a11 *a22 *a23 *b33 + ----*a11 *a22 *a23 *b32
16 16
1 2 3 12 2 11 2 2 13 2
+ ---*a11 *a22 *a23 *b32*b33 + ----*a11 *a22 *a23 *b32 *b33
2 16
3 2 2 13 3 1 2 14 3
+ ---*a11 *a22 *a23 *b33 + ----*a11 *a22*a23 *b32
8 16
1 2 14 2 1 2 15 2
+ ----*a11 *a22*a23 *b32*b33 + ----*a11 *a23 *b32 *b33
16 16
1 2 15 3 1 16 3
+ ----*a11 *a23 *b33 + ----*a11*a22 *b32
16 16
1 15 2 9 14 2 3
+ ----*a11*a22 *a23*b32 *b33 + ----*a11*a22 *a23 *b32
16 16
1 14 2 2 5 13 3 2
+ ----*a11*a22 *a23 *b32*b33 + ----*a11*a22 *a23 *b32 *b33
16 16
1 13 3 3 12 4 3
- ----*a11*a22 *a23 *b33 + 2*a11*a22 *a23 *b32
16
5 12 4 2 5 11 5 2
+ ----*a11*a22 *a23 *b32*b33 + ---*a11*a22 *a23 *b32 *b33
16 8
5 11 5 3 15 10 6 3
- ----*a11*a22 *a23 *b33 + ----*a11*a22 *a23 *b32
16 4
5 10 6 2 5 9 7 2
+ ---*a11*a22 *a23 *b32*b33 + ---*a11*a22 *a23 *b32 *b33
8 8
5 9 7 3 65 8 8 3
- ---*a11*a22 *a23 *b33 + ----*a11*a22 *a23 *b32
8 16
5 8 8 2 5 7 9 2
+ ---*a11*a22 *a23 *b32*b33 + ----*a11*a22 *a23 *b32 *b33
8 16
5 7 9 3 41 6 10 3
- ---*a11*a22 *a23 *b33 + ----*a11*a22 *a23 *b32
8 16
5 6 10 2 1 5 11 2
+ ----*a11*a22 *a23 *b32*b33 + ----*a11*a22 *a23 *b32 *b33
16 16
5 5 11 3 7 4 12 3
- ----*a11*a22 *a23 *b33 + ---*a11*a22 *a23 *b32
16 8
1 4 12 2 1 3 13 3
+ ----*a11*a22 *a23 *b32*b33 - ----*a11*a22 *a23 *b33
16 16
1 2 14 3 1 15 2 3
+ ---*a11*a22 *a23 *b32 - ----*a22 *a23 *b32
8 16
1 15 2 2 1 14 3 2
- ----*a22 *a23 *b32*b33 - ----*a22 *a23 *b32 *b33
16 16
1 14 3 3 3 13 4 3 3 13 4 2
- ----*a22 *a23 *b33 - ---*a22 *a23 *b32 - ---*a22 *a23 *b32*b33
16 8 8
3 12 5 2 3 12 5 3 15 11 6 3
- ---*a22 *a23 *b32 *b33 - ---*a22 *a23 *b33 - ----*a22 *a23 *b32
8 8 16
15 11 6 2 15 10 7 2
- ----*a22 *a23 *b32*b33 - ----*a22 *a23 *b32 *b33
16 16
15 10 7 3 5 9 8 3 5 9 8 2
- ----*a22 *a23 *b33 - ---*a22 *a23 *b32 - ---*a22 *a23 *b32*b33
16 4 4
5 8 9 2 5 8 9 3 15 7 10 3
- ---*a22 *a23 *b32 *b33 - ---*a22 *a23 *b33 - ----*a22 *a23 *b32
4 4 16
15 7 10 2 15 6 11 2
- ----*a22 *a23 *b32*b33 - ----*a22 *a23 *b32 *b33
16 16
15 6 11 3 3 5 12 3 3 5 12 2
- ----*a22 *a23 *b33 - ---*a22 *a23 *b32 - ---*a22 *a23 *b32*b33
16 8 8
3 4 13 2 3 4 13 3 1 3 14 3
- ---*a22 *a23 *b32 *b33 - ---*a22 *a23 *b33 - ----*a22 *a23 *b32
8 8 16
1 3 14 2 1 2 15 2
- ----*a22 *a23 *b32*b33 - ----*a22 *a23 *b32 *b33
16 16
1 2 15 3 1 3 13 3
- ----*a22 *a23 *b33 ) + v2*v3*(---*a11 *a22 *a23*b32
16 8
3 3 12 2 2 5 3 11 3 3
- ---*a11 *a22 *a23 *b32 *b33 + ---*a11 *a22 *a23 *b32
8 8
3 3 11 3 2 15 3 10 4 2
+ ---*a11 *a22 *a23 *b32*b33 - ----*a11 *a22 *a23 *b32 *b33
8 8
1 3 10 4 3 5 3 9 5 3
- ---*a11 *a22 *a23 *b33 + ---*a11 *a22 *a23 *b32
8 4
15 3 9 5 2 15 3 8 6 2
+ ----*a11 *a22 *a23 *b32*b33 - ----*a11 *a22 *a23 *b32 *b33
8 4
5 3 8 6 3 5 3 7 7 3
- ---*a11 *a22 *a23 *b33 + ---*a11 *a22 *a23 *b32
8 4
15 3 7 7 2 15 3 6 8 2
+ ----*a11 *a22 *a23 *b32*b33 - ----*a11 *a22 *a23 *b32 *b33
4 4
5 3 6 8 3 5 3 5 9 3
- ---*a11 *a22 *a23 *b33 + ---*a11 *a22 *a23 *b32
4 8
15 3 5 9 2 15 3 4 10 2
+ ----*a11 *a22 *a23 *b32*b33 - ----*a11 *a22 *a23 *b32 *b33
4 8
5 3 4 10 3 1 3 3 11 3
- ---*a11 *a22 *a23 *b33 + ---*a11 *a22 *a23 *b32
4 8
15 3 3 11 2 3 3 2 12 2
+ ----*a11 *a22 *a23 *b32*b33 - ---*a11 *a22 *a23 *b32 *b33
8 8
5 3 2 12 3 3 3 13 2
- ---*a11 *a22 *a23 *b33 + ---*a11 *a22*a23 *b32*b33
8 8
1 3 14 3 1 2 14 3
- ---*a11 *a23 *b33 - ---*a11 *a22 *a23*b32
8 4
1 2 13 2 2 5 2 12 3 3
+ ---*a11 *a22 *a23 *b32 *b33 - ---*a11 *a22 *a23 *b32
2 4
1 2 12 3 2 5 2 11 4 2
- ---*a11 *a22 *a23 *b32*b33 + ---*a11 *a22 *a23 *b32 *b33
4 2
5 2 10 5 3 5 2 10 5 2
- ---*a11 *a22 *a23 *b32 - ---*a11 *a22 *a23 *b32*b33
2 4
2 9 6 2 5 2 8 7 3
+ 5*a11 *a22 *a23 *b32 *b33 - ---*a11 *a22 *a23 *b32
2
5 2 8 7 2 2 7 8 2
- ---*a11 *a22 *a23 *b32*b33 + 5*a11 *a22 *a23 *b32 *b33
2
5 2 6 9 3 5 2 6 9 2
- ---*a11 *a22 *a23 *b32 - ---*a11 *a22 *a23 *b32*b33
4 2
5 2 5 10 2 1 2 4 11 3
+ ---*a11 *a22 *a23 *b32 *b33 - ---*a11 *a22 *a23 *b32
2 4
5 2 4 11 2 1 2 3 12 2
- ---*a11 *a22 *a23 *b32*b33 + ---*a11 *a22 *a23 *b32 *b33
4 2
1 2 2 13 2 1 15 3
- ---*a11 *a22 *a23 *b32*b33 + ---*a11*a22 *a23*b32
4 8
1 14 2 2 5 13 3 3
- ---*a11*a22 *a23 *b32 *b33 + ---*a11*a22 *a23 *b32
8 8
1 13 3 2 5 12 4 2
- ---*a11*a22 *a23 *b32*b33 - ---*a11*a22 *a23 *b32 *b33
8 8
1 12 4 3 5 11 5 3
+ ---*a11*a22 *a23 *b33 + ---*a11*a22 *a23 *b32
8 4
5 11 5 2 5 10 6 2
- ---*a11*a22 *a23 *b32*b33 - ---*a11*a22 *a23 *b32 *b33
8 4
5 10 6 3 5 9 7 3
+ ---*a11*a22 *a23 *b33 + ---*a11*a22 *a23 *b32
8 4
5 9 7 2 5 8 8 2
- ---*a11*a22 *a23 *b32*b33 - ---*a11*a22 *a23 *b32 *b33
4 4
5 8 8 3 5 7 9 3
+ ---*a11*a22 *a23 *b33 + ---*a11*a22 *a23 *b32
4 8
5 7 9 2 5 6 10 2
- ---*a11*a22 *a23 *b32*b33 - ---*a11*a22 *a23 *b32 *b33
4 8
5 6 10 3 1 5 11 3
+ ---*a11*a22 *a23 *b33 + ---*a11*a22 *a23 *b32
4 8
5 5 11 2 1 4 12 2
- ---*a11*a22 *a23 *b32*b33 - ---*a11*a22 *a23 *b32 *b33
8 8
5 4 12 3 1 3 13 2
+ ---*a11*a22 *a23 *b33 - ---*a11*a22 *a23 *b32*b33
8 8
1 2 14 3 2 1 3 13 2
+ ---*a11*a22 *a23 *b33 ) + v3 *(---*a11 *a22 *a23*b32 *b33
8 8
1 3 12 2 3 1 3 12 2 2
+ ---*a11 *a22 *a23 *b32 - ---*a11 *a22 *a23 *b32*b33
8 4
3 3 11 3 2 1 3 11 3 3
+ ---*a11 *a22 *a23 *b32 *b33 + ---*a11 *a22 *a23 *b33
8 8
5 3 10 4 3 9 3 10 4 2
+ ---*a11 *a22 *a23 *b32 - ---*a11 *a22 *a23 *b32*b33
8 8
5 3 9 5 3 5 3 8 6 3
+ ---*a11 *a22 *a23 *b33 + ---*a11 *a22 *a23 *b32
8 4
15 3 8 6 2 5 3 7 7 2
- ----*a11 *a22 *a23 *b32*b33 - ---*a11 *a22 *a23 *b32 *b33
8 4
5 3 7 7 3 5 3 6 8 3
+ ---*a11 *a22 *a23 *b33 + ---*a11 *a22 *a23 *b32
4 4
5 3 6 8 2 15 3 5 9 2
- ---*a11 *a22 *a23 *b32*b33 - ----*a11 *a22 *a23 *b32 *b33
4 8
5 3 5 9 3 5 3 4 10 3
+ ---*a11 *a22 *a23 *b33 + ---*a11 *a22 *a23 *b32
4 8
9 3 3 11 2 5 3 3 11 3
- ---*a11 *a22 *a23 *b32 *b33 + ---*a11 *a22 *a23 *b33
8 8
1 3 2 12 3 3 3 2 12 2
+ ---*a11 *a22 *a23 *b32 + ---*a11 *a22 *a23 *b32*b33
8 8
1 3 13 2 1 3 13 3
- ---*a11 *a22*a23 *b32 *b33 + ---*a11 *a22*a23 *b33
4 8
1 3 14 2 1 2 14 2
+ ---*a11 *a23 *b32*b33 - ---*a11 *a22 *a23*b32 *b33
8 4
1 2 13 2 3 1 2 13 2 2
- ---*a11 *a22 *a23 *b32 + ---*a11 *a22 *a23 *b32*b33
4 4
2 12 3 2 5 2 11 4 3
- a11 *a22 *a23 *b32 *b33 - ---*a11 *a22 *a23 *b32
4
5 2 11 4 2 5 2 10 5 2
+ ---*a11 *a22 *a23 *b32*b33 - ---*a11 *a22 *a23 *b32 *b33
4 4
5 2 9 6 3 5 2 9 6 2
- ---*a11 *a22 *a23 *b32 + ---*a11 *a22 *a23 *b32*b33
2 2
5 2 7 8 3 5 2 7 8 2
- ---*a11 *a22 *a23 *b32 + ---*a11 *a22 *a23 *b32*b33
2 2
5 2 6 9 2 5 2 5 10 3
+ ---*a11 *a22 *a23 *b32 *b33 - ---*a11 *a22 *a23 *b32
4 4
5 2 5 10 2 2 4 11 2
+ ---*a11 *a22 *a23 *b32*b33 + a11 *a22 *a23 *b32 *b33
4
1 2 3 12 3 1 2 3 12 2
- ---*a11 *a22 *a23 *b32 + ---*a11 *a22 *a23 *b32*b33
4 4
1 2 2 13 2 1 15 2
+ ---*a11 *a22 *a23 *b32 *b33 + ---*a11*a22 *a23*b32 *b33
4 8
1 14 2 3 5 13 3 2
+ ---*a11*a22 *a23 *b32 + ---*a11*a22 *a23 *b32 *b33
8 8
1 13 3 3 5 12 4 3
- ---*a11*a22 *a23 *b33 + ---*a11*a22 *a23 *b32
8 8
1 12 4 2 5 11 5 2
- ---*a11*a22 *a23 *b32*b33 + ---*a11*a22 *a23 *b32 *b33
8 4
5 11 5 3 5 10 6 3
- ---*a11*a22 *a23 *b33 + ---*a11*a22 *a23 *b32
8 4
5 10 6 2 5 9 7 2
- ---*a11*a22 *a23 *b32*b33 + ---*a11*a22 *a23 *b32 *b33
8 4
5 9 7 3 5 8 8 3
- ---*a11*a22 *a23 *b33 + ---*a11*a22 *a23 *b32
4 4
5 8 8 2 5 7 9 2
- ---*a11*a22 *a23 *b32*b33 + ---*a11*a22 *a23 *b32 *b33
4 8
5 7 9 3 5 6 10 3
- ---*a11*a22 *a23 *b33 + ---*a11*a22 *a23 *b32
4 8
5 6 10 2 1 5 11 2
- ---*a11*a22 *a23 *b32*b33 + ---*a11*a22 *a23 *b32 *b33
4 8
5 5 11 3 1 4 12 3
- ---*a11*a22 *a23 *b33 + ---*a11*a22 *a23 *b32
8 8
5 4 12 2 1 3 13 3
- ---*a11*a22 *a23 *b32*b33 - ---*a11*a22 *a23 *b33
8 8
1 2 14 2
- ---*a11*a22 *a23 *b32*b33 )
8
{HAM,FI} = 0
And again in machine readable form:
HAM=(u1**2*(a11**4*a22**9*a23**2*b32 - a11**4*a22**8*a23**3*b33 + 4*a11**4*a22**
7*a23**4*b32 - 4*a11**4*a22**6*a23**5*b33 + 6*a11**4*a22**5*a23**6*b32 - 6*a11**
4*a22**4*a23**7*b33 + 4*a11**4*a22**3*a23**8*b32 - 4*a11**4*a22**2*a23**9*b33 +
a11**4*a22*a23**10*b32 - a11**4*a23**11*b33) + u1*v1*(1/2*a11**3*a22**10*a23*b32
**2 + 2*a11**3*a22**8*a23**3*b32**2 - 1/2*a11**3*a22**8*a23**3*b33**2 + 3*a11**3
*a22**6*a23**5*b32**2 - 2*a11**3*a22**6*a23**5*b33**2 + 2*a11**3*a22**4*a23**7*
b32**2 - 3*a11**3*a22**4*a23**7*b33**2 + 1/2*a11**3*a22**2*a23**9*b32**2 - 2*a11
**3*a22**2*a23**9*b33**2 - 1/2*a11**3*a23**11*b33**2 - 1/2*a11**2*a22**11*a23*
b32**2 - 2*a11**2*a22**9*a23**3*b32**2 + 1/2*a11**2*a22**9*a23**3*b33**2 - 3*a11
**2*a22**7*a23**5*b32**2 + 2*a11**2*a22**7*a23**5*b33**2 - 2*a11**2*a22**5*a23**
7*b32**2 + 3*a11**2*a22**5*a23**7*b33**2 - 1/2*a11**2*a22**3*a23**9*b32**2 + 2*
a11**2*a22**3*a23**9*b33**2 + 1/2*a11**2*a22*a23**11*b33**2) + u2**2*(a11**3*a22
**10*a23**2*b32 - a11**3*a22**9*a23**3*b33 + 4*a11**3*a22**8*a23**4*b32 - 4*a11
**3*a22**7*a23**5*b33 + 6*a11**3*a22**6*a23**6*b32 - 6*a11**3*a22**5*a23**7*b33
+ 4*a11**3*a22**4*a23**8*b32 - 4*a11**3*a22**3*a23**9*b33 + a11**3*a22**2*a23**
10*b32 - a11**3*a22*a23**11*b33) + u2*u3*(2*a11**3*a22**9*a23**3*b32 - 2*a11**3*
a22**8*a23**4*b33 + 8*a11**3*a22**7*a23**5*b32 - 8*a11**3*a22**6*a23**6*b33 + 12
*a11**3*a22**5*a23**7*b32 - 12*a11**3*a22**4*a23**8*b33 + 8*a11**3*a22**3*a23**9
*b32 - 8*a11**3*a22**2*a23**10*b33 + 2*a11**3*a22*a23**11*b32 - 2*a11**3*a23**12
*b33) + u3**2*(a11**3*a22**10*a23**2*b32 + a11**3*a22**9*a23**3*b33 + 6*a11**3*
a22**8*a23**4*b32 + 4*a11**3*a22**7*a23**5*b33 + 14*a11**3*a22**6*a23**6*b32 + 6
*a11**3*a22**5*a23**7*b33 + 16*a11**3*a22**4*a23**8*b32 + 4*a11**3*a22**3*a23**9
*b33 + 9*a11**3*a22**2*a23**10*b32 + a11**3*a22*a23**11*b33 + 2*a11**3*a23**12*
b32) + u3*v2*(a11**3*a22**9*a23**2*b32**2 - a11**3*a22**8*a23**3*b32*b33 + 4*a11
**3*a22**7*a23**4*b32**2 - 4*a11**3*a22**6*a23**5*b32*b33 + 6*a11**3*a22**5*a23
**6*b32**2 - 6*a11**3*a22**4*a23**7*b32*b33 + 4*a11**3*a22**3*a23**8*b32**2 - 4*
a11**3*a22**2*a23**9*b32*b33 + a11**3*a22*a23**10*b32**2 - a11**3*a23**11*b32*
b33) + u3*v3*(a11**3*a22**9*a23**2*b32*b33 - a11**3*a22**8*a23**3*b33**2 + 4*a11
**3*a22**7*a23**4*b32*b33 - 4*a11**3*a22**6*a23**5*b33**2 + 6*a11**3*a22**5*a23
**6*b32*b33 - 6*a11**3*a22**4*a23**7*b33**2 + 4*a11**3*a22**3*a23**8*b32*b33 - 4
*a11**3*a22**2*a23**9*b33**2 + a11**3*a22*a23**10*b32*b33 - a11**3*a23**11*b33**
2) + v2**2*(1/16*a11**3*a22**10*b32**3 - 3/16*a11**3*a22**9*a23*b32**2*b33 + 1/4
*a11**3*a22**8*a23**2*b32**3 + 1/8*a11**3*a22**8*a23**2*b32*b33**2 - 7/8*a11**3*
a22**7*a23**3*b32**2*b33 - 1/8*a11**3*a22**7*a23**3*b33**3 + 1/4*a11**3*a22**6*
a23**4*b32**3 + 3/8*a11**3*a22**6*a23**4*b32*b33**2 - 3/2*a11**3*a22**5*a23**5*
b32**2*b33 - 3/8*a11**3*a22**5*a23**5*b33**3 - 1/8*a11**3*a22**4*a23**6*b32**3 +
3/8*a11**3*a22**4*a23**6*b32*b33**2 - 9/8*a11**3*a22**3*a23**7*b32**2*b33 - 3/8
*a11**3*a22**3*a23**7*b33**3 - 5/16*a11**3*a22**2*a23**8*b32**3 + 1/8*a11**3*a22
**2*a23**8*b32*b33**2 - 5/16*a11**3*a22*a23**9*b32**2*b33 - 1/8*a11**3*a22*a23**
9*b33**3 - 1/8*a11**3*a23**10*b32**3 - 1/8*a11**2*a22**11*b32**3 + 1/8*a11**2*
a22**10*a23*b32**2*b33 - 9/16*a11**2*a22**9*a23**2*b32**3 - 1/16*a11**2*a22**9*
a23**2*b32*b33**2 + 11/16*a11**2*a22**8*a23**3*b32**2*b33 + 3/16*a11**2*a22**8*
a23**3*b33**3 - 7/8*a11**2*a22**7*a23**4*b32**3 - 1/8*a11**2*a22**7*a23**4*b32*
b33**2 + 11/8*a11**2*a22**6*a23**5*b32**2*b33 + 5/8*a11**2*a22**6*a23**5*b33**3
- 1/2*a11**2*a22**5*a23**6*b32**3 + 5/4*a11**2*a22**4*a23**7*b32**2*b33 + 3/4*
a11**2*a22**4*a23**7*b33**3 + 1/8*a11**2*a22**3*a23**8*b32*b33**2 + 1/2*a11**2*
a22**2*a23**9*b32**2*b33 + 3/8*a11**2*a22**2*a23**9*b33**3 + 1/16*a11**2*a22*a23
**10*b32**3 + 1/16*a11**2*a22*a23**10*b32*b33**2 + 1/16*a11**2*a23**11*b32**2*
b33 + 1/16*a11**2*a23**11*b33**3 + 1/16*a11*a22**12*b32**3 + 1/16*a11*a22**11*
a23*b32**2*b33 + 3/8*a11*a22**10*a23**2*b32**3 + 1/4*a11*a22**9*a23**3*b32**2*
b33 + 7/8*a11*a22**8*a23**4*b32**3 + 3/8*a11*a22**7*a23**5*b32**2*b33 + a11*a22
**6*a23**6*b32**3 + 1/4*a11*a22**5*a23**7*b32**2*b33 + 9/16*a11*a22**4*a23**8*
b32**3 + 1/16*a11*a22**3*a23**9*b32**2*b33 + 1/8*a11*a22**2*a23**10*b32**3 - 1/
16*a22**11*a23**2*b32**3 - 1/16*a22**11*a23**2*b32*b33**2 - 1/16*a22**10*a23**3*
b32**2*b33 - 1/16*a22**10*a23**3*b33**3 - 1/4*a22**9*a23**4*b32**3 - 1/4*a22**9*
a23**4*b32*b33**2 - 1/4*a22**8*a23**5*b32**2*b33 - 1/4*a22**8*a23**5*b33**3 - 3/
8*a22**7*a23**6*b32**3 - 3/8*a22**7*a23**6*b32*b33**2 - 3/8*a22**6*a23**7*b32**2
*b33 - 3/8*a22**6*a23**7*b33**3 - 1/4*a22**5*a23**8*b32**3 - 1/4*a22**5*a23**8*
b32*b33**2 - 1/4*a22**4*a23**9*b32**2*b33 - 1/4*a22**4*a23**9*b33**3 - 1/16*a22
**3*a23**10*b32**3 - 1/16*a22**3*a23**10*b32*b33**2 - 1/16*a22**2*a23**11*b32**2
*b33 - 1/16*a22**2*a23**11*b33**3) + v2*v3*(1/8*a11**3*a22**9*a23*b32**3 - 1/8*
a11**3*a22**8*a23**2*b32**2*b33 + 1/2*a11**3*a22**7*a23**3*b32**3 - 1/2*a11**3*
a22**6*a23**4*b32**2*b33 + 3/4*a11**3*a22**5*a23**5*b32**3 - 3/4*a11**3*a22**4*
a23**6*b32**2*b33 + 1/2*a11**3*a22**3*a23**7*b32**3 - 1/2*a11**3*a22**2*a23**8*
b32**2*b33 + 1/8*a11**3*a22*a23**9*b32**3 - 1/8*a11**3*a23**10*b32**2*b33 - 1/8*
a11*a22**11*a23*b32**3 + 1/8*a11*a22**10*a23**2*b32**2*b33 - 1/2*a11*a22**9*a23
**3*b32**3 + 1/2*a11*a22**8*a23**4*b32**2*b33 - 3/4*a11*a22**7*a23**5*b32**3 + 3
/4*a11*a22**6*a23**6*b32**2*b33 - 1/2*a11*a22**5*a23**7*b32**3 + 1/2*a11*a22**4*
a23**8*b32**2*b33 - 1/8*a11*a22**3*a23**9*b32**3 + 1/8*a11*a22**2*a23**10*b32**2
*b33) + v3**2*(1/16*a11**3*a22**10*b32**3 - 1/16*a11**3*a22**9*a23*b32**2*b33 +
1/8*a11**3*a22**8*a23**2*b32**3 - 1/8*a11**3*a22**8*a23**2*b32*b33**2 - 1/8*a11
**3*a22**7*a23**3*b32**2*b33 + 1/8*a11**3*a22**7*a23**3*b33**3 - 3/8*a11**3*a22
**6*a23**4*b32*b33**2 + 3/8*a11**3*a22**5*a23**5*b33**3 - 1/8*a11**3*a22**4*a23
**6*b32**3 - 3/8*a11**3*a22**4*a23**6*b32*b33**2 + 1/8*a11**3*a22**3*a23**7*b32
**2*b33 + 3/8*a11**3*a22**3*a23**7*b33**3 - 1/16*a11**3*a22**2*a23**8*b32**3 - 1
/8*a11**3*a22**2*a23**8*b32*b33**2 + 1/16*a11**3*a22*a23**9*b32**2*b33 + 1/8*a11
**3*a22*a23**9*b33**3 - 1/8*a11**2*a22**11*b32**3 + 1/8*a11**2*a22**10*a23*b32**
2*b33 - 9/16*a11**2*a22**9*a23**2*b32**3 - 1/16*a11**2*a22**9*a23**2*b32*b33**2
+ 11/16*a11**2*a22**8*a23**3*b32**2*b33 + 3/16*a11**2*a22**8*a23**3*b33**3 - 7/8
*a11**2*a22**7*a23**4*b32**3 - 1/8*a11**2*a22**7*a23**4*b32*b33**2 + 11/8*a11**2
*a22**6*a23**5*b32**2*b33 + 5/8*a11**2*a22**6*a23**5*b33**3 - 1/2*a11**2*a22**5*
a23**6*b32**3 + 5/4*a11**2*a22**4*a23**7*b32**2*b33 + 3/4*a11**2*a22**4*a23**7*
b33**3 + 1/8*a11**2*a22**3*a23**8*b32*b33**2 + 1/2*a11**2*a22**2*a23**9*b32**2*
b33 + 3/8*a11**2*a22**2*a23**9*b33**3 + 1/16*a11**2*a22*a23**10*b32**3 + 1/16*
a11**2*a22*a23**10*b32*b33**2 + 1/16*a11**2*a23**11*b32**2*b33 + 1/16*a11**2*a23
**11*b33**3 + 1/16*a11*a22**12*b32**3 - 1/16*a11*a22**11*a23*b32**2*b33 + 1/4*
a11*a22**10*a23**2*b32**3 - 1/4*a11*a22**9*a23**3*b32**2*b33 + 3/8*a11*a22**8*
a23**4*b32**3 - 3/8*a11*a22**7*a23**5*b32**2*b33 + 1/4*a11*a22**6*a23**6*b32**3
- 1/4*a11*a22**5*a23**7*b32**2*b33 + 1/16*a11*a22**4*a23**8*b32**3 - 1/16*a11*
a22**3*a23**9*b32**2*b33 - 1/16*a22**11*a23**2*b32**3 - 1/16*a22**11*a23**2*b32*
b33**2 - 1/16*a22**10*a23**3*b32**2*b33 - 1/16*a22**10*a23**3*b33**3 - 1/4*a22**
9*a23**4*b32**3 - 1/4*a22**9*a23**4*b32*b33**2 - 1/4*a22**8*a23**5*b32**2*b33 -
1/4*a22**8*a23**5*b33**3 - 3/8*a22**7*a23**6*b32**3 - 3/8*a22**7*a23**6*b32*b33
**2 - 3/8*a22**6*a23**7*b32**2*b33 - 3/8*a22**6*a23**7*b33**3 - 1/4*a22**5*a23**
8*b32**3 - 1/4*a22**5*a23**8*b32*b33**2 - 1/4*a22**4*a23**9*b32**2*b33 - 1/4*a22
**4*a23**9*b33**3 - 1/16*a22**3*a23**10*b32**3 - 1/16*a22**3*a23**10*b32*b33**2
- 1/16*a22**2*a23**11*b32**2*b33 - 1/16*a22**2*a23**11*b33**3))/(a11**3*a22**9*
a23**2*b32 - a11**3*a22**8*a23**3*b33 + 4*a11**3*a22**7*a23**4*b32 - 4*a11**3*
a22**6*a23**5*b33 + 6*a11**3*a22**5*a23**6*b32 - 6*a11**3*a22**4*a23**7*b33 + 4*
a11**3*a22**3*a23**8*b32 - 4*a11**3*a22**2*a23**9*b33 + a11**3*a22*a23**10*b32 -
a11**3*a23**11*b33)$
FI=u1*v1*(1/2*a11**4*a22**13*a23*b32**2 - a11**4*a22**12*a23**2*b32*b33 + 5/2*
a11**4*a22**11*a23**3*b32**2 + 1/2*a11**4*a22**11*a23**3*b33**2 - 5*a11**4*a22**
10*a23**4*b32*b33 + 5*a11**4*a22**9*a23**5*b32**2 + 5/2*a11**4*a22**9*a23**5*b33
**2 - 10*a11**4*a22**8*a23**6*b32*b33 + 5*a11**4*a22**7*a23**7*b32**2 + 5*a11**4
*a22**7*a23**7*b33**2 - 10*a11**4*a22**6*a23**8*b32*b33 + 5/2*a11**4*a22**5*a23
**9*b32**2 + 5*a11**4*a22**5*a23**9*b33**2 - 5*a11**4*a22**4*a23**10*b32*b33 + 1
/2*a11**4*a22**3*a23**11*b32**2 + 5/2*a11**4*a22**3*a23**11*b33**2 - a11**4*a22
**2*a23**12*b32*b33 + 1/2*a11**4*a22*a23**13*b33**2 - a11**3*a22**14*a23*b32**2
+ a11**3*a22**13*a23**2*b32*b33 - 11/2*a11**3*a22**12*a23**3*b32**2 + 5*a11**3*
a22**11*a23**4*b32*b33 - 25/2*a11**3*a22**10*a23**5*b32**2 + 1/2*a11**3*a22**10*
a23**5*b33**2 + 10*a11**3*a22**9*a23**6*b32*b33 - 15*a11**3*a22**8*a23**7*b32**2
+ 5/2*a11**3*a22**8*a23**7*b33**2 + 10*a11**3*a22**7*a23**8*b32*b33 - 10*a11**3
*a22**6*a23**9*b32**2 + 5*a11**3*a22**6*a23**9*b33**2 + 5*a11**3*a22**5*a23**10*
b32*b33 - 7/2*a11**3*a22**4*a23**11*b32**2 + 5*a11**3*a22**4*a23**11*b33**2 +
a11**3*a22**3*a23**12*b32*b33 - 1/2*a11**3*a22**2*a23**13*b32**2 + 5/2*a11**3*
a22**2*a23**13*b33**2 + 1/2*a11**3*a23**15*b33**2 + 1/2*a11**2*a22**15*a23*b32**
2 + 3*a11**2*a22**13*a23**3*b32**2 - 1/2*a11**2*a22**13*a23**3*b33**2 + 15/2*a11
**2*a22**11*a23**5*b32**2 - 3*a11**2*a22**11*a23**5*b33**2 + 10*a11**2*a22**9*
a23**7*b32**2 - 15/2*a11**2*a22**9*a23**7*b33**2 + 15/2*a11**2*a22**7*a23**9*b32
**2 - 10*a11**2*a22**7*a23**9*b33**2 + 3*a11**2*a22**5*a23**11*b32**2 - 15/2*a11
**2*a22**5*a23**11*b33**2 + 1/2*a11**2*a22**3*a23**13*b32**2 - 3*a11**2*a22**3*
a23**13*b33**2 - 1/2*a11**2*a22*a23**15*b33**2) + u2**2*(a11**4*a22**13*a23**2*
b32 - a11**4*a22**12*a23**3*b33 + 6*a11**4*a22**11*a23**4*b32 - 6*a11**4*a22**10
*a23**5*b33 + 15*a11**4*a22**9*a23**6*b32 - 15*a11**4*a22**8*a23**7*b33 + 20*a11
**4*a22**7*a23**8*b32 - 20*a11**4*a22**6*a23**9*b33 + 15*a11**4*a22**5*a23**10*
b32 - 15*a11**4*a22**4*a23**11*b33 + 6*a11**4*a22**3*a23**12*b32 - 6*a11**4*a22
**2*a23**13*b33 + a11**4*a22*a23**14*b32 - a11**4*a23**15*b33 - a11**3*a22**14*
a23**2*b32 + a11**3*a22**13*a23**3*b33 - 6*a11**3*a22**12*a23**4*b32 + 6*a11**3*
a22**11*a23**5*b33 - 15*a11**3*a22**10*a23**6*b32 + 15*a11**3*a22**9*a23**7*b33
- 20*a11**3*a22**8*a23**8*b32 + 20*a11**3*a22**7*a23**9*b33 - 15*a11**3*a22**6*
a23**10*b32 + 15*a11**3*a22**5*a23**11*b33 - 6*a11**3*a22**4*a23**12*b32 + 6*a11
**3*a22**3*a23**13*b33 - a11**3*a22**2*a23**14*b32 + a11**3*a22*a23**15*b33) +
u2*u3*( - 2*a11**3*a22**13*a23**3*b32 + 2*a11**3*a22**12*a23**4*b33 - 12*a11**3*
a22**11*a23**5*b32 + 12*a11**3*a22**10*a23**6*b33 - 30*a11**3*a22**9*a23**7*b32
+ 30*a11**3*a22**8*a23**8*b33 - 40*a11**3*a22**7*a23**9*b32 + 40*a11**3*a22**6*
a23**10*b33 - 30*a11**3*a22**5*a23**11*b32 + 30*a11**3*a22**4*a23**12*b33 - 12*
a11**3*a22**3*a23**13*b32 + 12*a11**3*a22**2*a23**14*b33 - 2*a11**3*a22*a23**15*
b32 + 2*a11**3*a23**16*b33) + u2*v3*( - 1/2*a11**4*a22**12*a23**2*b32**2 + a11**
4*a22**11*a23**3*b32*b33 - 5/2*a11**4*a22**10*a23**4*b32**2 - 1/2*a11**4*a22**10
*a23**4*b33**2 + 5*a11**4*a22**9*a23**5*b32*b33 - 5*a11**4*a22**8*a23**6*b32**2
- 5/2*a11**4*a22**8*a23**6*b33**2 + 10*a11**4*a22**7*a23**7*b32*b33 - 5*a11**4*
a22**6*a23**8*b32**2 - 5*a11**4*a22**6*a23**8*b33**2 + 10*a11**4*a22**5*a23**9*
b32*b33 - 5/2*a11**4*a22**4*a23**10*b32**2 - 5*a11**4*a22**4*a23**10*b33**2 + 5*
a11**4*a22**3*a23**11*b32*b33 - 1/2*a11**4*a22**2*a23**12*b32**2 - 5/2*a11**4*
a22**2*a23**12*b33**2 + a11**4*a22*a23**13*b32*b33 - 1/2*a11**4*a23**14*b33**2 +
1/2*a11**3*a22**13*a23**2*b32**2 - a11**3*a22**12*a23**3*b32*b33 + 5/2*a11**3*
a22**11*a23**4*b32**2 + 1/2*a11**3*a22**11*a23**4*b33**2 - 5*a11**3*a22**10*a23
**5*b32*b33 + 5*a11**3*a22**9*a23**6*b32**2 + 5/2*a11**3*a22**9*a23**6*b33**2 -
10*a11**3*a22**8*a23**7*b32*b33 + 5*a11**3*a22**7*a23**8*b32**2 + 5*a11**3*a22**
7*a23**8*b33**2 - 10*a11**3*a22**6*a23**9*b32*b33 + 5/2*a11**3*a22**5*a23**10*
b32**2 + 5*a11**3*a22**5*a23**10*b33**2 - 5*a11**3*a22**4*a23**11*b32*b33 + 1/2*
a11**3*a22**3*a23**12*b32**2 + 5/2*a11**3*a22**3*a23**12*b33**2 - a11**3*a22**2*
a23**13*b32*b33 + 1/2*a11**3*a22*a23**14*b33**2) + u3**2*(a11**4*a22**13*a23**2*
b32 - a11**4*a22**12*a23**3*b33 + 6*a11**4*a22**11*a23**4*b32 - 6*a11**4*a22**10
*a23**5*b33 + 15*a11**4*a22**9*a23**6*b32 - 15*a11**4*a22**8*a23**7*b33 + 20*a11
**4*a22**7*a23**8*b32 - 20*a11**4*a22**6*a23**9*b33 + 15*a11**4*a22**5*a23**10*
b32 - 15*a11**4*a22**4*a23**11*b33 + 6*a11**4*a22**3*a23**12*b32 - 6*a11**4*a22
**2*a23**13*b33 + a11**4*a22*a23**14*b32 - a11**4*a23**15*b33 - a11**3*a22**14*
a23**2*b32 - a11**3*a22**13*a23**3*b33 - 8*a11**3*a22**12*a23**4*b32 - 6*a11**3*
a22**11*a23**5*b33 - 27*a11**3*a22**10*a23**6*b32 - 15*a11**3*a22**9*a23**7*b33
- 50*a11**3*a22**8*a23**8*b32 - 20*a11**3*a22**7*a23**9*b33 - 55*a11**3*a22**6*
a23**10*b32 - 15*a11**3*a22**5*a23**11*b33 - 36*a11**3*a22**4*a23**12*b32 - 6*
a11**3*a22**3*a23**13*b33 - 13*a11**3*a22**2*a23**14*b32 - a11**3*a22*a23**15*
b33 - 2*a11**3*a23**16*b32) + u3*v2*(1/2*a11**4*a22**12*a23**2*b32**2 - a11**4*
a22**11*a23**3*b32*b33 + 5/2*a11**4*a22**10*a23**4*b32**2 + 1/2*a11**4*a22**10*
a23**4*b33**2 - 5*a11**4*a22**9*a23**5*b32*b33 + 5*a11**4*a22**8*a23**6*b32**2 +
5/2*a11**4*a22**8*a23**6*b33**2 - 10*a11**4*a22**7*a23**7*b32*b33 + 5*a11**4*
a22**6*a23**8*b32**2 + 5*a11**4*a22**6*a23**8*b33**2 - 10*a11**4*a22**5*a23**9*
b32*b33 + 5/2*a11**4*a22**4*a23**10*b32**2 + 5*a11**4*a22**4*a23**10*b33**2 - 5*
a11**4*a22**3*a23**11*b32*b33 + 1/2*a11**4*a22**2*a23**12*b32**2 + 5/2*a11**4*
a22**2*a23**12*b33**2 - a11**4*a22*a23**13*b32*b33 + 1/2*a11**4*a23**14*b33**2 -
1/2*a11**3*a22**13*a23**2*b32**2 - 7/2*a11**3*a22**11*a23**4*b32**2 + 1/2*a11**
3*a22**11*a23**4*b33**2 + a11**3*a22**10*a23**5*b32*b33 - 10*a11**3*a22**9*a23**
6*b32**2 + 5/2*a11**3*a22**9*a23**6*b33**2 + 5*a11**3*a22**8*a23**7*b32*b33 - 15
*a11**3*a22**7*a23**8*b32**2 + 5*a11**3*a22**7*a23**8*b33**2 + 10*a11**3*a22**6*
a23**9*b32*b33 - 25/2*a11**3*a22**5*a23**10*b32**2 + 5*a11**3*a22**5*a23**10*b33
**2 + 10*a11**3*a22**4*a23**11*b32*b33 - 11/2*a11**3*a22**3*a23**12*b32**2 + 5/2
*a11**3*a22**3*a23**12*b33**2 + 5*a11**3*a22**2*a23**13*b32*b33 - a11**3*a22*a23
**14*b32**2 + 1/2*a11**3*a22*a23**14*b33**2 + a11**3*a23**15*b32*b33) + u3*v3*(
a11**3*a22**12*a23**3*b32**2 - 2*a11**3*a22**11*a23**4*b32*b33 + 5*a11**3*a22**
10*a23**5*b32**2 + a11**3*a22**10*a23**5*b33**2 - 10*a11**3*a22**9*a23**6*b32*
b33 + 10*a11**3*a22**8*a23**7*b32**2 + 5*a11**3*a22**8*a23**7*b33**2 - 20*a11**3
*a22**7*a23**8*b32*b33 + 10*a11**3*a22**6*a23**9*b32**2 + 10*a11**3*a22**6*a23**
9*b33**2 - 20*a11**3*a22**5*a23**10*b32*b33 + 5*a11**3*a22**4*a23**11*b32**2 +
10*a11**3*a22**4*a23**11*b33**2 - 10*a11**3*a22**3*a23**12*b32*b33 + a11**3*a22
**2*a23**13*b32**2 + 5*a11**3*a22**2*a23**13*b33**2 - 2*a11**3*a22*a23**14*b32*
b33 + a11**3*a23**15*b33**2) + v1**2*( - 1/16*a11**4*a22**13*b32**3 + 3/16*a11**
4*a22**12*a23*b32**2*b33 - 1/4*a11**4*a22**11*a23**2*b32**3 - 1/8*a11**4*a22**11
*a23**2*b32*b33**2 + 7/8*a11**4*a22**10*a23**3*b32**2*b33 - 5/16*a11**4*a22**9*
a23**4*b32**3 - 5/8*a11**4*a22**9*a23**4*b32*b33**2 + 25/16*a11**4*a22**8*a23**5
*b32**2*b33 - 5/4*a11**4*a22**7*a23**6*b32*b33**2 + 5/4*a11**4*a22**6*a23**7*b32
**2*b33 + 5/16*a11**4*a22**5*a23**8*b32**3 - 5/4*a11**4*a22**5*a23**8*b32*b33**2
+ 5/16*a11**4*a22**4*a23**9*b32**2*b33 + 1/4*a11**4*a22**3*a23**10*b32**3 - 5/8
*a11**4*a22**3*a23**10*b32*b33**2 - 1/8*a11**4*a22**2*a23**11*b32**2*b33 + 1/16*
a11**4*a22*a23**12*b32**3 - 1/8*a11**4*a22*a23**12*b32*b33**2 - 1/16*a11**4*a23
**13*b32**2*b33 + 3/16*a11**3*a22**14*b32**3 - 5/16*a11**3*a22**13*a23*b32**2*
b33 + 15/16*a11**3*a22**12*a23**2*b32**3 - 1/16*a11**3*a22**12*a23**2*b32*b33**2
- 29/16*a11**3*a22**11*a23**3*b32**2*b33 + 1/16*a11**3*a22**11*a23**3*b33**3 +
7/4*a11**3*a22**10*a23**4*b32**3 - 5/16*a11**3*a22**10*a23**4*b32*b33**2 - 35/8*
a11**3*a22**9*a23**5*b32**2*b33 + 5/16*a11**3*a22**9*a23**5*b33**3 + 5/4*a11**3*
a22**8*a23**6*b32**3 - 5/8*a11**3*a22**8*a23**6*b32*b33**2 - 45/8*a11**3*a22**7*
a23**7*b32**2*b33 + 5/8*a11**3*a22**7*a23**7*b33**3 - 5/16*a11**3*a22**6*a23**8*
b32**3 - 5/8*a11**3*a22**6*a23**8*b32*b33**2 - 65/16*a11**3*a22**5*a23**9*b32**2
*b33 + 5/8*a11**3*a22**5*a23**9*b33**3 - 17/16*a11**3*a22**4*a23**10*b32**3 - 5/
16*a11**3*a22**4*a23**10*b32*b33**2 - 25/16*a11**3*a22**3*a23**11*b32**2*b33 + 5
/16*a11**3*a22**3*a23**11*b33**3 - 5/8*a11**3*a22**2*a23**12*b32**3 - 1/16*a11**
3*a22**2*a23**12*b32*b33**2 - 1/4*a11**3*a22*a23**13*b32**2*b33 + 1/16*a11**3*
a22*a23**13*b33**3 - 1/8*a11**3*a23**14*b32**3 - 3/16*a11**2*a22**15*b32**3 + 1/
16*a11**2*a22**14*a23*b32**2*b33 - 19/16*a11**2*a22**13*a23**2*b32**3 + 3/16*a11
**2*a22**13*a23**2*b32*b33**2 + 11/16*a11**2*a22**12*a23**3*b32**2*b33 + 1/16*
a11**2*a22**12*a23**3*b33**3 - 49/16*a11**2*a22**11*a23**4*b32**3 + a11**2*a22**
11*a23**4*b32*b33**2 + 41/16*a11**2*a22**10*a23**5*b32**2*b33 + 3/8*a11**2*a22**
10*a23**5*b33**3 - 65/16*a11**2*a22**9*a23**6*b32**3 + 35/16*a11**2*a22**9*a23**
6*b32*b33**2 + 75/16*a11**2*a22**8*a23**7*b32**2*b33 + 15/16*a11**2*a22**8*a23**
7*b33**3 - 45/16*a11**2*a22**7*a23**8*b32**3 + 5/2*a11**2*a22**7*a23**8*b32*b33
**2 + 75/16*a11**2*a22**6*a23**9*b32**2*b33 + 5/4*a11**2*a22**6*a23**9*b33**3 -
13/16*a11**2*a22**5*a23**10*b32**3 + 25/16*a11**2*a22**5*a23**10*b32*b33**2 + 41
/16*a11**2*a22**4*a23**11*b32**2*b33 + 15/16*a11**2*a22**4*a23**11*b33**3 + 1/16
*a11**2*a22**3*a23**12*b32**3 + 1/2*a11**2*a22**3*a23**12*b32*b33**2 + 11/16*a11
**2*a22**2*a23**13*b32**2*b33 + 3/8*a11**2*a22**2*a23**13*b33**3 + 1/16*a11**2*
a22*a23**14*b32**3 + 1/16*a11**2*a22*a23**14*b32*b33**2 + 1/16*a11**2*a23**15*
b32**2*b33 + 1/16*a11**2*a23**15*b33**3 + 1/16*a11*a22**16*b32**3 + 1/16*a11*a22
**15*a23*b32**2*b33 + 9/16*a11*a22**14*a23**2*b32**3 + 1/16*a11*a22**14*a23**2*
b32*b33**2 + 5/16*a11*a22**13*a23**3*b32**2*b33 - 1/16*a11*a22**13*a23**3*b33**3
+ 2*a11*a22**12*a23**4*b32**3 + 5/16*a11*a22**12*a23**4*b32*b33**2 + 5/8*a11*
a22**11*a23**5*b32**2*b33 - 5/16*a11*a22**11*a23**5*b33**3 + 15/4*a11*a22**10*
a23**6*b32**3 + 5/8*a11*a22**10*a23**6*b32*b33**2 + 5/8*a11*a22**9*a23**7*b32**2
*b33 - 5/8*a11*a22**9*a23**7*b33**3 + 65/16*a11*a22**8*a23**8*b32**3 + 5/8*a11*
a22**8*a23**8*b32*b33**2 + 5/16*a11*a22**7*a23**9*b32**2*b33 - 5/8*a11*a22**7*
a23**9*b33**3 + 41/16*a11*a22**6*a23**10*b32**3 + 5/16*a11*a22**6*a23**10*b32*
b33**2 + 1/16*a11*a22**5*a23**11*b32**2*b33 - 5/16*a11*a22**5*a23**11*b33**3 + 7
/8*a11*a22**4*a23**12*b32**3 + 1/16*a11*a22**4*a23**12*b32*b33**2 - 1/16*a11*a22
**3*a23**13*b33**3 + 1/8*a11*a22**2*a23**14*b32**3 - 1/16*a22**15*a23**2*b32**3
- 1/16*a22**15*a23**2*b32*b33**2 - 1/16*a22**14*a23**3*b32**2*b33 - 1/16*a22**14
*a23**3*b33**3 - 3/8*a22**13*a23**4*b32**3 - 3/8*a22**13*a23**4*b32*b33**2 - 3/8
*a22**12*a23**5*b32**2*b33 - 3/8*a22**12*a23**5*b33**3 - 15/16*a22**11*a23**6*
b32**3 - 15/16*a22**11*a23**6*b32*b33**2 - 15/16*a22**10*a23**7*b32**2*b33 - 15/
16*a22**10*a23**7*b33**3 - 5/4*a22**9*a23**8*b32**3 - 5/4*a22**9*a23**8*b32*b33
**2 - 5/4*a22**8*a23**9*b32**2*b33 - 5/4*a22**8*a23**9*b33**3 - 15/16*a22**7*a23
**10*b32**3 - 15/16*a22**7*a23**10*b32*b33**2 - 15/16*a22**6*a23**11*b32**2*b33
- 15/16*a22**6*a23**11*b33**3 - 3/8*a22**5*a23**12*b32**3 - 3/8*a22**5*a23**12*
b32*b33**2 - 3/8*a22**4*a23**13*b32**2*b33 - 3/8*a22**4*a23**13*b33**3 - 1/16*
a22**3*a23**14*b32**3 - 1/16*a22**3*a23**14*b32*b33**2 - 1/16*a22**2*a23**15*b32
**2*b33 - 1/16*a22**2*a23**15*b33**3) + v2*v3*(1/8*a11**3*a22**13*a23*b32**3 - 3
/8*a11**3*a22**12*a23**2*b32**2*b33 + 5/8*a11**3*a22**11*a23**3*b32**3 + 3/8*a11
**3*a22**11*a23**3*b32*b33**2 - 15/8*a11**3*a22**10*a23**4*b32**2*b33 - 1/8*a11
**3*a22**10*a23**4*b33**3 + 5/4*a11**3*a22**9*a23**5*b32**3 + 15/8*a11**3*a22**9
*a23**5*b32*b33**2 - 15/4*a11**3*a22**8*a23**6*b32**2*b33 - 5/8*a11**3*a22**8*
a23**6*b33**3 + 5/4*a11**3*a22**7*a23**7*b32**3 + 15/4*a11**3*a22**7*a23**7*b32*
b33**2 - 15/4*a11**3*a22**6*a23**8*b32**2*b33 - 5/4*a11**3*a22**6*a23**8*b33**3
+ 5/8*a11**3*a22**5*a23**9*b32**3 + 15/4*a11**3*a22**5*a23**9*b32*b33**2 - 15/8*
a11**3*a22**4*a23**10*b32**2*b33 - 5/4*a11**3*a22**4*a23**10*b33**3 + 1/8*a11**3
*a22**3*a23**11*b32**3 + 15/8*a11**3*a22**3*a23**11*b32*b33**2 - 3/8*a11**3*a22
**2*a23**12*b32**2*b33 - 5/8*a11**3*a22**2*a23**12*b33**3 + 3/8*a11**3*a22*a23**
13*b32*b33**2 - 1/8*a11**3*a23**14*b33**3 - 1/4*a11**2*a22**14*a23*b32**3 + 1/2*
a11**2*a22**13*a23**2*b32**2*b33 - 5/4*a11**2*a22**12*a23**3*b32**3 - 1/4*a11**2
*a22**12*a23**3*b32*b33**2 + 5/2*a11**2*a22**11*a23**4*b32**2*b33 - 5/2*a11**2*
a22**10*a23**5*b32**3 - 5/4*a11**2*a22**10*a23**5*b32*b33**2 + 5*a11**2*a22**9*
a23**6*b32**2*b33 - 5/2*a11**2*a22**8*a23**7*b32**3 - 5/2*a11**2*a22**8*a23**7*
b32*b33**2 + 5*a11**2*a22**7*a23**8*b32**2*b33 - 5/4*a11**2*a22**6*a23**9*b32**3
- 5/2*a11**2*a22**6*a23**9*b32*b33**2 + 5/2*a11**2*a22**5*a23**10*b32**2*b33 -
1/4*a11**2*a22**4*a23**11*b32**3 - 5/4*a11**2*a22**4*a23**11*b32*b33**2 + 1/2*
a11**2*a22**3*a23**12*b32**2*b33 - 1/4*a11**2*a22**2*a23**13*b32*b33**2 + 1/8*
a11*a22**15*a23*b32**3 - 1/8*a11*a22**14*a23**2*b32**2*b33 + 5/8*a11*a22**13*a23
**3*b32**3 - 1/8*a11*a22**13*a23**3*b32*b33**2 - 5/8*a11*a22**12*a23**4*b32**2*
b33 + 1/8*a11*a22**12*a23**4*b33**3 + 5/4*a11*a22**11*a23**5*b32**3 - 5/8*a11*
a22**11*a23**5*b32*b33**2 - 5/4*a11*a22**10*a23**6*b32**2*b33 + 5/8*a11*a22**10*
a23**6*b33**3 + 5/4*a11*a22**9*a23**7*b32**3 - 5/4*a11*a22**9*a23**7*b32*b33**2
- 5/4*a11*a22**8*a23**8*b32**2*b33 + 5/4*a11*a22**8*a23**8*b33**3 + 5/8*a11*a22
**7*a23**9*b32**3 - 5/4*a11*a22**7*a23**9*b32*b33**2 - 5/8*a11*a22**6*a23**10*
b32**2*b33 + 5/4*a11*a22**6*a23**10*b33**3 + 1/8*a11*a22**5*a23**11*b32**3 - 5/8
*a11*a22**5*a23**11*b32*b33**2 - 1/8*a11*a22**4*a23**12*b32**2*b33 + 5/8*a11*a22
**4*a23**12*b33**3 - 1/8*a11*a22**3*a23**13*b32*b33**2 + 1/8*a11*a22**2*a23**14*
b33**3) + v3**2*(1/8*a11**3*a22**13*a23*b32**2*b33 + 1/8*a11**3*a22**12*a23**2*
b32**3 - 1/4*a11**3*a22**12*a23**2*b32*b33**2 + 3/8*a11**3*a22**11*a23**3*b32**2
*b33 + 1/8*a11**3*a22**11*a23**3*b33**3 + 5/8*a11**3*a22**10*a23**4*b32**3 - 9/8
*a11**3*a22**10*a23**4*b32*b33**2 + 5/8*a11**3*a22**9*a23**5*b33**3 + 5/4*a11**3
*a22**8*a23**6*b32**3 - 15/8*a11**3*a22**8*a23**6*b32*b33**2 - 5/4*a11**3*a22**7
*a23**7*b32**2*b33 + 5/4*a11**3*a22**7*a23**7*b33**3 + 5/4*a11**3*a22**6*a23**8*
b32**3 - 5/4*a11**3*a22**6*a23**8*b32*b33**2 - 15/8*a11**3*a22**5*a23**9*b32**2*
b33 + 5/4*a11**3*a22**5*a23**9*b33**3 + 5/8*a11**3*a22**4*a23**10*b32**3 - 9/8*
a11**3*a22**3*a23**11*b32**2*b33 + 5/8*a11**3*a22**3*a23**11*b33**3 + 1/8*a11**3
*a22**2*a23**12*b32**3 + 3/8*a11**3*a22**2*a23**12*b32*b33**2 - 1/4*a11**3*a22*
a23**13*b32**2*b33 + 1/8*a11**3*a22*a23**13*b33**3 + 1/8*a11**3*a23**14*b32*b33
**2 - 1/4*a11**2*a22**14*a23*b32**2*b33 - 1/4*a11**2*a22**13*a23**2*b32**3 + 1/4
*a11**2*a22**13*a23**2*b32*b33**2 - a11**2*a22**12*a23**3*b32**2*b33 - 5/4*a11**
2*a22**11*a23**4*b32**3 + 5/4*a11**2*a22**11*a23**4*b32*b33**2 - 5/4*a11**2*a22
**10*a23**5*b32**2*b33 - 5/2*a11**2*a22**9*a23**6*b32**3 + 5/2*a11**2*a22**9*a23
**6*b32*b33**2 - 5/2*a11**2*a22**7*a23**8*b32**3 + 5/2*a11**2*a22**7*a23**8*b32*
b33**2 + 5/4*a11**2*a22**6*a23**9*b32**2*b33 - 5/4*a11**2*a22**5*a23**10*b32**3
+ 5/4*a11**2*a22**5*a23**10*b32*b33**2 + a11**2*a22**4*a23**11*b32**2*b33 - 1/4*
a11**2*a22**3*a23**12*b32**3 + 1/4*a11**2*a22**3*a23**12*b32*b33**2 + 1/4*a11**2
*a22**2*a23**13*b32**2*b33 + 1/8*a11*a22**15*a23*b32**2*b33 + 1/8*a11*a22**14*
a23**2*b32**3 + 5/8*a11*a22**13*a23**3*b32**2*b33 - 1/8*a11*a22**13*a23**3*b33**
3 + 5/8*a11*a22**12*a23**4*b32**3 - 1/8*a11*a22**12*a23**4*b32*b33**2 + 5/4*a11*
a22**11*a23**5*b32**2*b33 - 5/8*a11*a22**11*a23**5*b33**3 + 5/4*a11*a22**10*a23
**6*b32**3 - 5/8*a11*a22**10*a23**6*b32*b33**2 + 5/4*a11*a22**9*a23**7*b32**2*
b33 - 5/4*a11*a22**9*a23**7*b33**3 + 5/4*a11*a22**8*a23**8*b32**3 - 5/4*a11*a22
**8*a23**8*b32*b33**2 + 5/8*a11*a22**7*a23**9*b32**2*b33 - 5/4*a11*a22**7*a23**9
*b33**3 + 5/8*a11*a22**6*a23**10*b32**3 - 5/4*a11*a22**6*a23**10*b32*b33**2 + 1/
8*a11*a22**5*a23**11*b32**2*b33 - 5/8*a11*a22**5*a23**11*b33**3 + 1/8*a11*a22**4
*a23**12*b32**3 - 5/8*a11*a22**4*a23**12*b32*b33**2 - 1/8*a11*a22**3*a23**13*b33
**3 - 1/8*a11*a22**2*a23**14*b32*b33**2)$