Solution 5 to problem over
Remaining equations |
Expressions |
Parameters |
Inequalities |
Relevance |
Back to problem over
Equations
The following unsolved equations remain:
2 2
0=16*a23 + b12 *kap
Expressions
The solution is given through the following expressions:
128 5 40 3 2 2 4 2
-----*a23 *r6248 + ----*a23 *b12 *kap*r6248 + ---*a23*b12 *kap *r6248
9 9 9
r60=-----------------------------------------------------------------------
5 4
b12 *kap
r61=0
128 5 40 3 2 2 4 2
-----*a23 *r6248 + ----*a23 *b12 *kap*r6248 + ---*a23*b12 *kap *r6248
3 3 3
r62=-----------------------------------------------------------------------
5 4
b12 *kap
r63=0
128 5 40 3 2 2 4 2
-----*a23 *r6248 + ----*a23 *b12 *kap*r6248 + ---*a23*b12 *kap *r6248
3 3 3
r64=-----------------------------------------------------------------------
5 4
b12 *kap
r65=0
128 5 40 3 2 2 4 2
-----*a23 *r6248 + ----*a23 *b12 *kap*r6248 + ---*a23*b12 *kap *r6248
9 9 9
r66=-----------------------------------------------------------------------
5 4
b12 *kap
r67=0
r68=0
r69=0
r610=0
r611=0
r612=0
128 5 40 3 2 2 4 2
-----*a23 *r6248 + ----*a23 *b12 *kap*r6248 + ---*a23*b12 *kap *r6248
3 3 3
r613=-----------------------------------------------------------------------
5 4
b12 *kap
r614=0
256 5 80 3 2 4 4 2
-----*a23 *r6248 + ----*a23 *b12 *kap*r6248 + ---*a23*b12 *kap *r6248
3 3 3
r615=-----------------------------------------------------------------------
5 4
b12 *kap
r616=0
128 5 40 3 2 2 4 2
-----*a23 *r6248 + ----*a23 *b12 *kap*r6248 + ---*a23*b12 *kap *r6248
3 3 3
r617=-----------------------------------------------------------------------
5 4
b12 *kap
r618=0
r619=0
r620=0
r621=0
128 5 40 3 2 2 4 2
-----*a23 *r6248 + ----*a23 *b12 *kap*r6248 + ---*a23*b12 *kap *r6248
3 3 3
r622=-----------------------------------------------------------------------
5 4
b12 *kap
r623=0
128 5 40 3 2 2 4 2
-----*a23 *r6248 + ----*a23 *b12 *kap*r6248 + ---*a23*b12 *kap *r6248
3 3 3
r624=-----------------------------------------------------------------------
5 4
b12 *kap
r625=0
r626=0
128 5 40 3 2 2 4 2
-----*a23 *r6248 + ----*a23 *b12 *kap*r6248 + ---*a23*b12 *kap *r6248
9 9 9
r627=-----------------------------------------------------------------------
5 4
b12 *kap
r628=0
r629=0
r630=0
r631=0
r632=0
r633=0
r634
512 6 160 4 2 8 2 4 2
- -----*a23 *r6248 - -----*a23 *b12 *kap*r6248 - ---*a23 *b12 *kap *r6248
9 9 9
=----------------------------------------------------------------------------
6 4
b12 *kap
r635=0
r636
1024 6 320 4 2 16 2 4 2
- ------*a23 *r6248 - -----*a23 *b12 *kap*r6248 - ----*a23 *b12 *kap *r6248
9 9 9
=------------------------------------------------------------------------------
6 4
b12 *kap
r637=0
r638
512 6 160 4 2 8 2 4 2
- -----*a23 *r6248 - -----*a23 *b12 *kap*r6248 - ---*a23 *b12 *kap *r6248
9 9 9
=----------------------------------------------------------------------------
6 4
b12 *kap
r639=0
r640=0
r641=0
r642=0
r643
1024 6 320 4 2 16 2 4 2
- ------*a23 *r6248 - -----*a23 *b12 *kap*r6248 - ----*a23 *b12 *kap *r6248
9 9 9
=------------------------------------------------------------------------------
6 4
b12 *kap
r644=0
r645
1024 6 320 4 2 16 2 4 2
- ------*a23 *r6248 - -----*a23 *b12 *kap*r6248 - ----*a23 *b12 *kap *r6248
9 9 9
=------------------------------------------------------------------------------
6 4
b12 *kap
r646=0
r647=0
r648
512 6 160 4 2 8 2 4 2
- -----*a23 *r6248 - -----*a23 *b12 *kap*r6248 - ---*a23 *b12 *kap *r6248
9 9 9
=----------------------------------------------------------------------------
6 4
b12 *kap
128 6 56 4 2 4 2 4 2
r649=( - -----*a23 *r6248 + ----*a23 *b12 *kap*r6248 + ---*a23 *b12 *kap *r6248
9 9 9
1 6 3 5 3
+ ---*b12 *kap *r6248)/(a23*b12 *kap )
8
r650=0
256 6 112 4 2
r651=( - -----*a23 *r6248 + -----*a23 *b12 *kap*r6248
9 9
26 2 4 2 1 6 3 5 3
+ ----*a23 *b12 *kap *r6248 + ---*b12 *kap *r6248)/(a23*b12 *kap )
9 4
r652=0
128 6 56 4 2 22 2 4 2
r653=( - -----*a23 *r6248 + ----*a23 *b12 *kap*r6248 + ----*a23 *b12 *kap *r6248
9 9 9
1 6 3 5 3
+ ---*b12 *kap *r6248)/(a23*b12 *kap )
8
r654=0
r655=0
r656=0
r657=0
256 6 4 2 2 2 4 2
r658=( - -----*a23 *r6248 - 16*a23 *b12 *kap*r6248 - ---*a23 *b12 *kap *r6248
3 3
1 6 3 5 3
+ ---*b12 *kap *r6248)/(a23*b12 *kap )
4
r659=0
256 6 4 2 4 2 4 2
r660=( - -----*a23 *r6248 - 16*a23 *b12 *kap*r6248 + ---*a23 *b12 *kap *r6248
3 3
1 6 3 5 3
+ ---*b12 *kap *r6248)/(a23*b12 *kap )
4
r661=0
r662=0
512 8 32 6 2 32 4 4 2
r663=(-----*a23 *r6248 + ----*a23 *b12 *kap*r6248 - ----*a23 *b12 *kap *r6248
9 9 9
2 2 6 3 1 8 4 7 4
- ---*a23 *b12 *kap *r6248 + ---*b12 *kap *r6248)/(a23*b12 *kap )
9 8
1
r664=---*r6286
2
r665=0
r666=0
r667=0
128 4 8 2 2 4 2
- -----*a23 *r6248 - ---*a23 *b12 *kap*r6248 - b12 *kap *r6248
3 3
r668=-----------------------------------------------------------------
4 2
b12 *kap
r669=0
r670= - r6248
1
r671=---*r6286
2
r672=0
r673= - r6248
9088 8 88 6 2 92 4 4 2
r674=(------*a23 *r6248 - ----*a23 *b12 *kap*r6248 + -----*a23 *b12 *kap *r6248
405 15 135
259 2 6 3 1 8 4 3 5 2
+ ------*a23 *b12 *kap *r6248 + -----*b12 *kap *r6248)/(a23 *b12 *kap )
1620 180
r675=0
3328 8 976 6 2 962 4 4 2
r676=(------*a23 *r6248 + -----*a23 *b12 *kap*r6248 + -----*a23 *b12 *kap *r6248
405 45 135
529 2 6 3 1 8 4 3 5 2
+ ------*a23 *b12 *kap *r6248 + -----*b12 *kap *r6248)/(a23 *b12 *kap )
1620 180
- 4*a23*r6286
r677=----------------
b12
r678=0
19712 8 784 6 2
r679=( - -------*a23 *r6248 - -----*a23 *b12 *kap*r6248
405 45
392 4 4 2 529 2 6 3
+ -----*a23 *b12 *kap *r6248 + ------*a23 *b12 *kap *r6248
135 1620
1 8 4 3 5 2
+ -----*b12 *kap *r6248)/(a23 *b12 *kap )
180
16 2 1 2
----*a23 *r6286 - ---*b12 *kap*r6286
3 6
r680=--------------------------------------
2
b12
r681=0
2048 8 1408 6 2 32 4 4 2
r682=(------*a23 *r6248 + ------*a23 *b12 *kap*r6248 - ----*a23 *b12 *kap *r6248
135 45 5
349 2 6 3 1 8 4 2 6 2
- -----*a23 *b12 *kap *r6248 - ----*b12 *kap *r6248)/(a23 *b12 *kap )
135 15
1280 10 4112 8 2
r683=(------*a23 *r6248 + ------*a23 *b12 *kap*r6248
81 405
344 6 4 2 79 4 6 3
+ -----*a23 *b12 *kap *r6248 + -----*a23 *b12 *kap *r6248
45 405
743 2 8 4 1 10 5 3 7 2
- ------*a23 *b12 *kap *r6248 - -----*b12 *kap *r6248)/(a23 *b12 *kap )
3240 180
r684=0
r685=0
r686=0
r687=0
r688=0
r689=0
r690=0
r691=0
r692=0
r693=0
r694=0
r695=0
r696=0
r697=0
r698=0
r699=0
r6100=0
r6101=0
r6102=0
r6103=0
r6104=0
r6105=0
- 4*a23*r6248
r6106=----------------
b12*kap
r6107=0
- 4*a23*r6248
r6108=----------------
b12*kap
r6109=0
r6110=0
r6111=0
r6112=0
r6113=0
r6114=0
- 4*a23*r6248
r6115=----------------
b12*kap
r6116=0
r6117=0
r6118=0
r6119=0
r6120=0
3
r6121=---*r6286
2
r6122=0
r6123=0
1
- ---*b12*r6362
8
r6124=------------------
a23
256 4 16 2 2
- -----*a23 *r6248 - ----*a23 *b12 *kap*r6248
3 3
r6125=------------------------------------------------
4 2
b12 *kap
r6126=0
r6127=0
1
r6128=---*r6286
2
1
- ---*b12*r6362
8
r6129=------------------
a23
1
r6130=---*r6362
4
256 6 496 4 2 116 2 4 2
r6131=(-----*a23 *r6248 - -----*a23 *b12 *kap*r6248 - -----*a23 *b12 *kap *r6248
9 9 9
1 6 3 5 2
- ---*b12 *kap *r6248)/(a23*b12 *kap )
3
r6132=0
r6133=0
- 4*a23*r6286
r6134=----------------
b12
5
r6135=---*r6362
4
r6136=0
16 2 1 2
----*a23 *r6286 - ---*b12 *kap*r6286
3 6
r6137=--------------------------------------
2
b12
10 2 1 2
- ----*a23 *r6362 + ----*b12 *kap*r6362
3 24
r6138=------------------------------------------
a23*b12
8 2 1 2
---*a23 *r6362 - ----*b12 *kap*r6362
3 12
r6139=--------------------------------------
2
b12
512 7 5 2
r6140=( - -----*a23 *r6248 - 160*a23 *b12 *kap*r6248
9
136 3 4 2 20 6 3 7 4
- -----*a23 *b12 *kap *r6248 - ----*a23*b12 *kap *r6248)/(b12 *kap )
3 9
r6141=0
1024 7 1088 5 2
r6142=(------*a23 *r6248 + ------*a23 *b12 *kap*r6248
9 9
256 3 4 2 2 6 3 7 4
+ -----*a23 *b12 *kap *r6248 - ---*a23*b12 *kap *r6248)/(b12 *kap )
9 3
r6143=0
512 7 544 5 2 128 3 4 2
r6144=(-----*a23 *r6248 + -----*a23 *b12 *kap*r6248 + -----*a23 *b12 *kap *r6248
9 9 9
4 6 3 7 4
- ---*a23*b12 *kap *r6248)/(b12 *kap )
3
r6145=0
r6146=0
r6147=0
r6148=0
1024 7 1088 5 2
r6149=(------*a23 *r6248 + ------*a23 *b12 *kap*r6248
9 9
160 3 4 2 4 6 3 7 4
+ -----*a23 *b12 *kap *r6248 - ---*a23*b12 *kap *r6248)/(b12 *kap )
9 3
r6150=0
1024 7 1088 5 2
r6151=(------*a23 *r6248 + ------*a23 *b12 *kap*r6248
9 9
160 3 4 2 10 6 3 7 4
+ -----*a23 *b12 *kap *r6248 - ----*a23*b12 *kap *r6248)/(b12 *kap )
9 3
r6152=0
r6153=0
512 7 544 5 2 32 3 4 2
r6154=(-----*a23 *r6248 + -----*a23 *b12 *kap*r6248 + ----*a23 *b12 *kap *r6248
9 9 9
6 3 7 4
- 2*a23*b12 *kap *r6248)/(b12 *kap )
r6155=0
r6156=0
3*r6286
r6157=---------
2
r6158=0
256 4 64 2 2
-----*a23 *r6248 + ----*a23 *b12 *kap*r6248
3 3
r6159=---------------------------------------------
4 2
b12 *kap
1
- ---*b12*r6362
4
r6160=------------------
a23
128 4 56 2 2
-----*a23 *r6248 + ----*a23 *b12 *kap*r6248
3 3
r6161=---------------------------------------------
4 2
b12 *kap
r6286
r6162=-------
2
r6163=0
4096 8 1792 6 2
r6164=(------*a23 *r6248 + ------*a23 *b12 *kap*r6248
9 3
704 4 4 2 256 2 6 3 8 4
+ -----*a23 *b12 *kap *r6248 + -----*a23 *b12 *kap *r6248)/(b12 *kap )
3 9
640 6 56 4 2
r6165=( - -----*a23 *r6248 - ----*a23 *b12 *kap*r6248
9 9
35 2 4 2 1 6 3 5 2
+ ----*a23 *b12 *kap *r6248 + ---*b12 *kap *r6248)/(a23*b12 *kap )
9 4
1
r6166=---*r6362
2
896 6 328 4 2
r6167=( - -----*a23 *r6248 - -----*a23 *b12 *kap*r6248
9 9
5 2 4 2 1 6 3 5 2
- ---*a23 *b12 *kap *r6248 + ----*b12 *kap *r6248)/(a23*b12 *kap )
9 12
- 4*a23*r6286
r6168=----------------
b12
r6169=0
1408 6 488 4 2
r6170=( - ------*a23 *r6248 - -----*a23 *b12 *kap*r6248
9 9
31 2 4 2 1 6 3 5 2
- ----*a23 *b12 *kap *r6248 + ----*b12 *kap *r6248)/(a23*b12 *kap )
9 12
2
8*a23 *r6286
r6171=--------------
2
b12
r6172=0
512 6 736 4 2 2 4 2
r6173=(-----*a23 *r6248 + -----*a23 *b12 *kap*r6248 + 52*a23 *b12 *kap *r6248
3 3
1 6 3 6 2
+ ---*b12 *kap *r6248)/(b12 *kap )
3
25088 10 117344 8 2
r6174=( - -------*a23 *r6248 - --------*a23 *b12 *kap*r6248
135 405
1616 6 4 2 347 4 6 3
- ------*a23 *b12 *kap *r6248 + -----*a23 *b12 *kap *r6248
45 45
637 2 8 4 1 10 5 3 7 2
+ ------*a23 *b12 *kap *r6248 + -----*b12 *kap *r6248)/(a23 *b12 *kap )
1620 180
r6175=0
r6176=0
r6177=0
r6286
r6178=-------
2
r6179=0
r6180=0
1
- ---*b12*r6362
8
r6181=------------------
a23
r6182=0
r6286
r6183=-------
2
1
- ---*b12*r6362
8
r6184=------------------
a23
r6185=0
256 5 16 3 2 4 2
-----*a23 *r6248 + ----*a23 *b12 *kap*r6248 - 4*a23*b12 *kap *r6248
3 3
r6186=---------------------------------------------------------------------
5 2
b12 *kap
1
r6187=---*r6362
4
r6188=0
- 4*a23*r6286
r6189=----------------
b12
5
r6190=---*r6362
4
r6191=0
2
8*a23 *r6286
r6192=--------------
2
b12
- 4*a23*r6362
r6193=----------------
b12
2
4*a23 *r6362
r6194=--------------
2
b12
512 7 5 2
r6195=( - -----*a23 *r6248 - 160*a23 *b12 *kap*r6248
9
136 3 4 2 20 6 3 7 3
- -----*a23 *b12 *kap *r6248 - ----*a23*b12 *kap *r6248)/(b12 *kap )
3 9
r6196=0
512 7 352 5 2
r6197=( - -----*a23 *r6248 - -----*a23 *b12 *kap*r6248
9 3
128 3 4 2 38 6 3 7 3
- -----*a23 *b12 *kap *r6248 - ----*a23*b12 *kap *r6248)/(b12 *kap )
3 9
r6198=0
r6199=0
512 7 5 2 3 4 2
r6200=( - -----*a23 *r6248 - 160*a23 *b12 *kap*r6248 - 56*a23 *b12 *kap *r6248
9
44 6 3 7 3
- ----*a23*b12 *kap *r6248)/(b12 *kap )
9
r6201=0
r6202=0
26624 6 7552 4 2
r6203=( - -------*a23 *r6248 - ------*a23 *b12 *kap*r6248
9 9
224 2 4 2 6 2
- -----*a23 *b12 *kap *r6248)/(b12 *kap )
9
13312 8 1120 6 2 4 4 2
r6204=(-------*a23 *r6248 + ------*a23 *b12 *kap*r6248 + 14*a23 *b12 *kap *r6248
9 3
34 2 6 3 1 8 4 7 2
+ ----*a23 *b12 *kap *r6248 + ---*b12 *kap *r6248)/(a23*b12 *kap )
9 8
r6205=0
r6206=0
r6207=0
r6208=0
512 7 160 5 2
r6209=( - -----*a23 *r6248 - -----*a23 *b12 *kap*r6248
27 3
136 3 4 2 20 6 3 7 2
- -----*a23 *b12 *kap *r6248 - ----*a23*b12 *kap *r6248)/(b12 *kap )
9 27
512 6 160 4 2 8 2 4 2
-----*a23 *r6248 + -----*a23 *b12 *kap*r6248 + ---*a23 *b12 *kap *r6248
9 9 9
r6210=-------------------------------------------------------------------------
6 4
b12 *kap
r6211=0
r6212
1024 6 320 4 2 16 2 4 2
------*a23 *r6248 + -----*a23 *b12 *kap*r6248 + ----*a23 *b12 *kap *r6248
9 9 9
=---------------------------------------------------------------------------
6 4
b12 *kap
r6213=0
512 6 160 4 2 8 2 4 2
-----*a23 *r6248 + -----*a23 *b12 *kap*r6248 + ---*a23 *b12 *kap *r6248
9 9 9
r6214=-------------------------------------------------------------------------
6 4
b12 *kap
r6215=0
r6216=0
r6217=0
r6218=0
r6219=0
r6220=0
r6221
1024 6 320 4 2 16 2 4 2
------*a23 *r6248 + -----*a23 *b12 *kap*r6248 + ----*a23 *b12 *kap *r6248
9 9 9
=---------------------------------------------------------------------------
6 4
b12 *kap
r6222=0
r6223
1024 6 320 4 2 16 2 4 2
------*a23 *r6248 + -----*a23 *b12 *kap*r6248 + ----*a23 *b12 *kap *r6248
9 9 9
=---------------------------------------------------------------------------
6 4
b12 *kap
r6224=0
r6225=0
r6226=0
r6227=0
512 6 160 4 2 8 2 4 2
-----*a23 *r6248 + -----*a23 *b12 *kap*r6248 + ---*a23 *b12 *kap *r6248
9 9 9
r6228=-------------------------------------------------------------------------
6 4
b12 *kap
r6229=0
r6230=0
r6231=0
r6232=0
r6233=0
r6234=0
r6235=0
1024 5 512 3 2 28 4 2
------*a23 *r6248 + -----*a23 *b12 *kap*r6248 + ----*a23*b12 *kap *r6248
9 9 9
r6236=--------------------------------------------------------------------------
5 3
b12 *kap
r6237=0
1024 5 512 3 2 28 4 2
------*a23 *r6248 + -----*a23 *b12 *kap*r6248 + ----*a23*b12 *kap *r6248
9 9 9
r6238=--------------------------------------------------------------------------
5 3
b12 *kap
r6239=0
r6240=0
r6241=0
r6242=0
2048 7 1664 5 2
r6243=( - ------*a23 *r6248 - ------*a23 *b12 *kap*r6248
9 9
160 3 4 2 4 6 3 7 4
- -----*a23 *b12 *kap *r6248 - ---*a23*b12 *kap *r6248)/(b12 *kap )
9 9
r6244=0
r6245=0
128 4 8 2 2 4 2
-----*a23 *r6248 + ---*a23 *b12 *kap*r6248 + b12 *kap *r6248
3 3
r6246=--------------------------------------------------------------
4 2
b12 *kap
1
---*b12*r6362
8
r6247=---------------
a23
r6249=0
1
r6250=---*r6286
2
r6251=0
r6252=0
256 4 16 2 2 4 2
- -----*a23 *r6248 - ----*a23 *b12 *kap*r6248 + b12 *kap *r6248
3 3
r6253=------------------------------------------------------------------
4 2
b12 *kap
1
---*b12*r6362
8
r6254=---------------
a23
1
r6255=---*r6286
2
4*a23*r6286
r6256=-------------
b12
r6257=0
r6258=0
1280 6 208 4 2 40 2 4 2
r6259=(------*a23 *r6248 + -----*a23 *b12 *kap*r6248 - ----*a23 *b12 *kap *r6248
9 9 9
1 6 3 5 2
- ---*b12 *kap *r6248)/(a23*b12 *kap )
3
r6260= - r6362
- 4*a23*r6286
r6261=----------------
b12
2048 8 1408 6 2
r6262=( - ------*a23 *r6248 - ------*a23 *b12 *kap*r6248
135 45
32 4 4 2 349 2 6 3
+ ----*a23 *b12 *kap *r6248 + -----*a23 *b12 *kap *r6248
5 135
1 8 4 2 6 2
+ ----*b12 *kap *r6248)/(a23 *b12 *kap )
15
4 2 1 2
---*a23 *r6362 - ----*b12 *kap*r6362
3 24
r6263=--------------------------------------
a23*b12
16 2 1 2
----*a23 *r6286 - ---*b12 *kap*r6286
3 6
r6264=--------------------------------------
2
b12
r6265=0
r6266=0
r6267=0
r6268=0
r6269=0
r6270=0
r6271=0
64 3 4 2
----*a23 *r6248 + ---*a23*b12 *kap*r6248
3 3
r6272=------------------------------------------
3 2
b12 *kap
r6273=0
64 3 4 2
----*a23 *r6248 + ---*a23*b12 *kap*r6248
3 3
r6274=------------------------------------------
3 2
b12 *kap
r6275=0
r6276=0
r6277=0
r6278=0
64 3 4 2
----*a23 *r6248 + ---*a23*b12 *kap*r6248
3 3
r6279=------------------------------------------
3 2
b12 *kap
r6280=0
r6281=0
2
- 16*a23 *r6248
r6282=------------------
2
b12 *kap
1
---*b12*r6362
4
r6283=---------------
a23
256 4 64 2 2
- -----*a23 *r6248 - ----*a23 *b12 *kap*r6248
3 3
r6284=------------------------------------------------
4 2
b12 *kap
r6285=0
r6287=0
r6288=0
512 4 80 2 2
- -----*a23 *r6248 - ----*a23 *b12 *kap*r6248
3 3
r6289=------------------------------------------------
4 2
b12 *kap
r6290=0
r6291=0
8*a23*r6286
r6292=-------------
b12
r6293=0
r6294= - r6362
64 3 4 2
- ----*a23 *r6248 - ---*a23*b12 *kap*r6248
3 3
r6295=---------------------------------------------
3
b12 *kap
r6296=0
2*a23*r6362
r6297=-------------
b12
512 6 800 4 2 2 4 2
r6298=( - -----*a23 *r6248 - -----*a23 *b12 *kap*r6248 - 64*a23 *b12 *kap *r6248
3 3
6 3 6 2
- 2*b12 *kap *r6248)/(b12 *kap )
r6299=0
r6300=0
r6301=0
r6302=0
128 4 8 2 2
-----*a23 *r6248 + ---*a23 *b12 *kap*r6248
3 3
r6303=--------------------------------------------
4 2
b12 *kap
1
---*b12*r6362
8
r6304=---------------
a23
r6305=0
r6306=0
r6286
r6307=-------
2
r6308=0
1
---*b12*r6362
8
r6309=---------------
a23
r6286
r6310=-------
2
r6311=0
r6312=0
4*a23*r6286
r6313=-------------
b12
1792 5 560 3 2 28 4 2
------*a23 *r6248 + -----*a23 *b12 *kap*r6248 + ----*a23*b12 *kap *r6248
9 9 9
r6314=--------------------------------------------------------------------------
5 2
b12 *kap
r6315= - 2*r6362
- 4*a23*r6286
r6316=----------------
b12
64 4 2 2 5 4 2
----*a23 *r6248 + 12*a23 *b12 *kap*r6248 + ---*b12 *kap *r6248
3 3
r6317=----------------------------------------------------------------
4
b12 *kap
4*a23*r6362
r6318=-------------
b12
2
8*a23 *r6286
r6319=--------------
2
b12
r6320=0
r6321=0
r6322=0
r6323=0
r6324=0
256 5 80 3 2 4 4 2
-----*a23 *r6248 + ----*a23 *b12 *kap*r6248 + ---*a23*b12 *kap *r6248
3 3 3
r6325=-----------------------------------------------------------------------
5 2
b12 *kap
r6326=0
r6327=0
r6328
26624 6 7552 4 2 224 2 4 2
-------*a23 *r6248 + ------*a23 *b12 *kap*r6248 + -----*a23 *b12 *kap *r6248
9 9 9
=------------------------------------------------------------------------------
6 2
b12 *kap
r6329=0
r6330=0
r6331=0
r6332=0
r6333=0
r6334=0
r6335=0
r6336
640 5 200 3 2 10 4 2
- -----*a23 *r6248 - -----*a23 *b12 *kap*r6248 - ----*a23*b12 *kap *r6248
9 9 9
=----------------------------------------------------------------------------
5 3
b12 *kap
r6337=0
256 5 80 3 2 4 4 2
- -----*a23 *r6248 - ----*a23 *b12 *kap*r6248 - ---*a23*b12 *kap *r6248
3 3 3
r6338=--------------------------------------------------------------------------
5 3
b12 *kap
r6339=0
128 5 40 3 2 2 4 2
- -----*a23 *r6248 - ----*a23 *b12 *kap*r6248 - ---*a23*b12 *kap *r6248
9 9 9
r6340=--------------------------------------------------------------------------
5 3
b12 *kap
r6341=0
r6342=0
r6343=0
r6344=0
256 5 3 2 2 4 2
- -----*a23 *r6248 - 16*a23 *b12 *kap*r6248 - ---*a23*b12 *kap *r6248
3 3
r6345=------------------------------------------------------------------------
5 3
b12 *kap
r6346=0
256 5 16 3 2 2 4 2
- -----*a23 *r6248 + ----*a23 *b12 *kap*r6248 + ---*a23*b12 *kap *r6248
9 9 9
r6347=--------------------------------------------------------------------------
5 3
b12 *kap
r6348=0
r6349=0
128 5 56 3 2 4 4 2
- -----*a23 *r6248 + ----*a23 *b12 *kap*r6248 + ---*a23*b12 *kap *r6248
9 9 9
r6350=--------------------------------------------------------------------------
5 3
b12 *kap
r6351=0
r6352=0
r6353=0
r6354=0
256 4 16 2 2
-----*a23 *r6248 + ----*a23 *b12 *kap*r6248
3 3
r6355=---------------------------------------------
4 2
b12 *kap
r6356=0
r6357=0
r6358=0
r6359=0
128 4 8 2 2
- -----*a23 *r6248 - ---*a23 *b12 *kap*r6248
3 3
r6360=-----------------------------------------------
4 2
b12 *kap
32 4 10 2 2 1 4 2
- ----*a23 *r6248 + ----*a23 *b12 *kap*r6248 + ---*b12 *kap *r6248
3 3 4
r6361=---------------------------------------------------------------------
3
a23*b12 *kap
128 6 56 4 2
r6363=( - -----*a23 *r6248 + ----*a23 *b12 *kap*r6248
9 9
34 2 4 2 1 6 3 5 2
+ ----*a23 *b12 *kap *r6248 + ----*b12 *kap *r6248)/(a23*b12 *kap )
9 12
4*a23*r6286
r6364=-------------
b12
r6365=0
5120 8 1600 6 2
r6366=(------*a23 *r6248 + ------*a23 *b12 *kap*r6248
27 9
88 4 4 2 68 2 6 3
+ ----*a23 *b12 *kap *r6248 + ----*a23 *b12 *kap *r6248
3 27
1 8 4 7 3
+ ----*b12 *kap *r6248)/(a23*b12 *kap )
12
2 1 2
16*a23 *r6286 + ---*b12 *kap*r6286
2
r6367=------------------------------------
2
b12
r6368=0
32 2 5 2
- ----*a23 *r6248 - ---*b12 *kap*r6248
3 3
r6369=-----------------------------------------
2
b12
5120 10 14912 8 2
r6370=(------*a23 *r6248 + -------*a23 *b12 *kap*r6248
81 405
1024 6 4 2 964 4 6 3
+ ------*a23 *b12 *kap *r6248 + -----*a23 *b12 *kap *r6248
45 405
439 2 8 4 1 10 5 3 7 2
- ------*a23 *b12 *kap *r6248 - -----*b12 *kap *r6248)/(a23 *b12 *kap )
1620 180
r6371=0
r6372=0
r6373=0
r6374=0
r6375=0
256 4 16 2 2
-----*a23 *r6248 + ----*a23 *b12 *kap*r6248
3 3
r6376=---------------------------------------------
4 2
b12 *kap
r6377=0
r6378=0
r6379=0
r6380=0
r6381=0
512 5 32 3 2 4 2
-----*a23 *r6248 + ----*a23 *b12 *kap*r6248 - 4*a23*b12 *kap *r6248
3 3
r6382=---------------------------------------------------------------------
5 2
b12 *kap
r6383=r6362
r6384=0
4*a23*r6286
r6385=-------------
b12
r6386=0
r6387=0
2 1 2
16*a23 *r6286 + ---*b12 *kap*r6286
2
r6388=------------------------------------
2
b12
2 1 2
- 4*a23 *r6362 - ---*b12 *kap*r6362
8
r6389=--------------------------------------
a23*b12
2 1 2
8*a23 *r6362 + ---*b12 *kap*r6362
4
r6390=-----------------------------------
2
b12
512 7 5 2
r6391=( - -----*a23 *r6248 - 160*a23 *b12 *kap*r6248
9
136 3 4 2 20 6 3 7 3
- -----*a23 *b12 *kap *r6248 - ----*a23*b12 *kap *r6248)/(b12 *kap )
3 9
r6392=0
512 7 5 2
r6393=( - -----*a23 *r6248 - 160*a23 *b12 *kap*r6248
9
200 3 4 2 50 6 3 7 3
- -----*a23 *b12 *kap *r6248 - ----*a23*b12 *kap *r6248)/(b12 *kap )
3 9
r6394=0
r6395=0
512 7 352 5 2
r6396=( - -----*a23 *r6248 - -----*a23 *b12 *kap*r6248
9 3
128 3 4 2 38 6 3 7 3
- -----*a23 *b12 *kap *r6248 - ----*a23*b12 *kap *r6248)/(b12 *kap )
3 9
r6397=0
r6398=0
256 6 4 2 4 2 4 2
r6399=( - -----*a23 *r6248 + 16*a23 *b12 *kap*r6248 + ---*a23 *b12 *kap *r6248
27 9
28 6 3 6 2
- ----*b12 *kap *r6248)/(b12 *kap )
27
16 4 2 2 5 4 2
- ----*a23 *r6248 - 3*a23 *b12 *kap*r6248 - ----*b12 *kap *r6248
3 12
r6400=-------------------------------------------------------------------
3
a23*b12
r6401=0
r6402=0
r6403=0
r6404=0
1024 7 320 5 2
r6405=( - ------*a23 *r6248 - -----*a23 *b12 *kap*r6248
27 3
272 3 4 2 40 6 3 7 2
- -----*a23 *b12 *kap *r6248 - ----*a23*b12 *kap *r6248)/(b12 *kap )
9 27
r6406=0
r6407=0
r6408=0
r6409=0
r6410=0
r6411=0
r6412=0
128 4 8 2 2
-----*a23 *r6248 + ---*a23 *b12 *kap*r6248
3 3
r6413=--------------------------------------------
4 2
b12 *kap
r6414=0
r6415=0
r6416=0
r6417=0
r6418=0
2560 5 608 3 2 28 4 2
------*a23 *r6248 + -----*a23 *b12 *kap*r6248 + ----*a23*b12 *kap *r6248
9 9 9
r6419=--------------------------------------------------------------------------
5 2
b12 *kap
r6420=0
r6421=0
32 2 5 2
----*a23 *r6248 + ---*b12 *kap*r6248
3 3
r6422=--------------------------------------
2
b12
2 1 2
4*a23 *r6362 + ---*b12 *kap*r6362
8
r6423=-----------------------------------
a23*b12
2 1 2
16*a23 *r6286 + ---*b12 *kap*r6286
2
r6424=------------------------------------
2
b12
r6425=0
r6426=0
r6427=0
r6428=0
r6429=0
64 3 4 2
- ----*a23 *r6248 - ---*a23*b12 *kap*r6248
3 3
r6430=---------------------------------------------
3
b12 *kap
r6431=0
r6432=0
256 6 4 2 4 2 4 2
r6433=(-----*a23 *r6248 - 16*a23 *b12 *kap*r6248 - ---*a23 *b12 *kap *r6248
27 9
28 6 3 6 2
+ ----*b12 *kap *r6248)/(b12 *kap )
27
r6434=0
r6435=0
r6436=0
r6437=0
r6438=0
r6439=0
r6440=0
r6441
640 5 200 3 2 10 4 2
- -----*a23 *r6248 - -----*a23 *b12 *kap*r6248 - ----*a23*b12 *kap *r6248
9 9 9
=----------------------------------------------------------------------------
5 2
b12 *kap
r6442=0
r6443=0
r6444=0
r6445=0
32 3 2 2
- ----*a23 *r6248 - ---*a23*b12 *kap*r6248
3 3
r6446=---------------------------------------------
3
b12 *kap
r6447=0
r6448=0
r6449=0
2560 8 160 6 2
r6450=(------*a23 *r6248 + -----*a23 *b12 *kap*r6248
27 3
272 4 4 2 154 2 6 3
+ -----*a23 *b12 *kap *r6248 + -----*a23 *b12 *kap *r6248
9 27
1 8 4 7 2
+ ---*b12 *kap *r6248)/(a23*b12 *kap )
8
r6451=0
r6452=0
r6453=0
r6454=0
512 7 160 5 2
r6455=( - -----*a23 *r6248 - -----*a23 *b12 *kap*r6248
27 3
136 3 4 2 20 6 3 7 2
- -----*a23 *b12 *kap *r6248 - ----*a23*b12 *kap *r6248)/(b12 *kap )
9 27
r6456=0
r6457=0
r6458=0
r6459=0
r6460=0
r6461=0
a33=0
a22=0
a13=0
a11=0
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:
r6248, r6286, r6362, a23, 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.
2 2
{a23 + b12 *kap,
2 2
4*a23 + b12 *kap,
a23,
b12,
512 8 160 6 2 2 136 4 4 3
{-----*a23 *kap*r6248 + -----*a23 *b12 *kap *r6248 + -----*a23 *b12 *kap *r6248
27 3 9
20 2 6 4
+ ----*a23 *b12 *kap *r6248,
27
2560 8 160 6 2 2
------*a23 *kap*r6248 + -----*a23 *b12 *kap *r6248
27 3
272 4 4 3 154 2 6 4
+ -----*a23 *b12 *kap *r6248 + -----*a23 *b12 *kap *r6248
9 27
1 8 5
+ ---*b12 *kap *r6248,
8
32 4 2 2 2 2
----*a23 *kap*r6248 + ---*a23 *b12 *kap *r6248,
3 3
640 6 200 4 2 2 10 2 4 3
-----*a23 *kap*r6248 + -----*a23 *b12 *kap *r6248 + ----*a23 *b12 *kap *r6248,
9 9 9
256 9 7 2 2 4 5 4 3
-----*a23 *kap*r6248 - 16*a23 *b12 *kap *r6248 - ---*a23 *b12 *kap *r6248
27 9
28 3 6 4
+ ----*a23 *b12 *kap *r6248,
27
64 5 4 3 3 2
----*a23 *b12*kap*r6248 + ---*a23 *b12 *kap *r6248,
3 3
5 3 3
128*a23 *b12*r6286 + 4*a23 *b12 *kap*r6286,
3 4 1 6 2
4*a23 *b12 *kap*r6362 + ---*a23*b12 *kap *r6362,
8
32 4 2 2 5 2 4 3
----*a23 *b12 *kap *r6248 + ---*a23 *b12 *kap *r6248,
3 3
2560 6 608 4 2 2 28 2 4 3
------*a23 *kap*r6248 + -----*a23 *b12 *kap *r6248 + ----*a23 *b12 *kap *r6248
9 9 9
,
128 4 8 2 2 2
-----*a23 *kap*r6248 + ---*a23 *b12 *kap *r6248,
3 3
1024 8 320 6 2 2
------*a23 *kap*r6248 + -----*a23 *b12 *kap *r6248
27 3
272 4 4 3 40 2 6 4
+ -----*a23 *b12 *kap *r6248 + ----*a23 *b12 *kap *r6248,
9 27
16 4 2 3 2 5 5 3
----*a23 *b12*kap*r6248 + 3*a23 *b12 *kap *r6248 + ----*b12 *kap *r6248,
3 12
256 9 7 2 2 4 5 4 3
-----*a23 *kap*r6248 - 16*a23 *b12 *kap *r6248 - ---*a23 *b12 *kap *r6248
27 9
28 3 6 4
+ ----*a23 *b12 *kap *r6248,
27
512 9 352 7 2 2 128 5 4 3
-----*a23 *kap*r6248 + -----*a23 *b12 *kap *r6248 + -----*a23 *b12 *kap *r6248
9 3 3
38 3 6 4
+ ----*a23 *b12 *kap *r6248,
9
512 8 6 2 2 200 4 4 3
-----*a23 *kap*r6248 + 160*a23 *b12 *kap *r6248 + -----*a23 *b12 *kap *r6248
9 3
50 2 6 4
+ ----*a23 *b12 *kap *r6248,
9
512 9 7 2 2 136 5 4 3
-----*a23 *kap*r6248 + 160*a23 *b12 *kap *r6248 + -----*a23 *b12 *kap *r6248
9 3
20 3 6 4
+ ----*a23 *b12 *kap *r6248,
9
4 4 1 2 6 2
8*a23 *b12 *kap*r6362 + ---*a23 *b12 *kap *r6362,
4
2 4 1 6 2
4*a23 *b12 *kap*r6362 + ---*b12 *kap *r6362,
8
5 3 3
128*a23 *b12*r6286 + 4*a23 *b12 *kap*r6286,
4*a23*b12*r6286,
2 4
a23 *b12 *kap*r6362,
512 6 32 4 2 2 2 4 3
-----*a23 *kap*r6248 + ----*a23 *b12 *kap *r6248 - 4*a23 *b12 *kap *r6248,
3 3
256 4 16 2 2 2
-----*a23 *kap*r6248 + ----*a23 *b12 *kap *r6248,
3 3
5120 12 14912 10 2 2
------*a23 *kap*r6248 + -------*a23 *b12 *kap *r6248
81 405
1024 8 4 3 964 6 6 4
+ ------*a23 *b12 *kap *r6248 + -----*a23 *b12 *kap *r6248
45 405
439 4 8 5 1 2 10 6
- ------*a23 *b12 *kap *r6248 - -----*a23 *b12 *kap *r6248,
1620 180
32 2 2 2 5 4 3
----*a23 *b12 *kap *r6248 + ---*b12 *kap *r6248,
3 3
5 3 3
128*a23 *b12*r6286 + 4*a23 *b12 *kap*r6286,
5120 8 1600 6 2 2
------*a23 *kap*r6248 + ------*a23 *b12 *kap *r6248
27 9
88 4 4 3 68 2 6 4
+ ----*a23 *b12 *kap *r6248 + ----*a23 *b12 *kap *r6248
3 27
1 8 5
+ ----*b12 *kap *r6248,
12
5
4*a23 *b12*r6286,
128 6 56 4 3 2
-----*a23 *b12*kap*r6248 - ----*a23 *b12 *kap *r6248
9 9
34 2 5 3 1 7 4
- ----*a23 *b12 *kap *r6248 - ----*b12 *kap *r6248,
9 12
r6362,
32 4 3 10 2 5 2 1 7 3
----*a23 *b12 *kap*r6248 - ----*a23 *b12 *kap *r6248 - ---*b12 *kap *r6248,
3 3 4
128 4 8 2 2 2
-----*a23 *kap*r6248 + ---*a23 *b12 *kap *r6248,
3 3
256 4 16 2 2 2
-----*a23 *kap*r6248 + ----*a23 *b12 *kap *r6248,
3 3
128 6 56 4 2 2 4 2 4 3
-----*a23 *kap*r6248 - ----*a23 *b12 *kap *r6248 - ---*a23 *b12 *kap *r6248,
9 9 9
256 6 16 4 2 2 2 2 4 3
-----*a23 *kap*r6248 - ----*a23 *b12 *kap *r6248 - ---*a23 *b12 *kap *r6248,
9 9 9
256 6 4 2 2 2 2 4 3
-----*a23 *kap*r6248 + 16*a23 *b12 *kap *r6248 + ---*a23 *b12 *kap *r6248,
3 3
128 6 40 4 2 2 2 2 4 3
-----*a23 *kap*r6248 + ----*a23 *b12 *kap *r6248 + ---*a23 *b12 *kap *r6248,
9 9 9
256 6 80 4 2 2 4 2 4 3
-----*a23 *kap*r6248 + ----*a23 *b12 *kap *r6248 + ---*a23 *b12 *kap *r6248,
3 3 3
640 6 200 4 2 2 10 2 4 3
-----*a23 *kap*r6248 + -----*a23 *b12 *kap *r6248 + ----*a23 *b12 *kap *r6248,
9 9 9
26624 6 7552 4 2 2
-------*a23 *kap*r6248 + ------*a23 *b12 *kap *r6248
9 9
224 2 4 3
+ -----*a23 *b12 *kap *r6248,
9
256 6 80 4 2 2 4 2 4 3
-----*a23 *kap*r6248 + ----*a23 *b12 *kap *r6248 + ---*a23 *b12 *kap *r6248,
3 3 3
3
64*a23 *b12*r6286,
4 4
4*a23 *b12 *kap*r6362,
64 4 2 2 2 5 4 3
----*a23 *kap*r6248 + 12*a23 *b12 *kap *r6248 + ---*b12 *kap *r6248,
3 3
4*a23*b12*r6286,
2 4
2*a23 *b12 *kap*r6362,
1792 6 560 4 2 2 28 2 4 3
------*a23 *kap*r6248 + -----*a23 *b12 *kap *r6248 + ----*a23 *b12 *kap *r6248
9 9 9
,
2
4*a23 *b12*kap*r6286,
a23*b12*r6286,
1 2 4
---*a23 *b12 *kap*r6362,
8
a23*b12*r6286,
1 2 4
---*a23 *b12 *kap*r6362,
8
128 4 8 2 2 2
-----*a23 *kap*r6248 + ---*a23 *b12 *kap *r6248,
3 3
512 7 800 5 2 2 3 4 3
-----*a23 *kap*r6248 + -----*a23 *b12 *kap *r6248 + 64*a23 *b12 *kap *r6248
3 3
6 4
+ 2*a23*b12 *kap *r6248,
2
2*a23 *b12*r6362,
64 4 4 2 2 2
----*a23 *kap*r6248 + ---*a23 *b12 *kap *r6248,
3 3
4
a23*b12 *kap*r6362,
8*a23*b12*r6286,
512 4 80 2 2 2
-----*a23 *kap*r6248 + ----*a23 *b12 *kap *r6248,
3 3
r6286,
256 4 64 2 2 2
-----*a23 *kap*r6248 + ----*a23 *b12 *kap *r6248,
3 3
1 2 2
---*a23 *b12 *r6362,
4
3
16*a23 *kap*r6248,
64 4 4 2 2 2
----*a23 *kap*r6248 + ---*a23 *b12 *kap *r6248,
3 3
64 4 4 2 2 2
----*a23 *kap*r6248 + ---*a23 *b12 *kap *r6248,
3 3
64 4 4 2 2 2
----*a23 *kap*r6248 + ---*a23 *b12 *kap *r6248,
3 3
5 3 3
128*a23 *b12*r6286 - 4*a23 *b12 *kap*r6286,
4 6 4 1 4 6 2
---*a23 *b12 *kap*r6362 - ----*a23 *b12 *kap *r6362,
3 24
2048 10 1408 8 2 2
------*a23 *kap*r6248 + ------*a23 *b12 *kap *r6248
135 45
32 6 4 3 349 4 6 4
- ----*a23 *b12 *kap *r6248 - -----*a23 *b12 *kap *r6248
5 135
1 2 8 5
- ----*a23 *b12 *kap *r6248,
15
4*a23*r6286,
a23*b12*r6362,
1280 6 208 4 2 2 40 2 4 3
------*a23 *kap*r6248 + -----*a23 *b12 *kap *r6248 - ----*a23 *b12 *kap *r6248
9 9 9
1 6 4
- ---*b12 *kap *r6248,
3
4*a23*r6286,
4*a23*b12*r6286,
1 4
---*b12 *kap*r6362,
8
256 5 16 3 2 2 4 3
-----*a23 *kap*r6248 + ----*a23 *b12 *kap *r6248 - a23*b12 *kap *r6248,
3 3
4*a23*b12*r6286,
r6248,
1 2
---*b12 *r6362,
8
128 5 8 3 2 2 4 3
-----*a23 *kap*r6248 + ---*a23 *b12 *kap *r6248 + a23*b12 *kap *r6248,
3 3
2048 8 1664 6 2 2
------*a23 *kap*r6248 + ------*a23 *b12 *kap *r6248
9 9
160 4 4 3 4 2 6 4
+ -----*a23 *b12 *kap *r6248 + ---*a23 *b12 *kap *r6248,
9 9
1024 6 512 4 2 2 28 2 4 3
------*a23 *kap*r6248 + -----*a23 *b12 *kap *r6248 + ----*a23 *b12 *kap *r6248
9 9 9
,
1024 6 512 4 2 2 28 2 4 3
------*a23 *kap*r6248 + -----*a23 *b12 *kap *r6248 + ----*a23 *b12 *kap *r6248
9 9 9
,
512 6 160 4 2 2 8 2 4 3
-----*a23 *kap*r6248 + -----*a23 *b12 *kap *r6248 + ---*a23 *b12 *kap *r6248,
9 9 9
1024 6 320 4 2 2 16 2 4 3
------*a23 *kap*r6248 + -----*a23 *b12 *kap *r6248 + ----*a23 *b12 *kap *r6248
9 9 9
,
1024 6 320 4 2 2 16 2 4 3
------*a23 *kap*r6248 + -----*a23 *b12 *kap *r6248 + ----*a23 *b12 *kap *r6248
9 9 9
,
512 6 160 4 2 2 8 2 4 3
-----*a23 *kap*r6248 + -----*a23 *b12 *kap *r6248 + ---*a23 *b12 *kap *r6248,
9 9 9
1024 6 320 4 2 2 16 2 4 3
------*a23 *kap*r6248 + -----*a23 *b12 *kap *r6248 + ----*a23 *b12 *kap *r6248
9 9 9
,
512 6 160 4 2 2 8 2 4 3
-----*a23 *kap*r6248 + -----*a23 *b12 *kap *r6248 + ---*a23 *b12 *kap *r6248,
9 9 9
512 8 160 6 2 2 136 4 4 3
-----*a23 *kap*r6248 + -----*a23 *b12 *kap *r6248 + -----*a23 *b12 *kap *r6248
27 3 9
20 2 6 4
+ ----*a23 *b12 *kap *r6248,
27
13312 8 1120 6 2 2 4 4 3
-------*a23 *kap*r6248 + ------*a23 *b12 *kap *r6248 + 14*a23 *b12 *kap *r6248
9 3
34 2 6 4 1 8 5
+ ----*a23 *b12 *kap *r6248 + ---*b12 *kap *r6248,
9 8
26624 8 7552 6 2 2
-------*a23 *kap*r6248 + ------*a23 *b12 *kap *r6248
9 9
224 4 4 3
+ -----*a23 *b12 *kap *r6248,
9
512 8 6 2 2 4 4 3
-----*a23 *kap*r6248 + 160*a23 *b12 *kap *r6248 + 56*a23 *b12 *kap *r6248
9
44 2 6 4
+ ----*a23 *b12 *kap *r6248,
9
512 8 352 6 2 2 128 4 4 3
-----*a23 *kap*r6248 + -----*a23 *b12 *kap *r6248 + -----*a23 *b12 *kap *r6248
9 3 3
38 2 6 4
+ ----*a23 *b12 *kap *r6248,
9
512 8 6 2 2 136 4 4 3
-----*a23 *kap*r6248 + 160*a23 *b12 *kap *r6248 + -----*a23 *b12 *kap *r6248
9 3
20 2 6 4
+ ----*a23 *b12 *kap *r6248,
9
4 4
4*a23 *b12 *kap*r6362,
4 4
4*a23 *b12 *kap*r6362,
3
64*a23 *b12*kap*r6286,
5 2 6 2
---*a23 *b12 *kap *r6362,
4
2
4*a23 *b12*kap*r6286,
1 2 6 2
---*a23 *b12 *kap *r6362,
4
256 6 16 4 2 2 2 4 3
-----*a23 *kap*r6248 + ----*a23 *b12 *kap *r6248 - 4*a23 *b12 *kap *r6248,
3 3
1 2 4
---*a23 *b12 *kap*r6362,
8
a23*b12*r6286,
1 2 4
---*a23 *b12 *kap*r6362,
8
a23*b12*r6286,
25088 12 117344 10 2 2
-------*a23 *kap*r6248 + --------*a23 *b12 *kap *r6248
135 405
1616 8 4 3 347 6 6 4
+ ------*a23 *b12 *kap *r6248 - -----*a23 *b12 *kap *r6248
45 45
637 4 8 5 1 2 10 6
- ------*a23 *b12 *kap *r6248 - -----*a23 *b12 *kap *r6248,
1620 180
512 8 736 6 2 2 4 4 3
-----*a23 *kap*r6248 + -----*a23 *b12 *kap *r6248 + 52*a23 *b12 *kap *r6248
3 3
1 2 6 4
+ ---*a23 *b12 *kap *r6248,
3
3
64*a23 *b12*r6286,
1408 6 488 4 3 2
------*a23 *b12*kap*r6248 + -----*a23 *b12 *kap *r6248
9 9
31 2 5 3 1 7 4
+ ----*a23 *b12 *kap *r6248 - ----*b12 *kap *r6248,
9 12
4*a23*b12*r6286,
896 6 328 4 3 2
-----*a23 *b12*kap*r6248 + -----*a23 *b12 *kap *r6248
9 9
5 2 5 3 1 7 4
+ ---*a23 *b12 *kap *r6248 - ----*b12 *kap *r6248,
9 12
1 2 2
---*a23 *b12 *r6362,
2
640 6 56 4 3 2
-----*a23 *b12*kap*r6248 + ----*a23 *b12 *kap *r6248
9 9
35 2 5 3 1 7 4
- ----*a23 *b12 *kap *r6248 - ---*b12 *kap *r6248,
9 4
4096 8 1792 6 2 2
------*a23 *kap*r6248 + ------*a23 *b12 *kap *r6248
9 3
704 4 4 3 256 2 6 4
+ -----*a23 *b12 *kap *r6248 + -----*a23 *b12 *kap *r6248,
3 9
a23*b12*r6286,
128 4 56 2 2 2
-----*a23 *kap*r6248 + ----*a23 *b12 *kap *r6248,
3 3
1 2 2
---*a23 *b12 *r6362,
4
256 4 64 2 2 2
-----*a23 *kap*r6248 + ----*a23 *b12 *kap *r6248,
3 3
3*a23*b12*r6286,
512 8 544 6 2 2 32 4 4 3
-----*a23 *kap*r6248 + -----*a23 *b12 *kap *r6248 + ----*a23 *b12 *kap *r6248
9 9 9
2 6 4
- 2*a23 *b12 *kap *r6248,
1024 8 1088 6 2 2
------*a23 *kap*r6248 + ------*a23 *b12 *kap *r6248
9 9
160 4 4 3 10 2 6 4
+ -----*a23 *b12 *kap *r6248 - ----*a23 *b12 *kap *r6248,
9 3
1024 8 1088 6 2 2
------*a23 *kap*r6248 + ------*a23 *b12 *kap *r6248
9 9
160 4 4 3 4 2 6 4
+ -----*a23 *b12 *kap *r6248 - ---*a23 *b12 *kap *r6248,
9 3
512 8 544 6 2 2 128 4 4 3
-----*a23 *kap*r6248 + -----*a23 *b12 *kap *r6248 + -----*a23 *b12 *kap *r6248
9 9 9
4 2 6 4
- ---*a23 *b12 *kap *r6248,
3
1024 8 1088 6 2 2
------*a23 *kap*r6248 + ------*a23 *b12 *kap *r6248
9 9
256 4 4 3 2 2 6 4
+ -----*a23 *b12 *kap *r6248 - ---*a23 *b12 *kap *r6248,
9 3
512 8 6 2 2 136 4 4 3
-----*a23 *kap*r6248 + 160*a23 *b12 *kap *r6248 + -----*a23 *b12 *kap *r6248
9 3
20 2 6 4
+ ----*a23 *b12 *kap *r6248,
9
8 6 4 1 4 6 2
---*a23 *b12 *kap*r6362 - ----*a23 *b12 *kap *r6362,
3 12
10 6 4 1 4 6 2
----*a23 *b12 *kap*r6362 - ----*a23 *b12 *kap *r6362,
3 24
5 3 3
128*a23 *b12*r6286 - 4*a23 *b12 *kap*r6286,
5 4
---*a23*b12 *kap*r6362,
4
4*a23*b12*r6286,
256 6 496 4 2 2 116 2 4 3
-----*a23 *kap*r6248 - -----*a23 *b12 *kap *r6248 - -----*a23 *b12 *kap *r6248
9 9 9
1 6 4
- ---*b12 *kap *r6248,
3
1 2
---*b12 *r6362,
4
1 4
---*b12 *kap*r6362,
8
4*a23*b12*r6286,
256 4 16 2 2 2
-----*a23 *kap*r6248 + ----*a23 *b12 *kap *r6248,
3 3
1 2
---*b12 *r6362,
8
12*a23*b12*r6286,
4*a23*r6248,
4*a23*r6248,
2
4*a23 *r6248,
1280 12 4112 10 2 2
------*a23 *kap*r6248 + ------*a23 *b12 *kap *r6248
81 405
344 8 4 3 79 6 6 4
+ -----*a23 *b12 *kap *r6248 + -----*a23 *b12 *kap *r6248
45 405
743 4 8 5 1 2 10 6
- ------*a23 *b12 *kap *r6248 - -----*a23 *b12 *kap *r6248,
3240 180
2048 10 1408 8 2 2
------*a23 *kap*r6248 + ------*a23 *b12 *kap *r6248
135 45
32 6 4 3 349 4 6 4
- ----*a23 *b12 *kap *r6248 - -----*a23 *b12 *kap *r6248
5 135
1 2 8 5
- ----*a23 *b12 *kap *r6248,
15
5 3 3
128*a23 *b12*r6286 - 4*a23 *b12 *kap*r6286,
19712 10 784 8 3 2
-------*a23 *b12*kap*r6248 + -----*a23 *b12 *kap *r6248
405 45
392 6 5 3 529 4 7 4
- -----*a23 *b12 *kap *r6248 - ------*a23 *b12 *kap *r6248
135 1620
1 2 9 5
- -----*a23 *b12 *kap *r6248,
180
4*a23*r6286,
3328 10 976 8 3 2
------*a23 *b12*kap*r6248 + -----*a23 *b12 *kap *r6248
405 45
962 6 5 3 529 4 7 4
+ -----*a23 *b12 *kap *r6248 + ------*a23 *b12 *kap *r6248
135 1620
1 2 9 5
+ -----*a23 *b12 *kap *r6248,
180
9088 10 88 8 3 2
------*a23 *b12*kap*r6248 - ----*a23 *b12 *kap *r6248
405 15
92 6 5 3 259 4 7 4
+ -----*a23 *b12 *kap *r6248 + ------*a23 *b12 *kap *r6248
135 1620
1 2 9 5
+ -----*a23 *b12 *kap *r6248,
180
a23*r6248,
4*a23*b12*r6286,
a23*r6248,
128 5 8 3 2 2 4 3
-----*a23 *kap*r6248 + ---*a23 *b12 *kap *r6248 + a23*b12 *kap *r6248,
3 3
4*a23*b12*r6286,
512 8 32 6 2 2 32 4 4 3
-----*a23 *kap*r6248 + ----*a23 *b12 *kap *r6248 - ----*a23 *b12 *kap *r6248
9 9 9
2 2 6 4 1 8 5
- ---*a23 *b12 *kap *r6248 + ---*b12 *kap *r6248,
9 8
256 6 4 3 2 4 2 5 3
-----*a23 *b12*kap*r6248 + 16*a23 *b12 *kap *r6248 - ---*a23 *b12 *kap *r6248
3 3
1 7 4
- ---*b12 *kap *r6248,
4
256 6 4 3 2 2 2 5 3
-----*a23 *b12*kap*r6248 + 16*a23 *b12 *kap *r6248 + ---*a23 *b12 *kap *r6248
3 3
1 7 4
- ---*b12 *kap *r6248,
4
128 6 56 4 3 2
-----*a23 *b12*kap*r6248 - ----*a23 *b12 *kap *r6248
9 9
22 2 5 3 1 7 4
- ----*a23 *b12 *kap *r6248 - ---*b12 *kap *r6248,
9 8
256 6 112 4 3 2
-----*a23 *b12*kap*r6248 - -----*a23 *b12 *kap *r6248
9 9
26 2 5 3 1 7 4
- ----*a23 *b12 *kap *r6248 - ---*b12 *kap *r6248,
9 4
128 6 56 4 3 2
-----*a23 *b12*kap*r6248 - ----*a23 *b12 *kap *r6248
9 9
4 2 5 3 1 7 4
- ---*a23 *b12 *kap *r6248 - ---*b12 *kap *r6248,
9 8
512 6 160 4 2 2 8 2 4 3
-----*a23 *kap*r6248 + -----*a23 *b12 *kap *r6248 + ---*a23 *b12 *kap *r6248,
9 9 9
1024 6 320 4 2 2 16 2 4 3
------*a23 *kap*r6248 + -----*a23 *b12 *kap *r6248 + ----*a23 *b12 *kap *r6248
9 9 9
,
1024 6 320 4 2 2 16 2 4 3
------*a23 *kap*r6248 + -----*a23 *b12 *kap *r6248 + ----*a23 *b12 *kap *r6248
9 9 9
,
512 6 160 4 2 2 8 2 4 3
-----*a23 *kap*r6248 + -----*a23 *b12 *kap *r6248 + ---*a23 *b12 *kap *r6248,
9 9 9
1024 6 320 4 2 2 16 2 4 3
------*a23 *kap*r6248 + -----*a23 *b12 *kap *r6248 + ----*a23 *b12 *kap *r6248
9 9 9
,
512 6 160 4 2 2 8 2 4 3
-----*a23 *kap*r6248 + -----*a23 *b12 *kap *r6248 + ---*a23 *b12 *kap *r6248,
9 9 9
128 6 40 4 2 2 2 2 4 3
-----*a23 *kap*r6248 + ----*a23 *b12 *kap *r6248 + ---*a23 *b12 *kap *r6248,
9 9 9
128 6 40 4 2 2 2 2 4 3
-----*a23 *kap*r6248 + ----*a23 *b12 *kap *r6248 + ---*a23 *b12 *kap *r6248,
3 3 3
128 6 40 4 2 2 2 2 4 3
-----*a23 *kap*r6248 + ----*a23 *b12 *kap *r6248 + ---*a23 *b12 *kap *r6248,
3 3 3
128 6 40 4 2 2 2 2 4 3
-----*a23 *kap*r6248 + ----*a23 *b12 *kap *r6248 + ---*a23 *b12 *kap *r6248,
3 3 3
256 6 80 4 2 2 4 2 4 3
-----*a23 *kap*r6248 + ----*a23 *b12 *kap *r6248 + ---*a23 *b12 *kap *r6248,
3 3 3
128 6 40 4 2 2 2 2 4 3
-----*a23 *kap*r6248 + ----*a23 *b12 *kap *r6248 + ---*a23 *b12 *kap *r6248,
3 3 3
128 6 40 4 2 2 2 2 4 3
-----*a23 *kap*r6248 + ----*a23 *b12 *kap *r6248 + ---*a23 *b12 *kap *r6248,
9 9 9
128 6 40 4 2 2 2 2 4 3
-----*a23 *kap*r6248 + ----*a23 *b12 *kap *r6248 + ---*a23 *b12 *kap *r6248,
3 3 3
128 6 40 4 2 2 2 2 4 3
-----*a23 *kap*r6248 + ----*a23 *b12 *kap *r6248 + ---*a23 *b12 *kap *r6248,
3 3 3
128 6 40 4 2 2 2 2 4 3
-----*a23 *kap*r6248 + ----*a23 *b12 *kap *r6248 + ---*a23 *b12 *kap *r6248}}
3 3 3
Relevance for the application:
Modulo the following equation:
2 2
0=16*a23 + b12 *kap
the system of equations related to the Hamiltonian HAM:
HAM=u1*v2*b12 + 2*u2*u3*a23 - u2*v1*b12
has apart from the Hamiltonian and Casimirs the following 0 first integrals:
And again in machine readable form:
HAM=u1*v2*b12 + 2*u2*u3*a23 - u2*v1*b12$