Solution 35 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:
r60=0
r61=0
r62=0
r63=0
r64=0
r65=0
r66=0
r67=0
r68=0
r69=0
r610=0
r611=0
r612=0
r613=0
r614=0
r615=0
r616=0
r617=0
r618=0
r619=0
r620=0
r621=0
r622=0
r623=0
r624=0
r625=0
r626=0
r627=0
r628=0
r629=0
r630=0
r631=0
r632=0
r633=0
r634=0
r635=0
r636=0
r637=0
r638=0
r639=0
r640=0
r641=0
r642=0
r643=0
r644=0
r645=0
r646=0
r647=0
r648=0
2 2 1 2
- ---*a23 *r6317 + ----*b12 *kap*r6317
3 12
r649=-----------------------------------------
2
a23*b12*kap
r650=0
4 2 1 2
- ---*a23 *r6317 + ----*b12 *kap*r6317
3 24
r651=-----------------------------------------
2
a23*b12*kap
r652=0
2 2 1 2
- ---*a23 *r6317 - ----*b12 *kap*r6317
3 24
r653=-----------------------------------------
2
a23*b12*kap
r654=0
r655=0
r656=0
r657=0
2 2 5 2
- ---*a23 *r6317 + ----*b12 *kap*r6317
3 24
r658=-----------------------------------------
2
a23*b12*kap
r659=0
2 2 1 2
- ---*a23 *r6317 + ----*b12 *kap*r6317
3 12
r660=-----------------------------------------
2
a23*b12*kap
r661=0
r662=0
1
---*b12*r6317
8
r663=---------------
a23*kap
1
r664=---*r6286
2
r665=0
r666=0
r667=0
8 2 5 2
---*a23 *r6317 - ---*b12 *kap*r6317
3 6
r668=-------------------------------------
2 2
b12 *kap
r669=0
- r6317
r670=----------
kap
1
r671=---*r6286
2
r672=0
- r6317
r673=----------
kap
128 6 110 4 2
r674=( - -----*a23 *r6317 + -----*a23 *b12 *kap*r6317
45 81
511 2 4 2 5 6 3 3 3 2
+ ------*a23 *b12 *kap *r6317 + ------*b12 *kap *r6317)/(a23 *b12 *kap )
3240 1296
r675=0
8 6 139 4 2
r676=( - ----*a23 *r6317 + -----*a23 *b12 *kap*r6317
45 162
29 2 4 2 5 6 3 3 3 2
- ------*a23 *b12 *kap *r6317 + ------*b12 *kap *r6317)/(a23 *b12 *kap )
3240 1296
- 4*a23*r6286
r677=----------------
b12
r678=0
8 6 679 4 2
r679=( - ----*a23 *r6317 + -----*a23 *b12 *kap*r6317
45 162
1051 2 4 2 5 6 3 3 3 2
+ ------*a23 *b12 *kap *r6317 + ------*b12 *kap *r6317)/(a23 *b12 *kap )
3240 1296
16 2 1 2
----*a23 *r6286 - ---*b12 *kap*r6286
3 6
r680=--------------------------------------
2
b12
r681=0
32 6 350 4 2 691 2 4 2
r682=(----*a23 *r6317 - -----*a23 *b12 *kap*r6317 - -----*a23 *b12 *kap *r6317
15 27 270
5 6 3 2 4 2
- -----*b12 *kap *r6317)/(a23 *b12 *kap )
108
56 6 67 4 2 92 2 4 2
r683=(----*a23 *r6317 - -----*a23 *b12 *kap*r6317 - -----*a23 *b12 *kap *r6317
15 162 405
5 6 3 3 3
- ------*b12 *kap *r6317)/(a23 *b12 *kap)
1296
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
1
---*b12*r6317
4
r6106=---------------
a23*kap
r6107=0
1
---*b12*r6317
4
r6108=---------------
a23*kap
r6109=0
r6110=0
r6111=0
r6112=0
r6113=0
r6114=0
1
---*b12*r6317
4
r6115=---------------
a23*kap
r6116=0
r6117=0
r6118=0
r6119=0
r6120=0
3
r6121=---*r6286
2
r6122=0
r6123=0
- b12*r6362
r6124=--------------
8*a23
16 2 1 2
----*a23 *r6317 + ---*b12 *kap*r6317
3 3
r6125=--------------------------------------
2 2
b12 *kap
r6126=0
r6127=0
1
r6128=---*r6286
2
- b12*r6362
r6129=--------------
8*a23
r6362
r6130=-------
4
16 4 2 2 1 4 2
- ----*a23 *r6317 + a23 *b12 *kap*r6317 + ---*b12 *kap *r6317
3 3
r6131=----------------------------------------------------------------
3 2
a23*b12 *kap
r6132=0
r6133=0
- 4*a23*r6286
r6134=----------------
b12
5*r6362
r6135=---------
4
r6136=0
16 2 1 2
----*a23 *r6286 - ---*b12 *kap*r6286
3 6
r6137=--------------------------------------
2
b12
2 2
- 80*a23 *r6362 + b12 *kap*r6362
r6138=-----------------------------------
24*a23*b12
2 2
32*a23 *r6362 - b12 *kap*r6362
r6139=--------------------------------
2
12*b12
r6140=0
r6141=0
1
---*b12*r6317
8
r6142=---------------
a23*kap
r6143=0
1
---*b12*r6317
8
r6144=---------------
a23*kap
r6145=0
r6146=0
r6147=0
r6148=0
2 4 1 2 2 1 4 2
---*a23 *r6317 - ---*a23 *b12 *kap*r6317 - ----*b12 *kap *r6317
3 6 48
r6149=-----------------------------------------------------------------
3 2
a23 *b12*kap
r6150=0
2 4 1 2 2 1 4 2
---*a23 *r6317 - ----*a23 *b12 *kap*r6317 - ----*b12 *kap *r6317
3 24 48
r6151=------------------------------------------------------------------
3 2
a23 *b12*kap
r6152=0
r6153=0
2 4 1 2 2 1 4 2
---*a23 *r6317 - ---*a23 *b12 *kap*r6317 - ----*b12 *kap *r6317
3 6 48
r6154=-----------------------------------------------------------------
3 2
a23 *b12*kap
r6155=0
r6156=0
3*r6286
r6157=---------
2
r6158=0
16 4 1 4 2
- ----*a23 *r6317 + ----*b12 *kap *r6317
3 12
r6159=-------------------------------------------
2 2 2
a23 *b12 *kap
- b12*r6362
r6160=--------------
4*a23
8 4 1 2 2 1 4 2
- ---*a23 *r6317 + ---*a23 *b12 *kap*r6317 + ----*b12 *kap *r6317
3 6 12
r6161=--------------------------------------------------------------------
2 2 2
a23 *b12 *kap
r6286
r6162=-------
2
r6163=0
16 4 4 2 2 1 4 2
- ----*a23 *r6317 + ---*a23 *b12 *kap*r6317 + ---*b12 *kap *r6317
3 3 6
r6164=--------------------------------------------------------------------
2 2 2
a23 *b12 *kap
8 4 1 2 2 1 4 2
---*a23 *r6317 - ---*a23 *b12 *kap*r6317 - ----*b12 *kap *r6317
3 2 24
r6165=-----------------------------------------------------------------
3 2
a23*b12 *kap
r6362
r6166=-------
2
8 3 1 2
---*a23 *r6317 + ---*a23*b12 *kap*r6317
3 6
r6167=-----------------------------------------
3 2
b12 *kap
- 4*a23*r6286
r6168=----------------
b12
r6169=0
8 6 7 4 2 367 2 4 2
r6170=(---*a23 *r6317 - ----*a23 *b12 *kap*r6317 + -----*a23 *b12 *kap *r6317
3 54 216
43 6 3 3 3 2
+ -----*b12 *kap *r6317)/(a23 *b12 *kap )
432
2
8*a23 *r6286
r6171=--------------
2
b12
r6172=0
32 6 598 4 2 529 2 4 2
r6173=(----*a23 *r6317 - -----*a23 *b12 *kap*r6317 - -----*a23 *b12 *kap *r6317
3 27 54
43 6 3 2 4 2
- -----*b12 *kap *r6317)/(a23 *b12 *kap )
108
64 8 524 6 2
r6174=( - ----*a23 *r6317 + -----*a23 *b12 *kap*r6317
5 15
9893 4 4 2 1411 2 6 3
+ ------*a23 *b12 *kap *r6317 + ------*a23 *b12 *kap *r6317
810 3240
5 8 4 3 5 2
+ ------*b12 *kap *r6317)/(a23 *b12 *kap )
1296
r6175=0
r6176=0
r6177=0
r6286
r6178=-------
2
r6179=0
r6180=0
- b12*r6362
r6181=--------------
8*a23
r6182=0
r6286
r6183=-------
2
- b12*r6362
r6184=--------------
8*a23
r6185=0
16 4 1 2 2 1 4 2
- ----*a23 *r6317 - ---*a23 *b12 *kap*r6317 + ---*b12 *kap *r6317
3 3 4
r6186=--------------------------------------------------------------------
3 2
a23*b12 *kap
r6362
r6187=-------
4
r6188=0
- 4*a23*r6286
r6189=----------------
b12
5*r6362
r6190=---------
4
r6191=0
2
8*a23 *r6286
r6192=--------------
2
b12
- 4*a23*r6362
r6193=----------------
b12
2
4*a23 *r6362
r6194=--------------
2
b12
r6195=0
r6196=0
8 4 1 2 2 1 4 2
- ---*a23 *r6317 - ---*a23 *b12 *kap*r6317 + ---*b12 *kap *r6317
3 6 8
r6197=-------------------------------------------------------------------
3 2
a23*b12 *kap
r6198=0
r6199=0
2 4 1 2 2 1 4 2
- ---*a23 *r6317 - ---*a23 *b12 *kap*r6317 - ----*b12 *kap *r6317
3 4 48
r6200=--------------------------------------------------------------------
3
a23 *b12*kap
r6201=0
r6202=0
1664 6 520 4 2 29 2 4 2
r6203=(------*a23 *r6317 + -----*a23 *b12 *kap*r6317 + ----*a23 *b12 *kap *r6317
9 9 9
1 6 3 2 4 2
+ ----*b12 *kap *r6317)/(a23 *b12 *kap )
12
832 6 236 4 2
r6204=( - -----*a23 *r6317 - -----*a23 *b12 *kap*r6317
9 9
23 2 4 2 1 6 3 5 2
- ----*a23 *b12 *kap *r6317 - ---*b12 *kap *r6317)/(a23*b12 *kap )
18 8
r6205=0
r6206=0
r6207=0
r6208=0
r6209=0
r6210=0
r6211=0
r6212=0
r6213=0
r6214=0
r6215=0
r6216=0
r6217=0
r6218=0
r6219=0
r6220=0
r6221=0
r6222=0
r6223=0
r6224=0
r6225=0
r6226=0
r6227=0
r6228=0
r6229=0
r6230=0
r6231=0
r6232=0
r6233=0
r6234=0
r6235=0
4 2 1 2
- ---*a23 *r6317 - ----*b12 *kap*r6317
3 12
r6236=-----------------------------------------
2
a23*b12*kap
r6237=0
4 2 1 2
- ---*a23 *r6317 - ----*b12 *kap*r6317
3 12
r6238=-----------------------------------------
2
a23*b12*kap
r6239=0
r6240=0
r6241=0
r6242=0
4 2 1 2
- ---*a23 *r6317 - ----*b12 *kap*r6317
3 12
r6243=-----------------------------------------
2
a23*b12*kap
r6244=0
r6245=0
8 2 5 2
- ---*a23 *r6317 + ---*b12 *kap*r6317
3 6
r6246=----------------------------------------
2 2
b12 *kap
b12*r6362
r6247=-----------
8*a23
r6317
r6248=-------
kap
r6249=0
1
r6250=---*r6286
2
r6251=0
r6252=0
16 2 4 2
----*a23 *r6317 + ---*b12 *kap*r6317
3 3
r6253=--------------------------------------
2 2
b12 *kap
b12*r6362
r6254=-----------
8*a23
1
r6255=---*r6286
2
4*a23*r6286
r6256=-------------
b12
r6257=0
r6258=0
16 4 17 2 2 1 4 2
- ----*a23 *r6317 - ----*a23 *b12 *kap*r6317 - ---*b12 *kap *r6317
3 3 3
r6259=---------------------------------------------------------------------
3 2
a23*b12 *kap
r6260= - r6362
- 4*a23*r6286
r6261=----------------
b12
32 6 350 4 2
r6262=( - ----*a23 *r6317 + -----*a23 *b12 *kap*r6317
15 27
691 2 4 2 5 6 3 2 4 2
+ -----*a23 *b12 *kap *r6317 + -----*b12 *kap *r6317)/(a23 *b12 *kap )
270 108
2 2
32*a23 *r6362 - b12 *kap*r6362
r6263=--------------------------------
24*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
4 4 7 2 2 1 4 2
- ---*a23 *r6317 + ----*a23 *b12 *kap*r6317 + ----*b12 *kap *r6317
3 12 24
r6272=---------------------------------------------------------------------
3 2
a23 *b12*kap
r6273=0
4 4 7 2 2 1 4 2
- ---*a23 *r6317 + ----*a23 *b12 *kap*r6317 + ----*b12 *kap *r6317
3 12 24
r6274=---------------------------------------------------------------------
3 2
a23 *b12*kap
r6275=0
r6276=0
r6277=0
r6278=0
4 4 7 2 2 1 4 2
- ---*a23 *r6317 + ----*a23 *b12 *kap*r6317 + ----*b12 *kap *r6317
3 12 24
r6279=---------------------------------------------------------------------
3 2
a23 *b12*kap
r6280=0
r6281=0
1 2 1 2
- ---*a23 *r6317 - ----*b12 *kap*r6317
3 12
r6282=-----------------------------------------
2
a23 *kap
b12*r6362
r6283=-----------
4*a23
16 4 1 4 2
----*a23 *r6317 - ----*b12 *kap *r6317
3 12
r6284=----------------------------------------
2 2 2
a23 *b12 *kap
r6285=0
r6287=0
r6288=0
32 4 7 2 2 1 4 2
----*a23 *r6317 - ---*a23 *b12 *kap*r6317 - ---*b12 *kap *r6317
3 3 4
r6289=-----------------------------------------------------------------
2 2 2
a23 *b12 *kap
r6290=0
r6291=0
8*a23*r6286
r6292=-------------
b12
r6293=0
r6294= - r6362
92 4 367 2 2 43 4 2
- ----*a23 *r6317 - -----*a23 *b12 *kap*r6317 - -----*b12 *kap *r6317
27 108 216
r6295=------------------------------------------------------------------------
3
a23 *b12*kap
r6296=0
2*a23*r6362
r6297=-------------
b12
32 6 598 4 2
r6298=( - ----*a23 *r6317 + -----*a23 *b12 *kap*r6317
3 27
475 2 4 2 43 6 3 2 4 2
+ -----*a23 *b12 *kap *r6317 + -----*b12 *kap *r6317)/(a23 *b12 *kap )
54 108
r6299=0
r6300=0
r6301=0
r6302=0
8 2 1 2
- ---*a23 *r6317 - ---*b12 *kap*r6317
3 6
r6303=----------------------------------------
2 2
b12 *kap
b12*r6362
r6304=-----------
8*a23
r6305=0
r6306=0
r6286
r6307=-------
2
4 2 1 2
- ---*a23 *r6317 - ----*b12 *kap*r6317
3 12
r6308=-----------------------------------------
2
a23 *kap
b12*r6362
r6309=-----------
8*a23
r6286
r6310=-------
2
r6311=0
r6312=0
4*a23*r6286
r6313=-------------
b12
16 4 11 2 2 1 4 2
- ----*a23 *r6317 + ----*a23 *b12 *kap*r6317 + ---*b12 *kap *r6317
3 3 4
r6314=---------------------------------------------------------------------
3 2
a23*b12 *kap
r6315= - 2*r6362
- 4*a23*r6286
r6316=----------------
b12
4*a23*r6362
r6318=-------------
b12
2
8*a23 *r6286
r6319=--------------
2
b12
r6320=0
r6321=0
r6322=0
r6323=0
r6324=0
16 6 4 2 3 2 4 2
r6325=( - ----*a23 *r6317 + a23 *b12 *kap*r6317 + ---*a23 *b12 *kap *r6317
3 4
1 6 3 3 3 2
+ ----*b12 *kap *r6317)/(a23 *b12 *kap )
24
r6326=0
r6327=0
1664 6 520 4 2
r6328=( - ------*a23 *r6317 - -----*a23 *b12 *kap*r6317
9 9
29 2 4 2 1 6 3 2 4 2
- ----*a23 *b12 *kap *r6317 - ----*b12 *kap *r6317)/(a23 *b12 *kap )
9 12
r6329=0
r6330=0
r6331=0
r6332=0
r6333=0
r6334=0
r6335=0
r6336=0
r6337=0
1 2 1 3
- ---*a23 *b12*r6317 - ----*b12 *kap*r6317
3 48
r6338=---------------------------------------------
3
a23 *kap
r6339=0
1 2 1 3
- ---*a23 *b12*r6317 - ----*b12 *kap*r6317
3 48
r6340=---------------------------------------------
3
a23 *kap
r6341=0
r6342=0
r6343=0
r6344=0
2 2 1 2
- ---*a23 *r6317 - ----*b12 *kap*r6317
3 24
r6345=-----------------------------------------
2
a23*b12*kap
r6346=0
2 4 3 2 2 1 4 2
- ---*a23 *r6317 - ---*a23 *b12 *kap*r6317 - ----*b12 *kap *r6317
3 8 48
r6347=--------------------------------------------------------------------
3 2
a23 *b12*kap
r6348=0
r6349=0
2 2 1 2
- ---*a23 *r6317 - ----*b12 *kap*r6317
3 24
r6350=-----------------------------------------
2
a23*b12*kap
r6351=0
r6352=0
r6353=0
r6354=0
16 2 1 2
- ----*a23 *r6317 - ---*b12 *kap*r6317
3 3
r6355=-----------------------------------------
2 2
b12 *kap
r6356=0
4 2 1 2
---*a23 *r6317 + ----*b12 *kap*r6317
3 12
r6357=--------------------------------------
2
a23 *kap
r6358=0
r6359=0
8 2 1 2
---*a23 *r6317 + ---*b12 *kap*r6317
3 6
r6360=-------------------------------------
2 2
b12 *kap
16 4 2 2 5 4 2
- ----*a23 *r6317 + 3*a23 *b12 *kap*r6317 + ----*b12 *kap *r6317
3 24
r6361=-------------------------------------------------------------------
3 2
a23*b12 *kap
8 6 263 4 2
r6363=( - ---*a23 *r6317 + -----*a23 *b12 *kap*r6317
3 54
385 2 4 2 43 6 3 3 3 2
+ -----*a23 *b12 *kap *r6317 + -----*b12 *kap *r6317)/(a23 *b12 *kap )
216 432
4*a23*r6286
r6364=-------------
b12
r6365=0
8 4 7 2 2 1 4 2
- ---*a23 *r6317 + ---*a23 *b12 *kap*r6317 + ----*b12 *kap *r6317
3 6 12
r6366=--------------------------------------------------------------------
3 2
a23*b12 *kap
2 1 2
16*a23 *r6286 + ---*b12 *kap*r6286
2
r6367=------------------------------------
2
b12
r6368=0
32 2 5 2
- ----*a23 *r6317 - ---*b12 *kap*r6317
3 3
r6369=-----------------------------------------
2
b12 *kap
72 6 257 4 2 871 2 4 2
r6370=(----*a23 *r6317 + -----*a23 *b12 *kap*r6317 - ------*a23 *b12 *kap *r6317
5 162 3240
5 6 3 3 3
- ------*b12 *kap *r6317)/(a23 *b12 *kap)
1296
r6371=0
r6372=0
r6373=0
r6374=0
r6375=0
16 4 7 2 2 1 4 2
- ----*a23 *r6317 + ---*a23 *b12 *kap*r6317 + ---*b12 *kap *r6317
3 3 6
r6376=--------------------------------------------------------------------
2 2 2
a23 *b12 *kap
r6377=0
r6378=0
r6379=0
r6380=0
r6381=0
32 4 2 2 1 4 2
- ----*a23 *r6317 - 6*a23 *b12 *kap*r6317 - ----*b12 *kap *r6317
3 12
r6382=-------------------------------------------------------------------
3 2
a23*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 2
- 32*a23 *r6362 - b12 *kap*r6362
r6389=-----------------------------------
8*a23*b12
2 2
32*a23 *r6362 + b12 *kap*r6362
r6390=--------------------------------
2
4*b12
r6391=0
r6392=0
5 2 1 3
- ----*a23 *b12*r6317 - ----*b12 *kap*r6317
24 48
r6393=----------------------------------------------
3
a23
r6394=0
r6395=0
8 6 1 4 2 11 2 4 2
r6396=( - ---*a23 *r6317 - ---*a23 *b12 *kap*r6317 + ----*a23 *b12 *kap *r6317
3 6 24
1 6 3 3 3 2
+ ----*b12 *kap *r6317)/(a23 *b12 *kap )
48
r6397=0
r6398=0
8 4 11 2 2 1 4 2
- ---*a23 *r6317 - ----*a23 *b12 *kap*r6317 - ----*b12 *kap *r6317
3 6 24
r6399=---------------------------------------------------------------------
2 2
a23 *b12 *kap
1
- ---*b12*kap*r6317
4
r6400=----------------------
a23
r6401=0
r6402=0
r6403=0
r6404=0
r6405=0
r6406=0
r6407=0
4 2 1 2
- ---*a23 *r6317 - ----*b12 *kap*r6317
3 12
r6408=-----------------------------------------
2
a23 *kap
r6409=0
r6410=0
r6411=0
r6412=0
8 2 1 2
- ---*a23 *r6317 - ---*b12 *kap*r6317
3 6
r6413=----------------------------------------
2 2
b12 *kap
r6414=0
r6415=0
r6416=0
r6417=0
r6418=0
32 4 2 2 1 4 2
- ----*a23 *r6317 - 2*a23 *b12 *kap*r6317 - ----*b12 *kap *r6317
3 12
r6419=-------------------------------------------------------------------
3 2
a23*b12 *kap
r6420=0
r6421=0
32 2 5 2
----*a23 *r6317 + ---*b12 *kap*r6317
3 3
r6422=--------------------------------------
2
b12 *kap
2 2
32*a23 *r6362 + b12 *kap*r6362
r6423=--------------------------------
8*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
4 4 7 2 2 1 4 2
---*a23 *r6317 - ----*a23 *b12 *kap*r6317 - ----*b12 *kap *r6317
3 12 24
r6430=------------------------------------------------------------------
3
a23 *b12*kap
r6431=0
r6432=0
8 4 11 2 2 1 4 2
---*a23 *r6317 + ----*a23 *b12 *kap*r6317 + ----*b12 *kap *r6317
3 6 24
r6433=------------------------------------------------------------------
2 2
a23 *b12 *kap
r6434=0
r6435=0
r6436=0
r6437=0
r6438=0
r6439=0
r6440=0
r6441=0
r6442=0
1 2 1 3
---*a23 *b12*r6317 + ----*b12 *kap*r6317
3 48
r6443=------------------------------------------
3
a23
r6444=0
r6445=0
2 2 1 2
---*a23 *r6317 + ----*b12 *kap*r6317
3 24
r6446=--------------------------------------
a23*b12*kap
r6447=0
r6448=0
r6449=0
64 4 16 2 2 1 4 2
----*a23 *r6317 + ----*a23 *b12 *kap*r6317 + ---*b12 *kap *r6317
3 3 8
r6450=------------------------------------------------------------------
3
a23*b12 *kap
r6451=0
r6452=0
r6453=0
r6454=0
r6455=0
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:
r6286, r6317, 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,
64 4 7 4 16 2 9 5 1 11 6
{----*a23 *b12 *kap *r6317 + ----*a23 *b12 *kap *r6317 + ---*b12 *kap *r6317,
3 3 8
2 2 3 2 1 5 3
---*a23 *b12 *kap *r6317 + ----*b12 *kap *r6317,
3 24
1 2 5 3 1 7 4
---*a23 *b12 *kap *r6317 + ----*b12 *kap *r6317,
3 48
8 5 5 3 11 3 7 4
---*a23 *b12 *kap *r6317 + ----*a23 *b12 *kap *r6317
3 6
1 9 5
+ ----*a23*b12 *kap *r6317,
24
4 4 3 2 7 2 5 3 1 7 4
---*a23 *b12 *kap *r6317 - ----*a23 *b12 *kap *r6317 - ----*b12 *kap *r6317,
3 12 24
5 3 3
128*a23 *b12*r6286 + 4*a23 *b12 *kap*r6286,
3 2 4
32*a23 *b12 *r6362 + a23*b12 *kap*r6362,
32 4 7 4 5 2 9 5
----*a23 *b12 *kap *r6317 + ---*a23 *b12 *kap *r6317,
3 3
32 4 5 3 2 7 4 1 9 5
----*a23 *b12 *kap *r6317 + 2*a23 *b12 *kap *r6317 + ----*b12 *kap *r6317,
3 12
8 2 3 2 1 5 3
---*a23 *b12 *kap *r6317 + ---*b12 *kap *r6317,
3 6
4 2 3 2 1 5 3
---*a23 *b12 *kap *r6317 + ----*b12 *kap *r6317,
3 12
1 2 5 3
---*a23 *b12 *kap *r6317,
4
8 5 5 3 11 3 7 4
---*a23 *b12 *kap *r6317 + ----*a23 *b12 *kap *r6317
3 6
1 9 5
+ ----*a23*b12 *kap *r6317,
24
8 6 5 3 1 4 7 4
---*a23 *b12 *kap *r6317 + ---*a23 *b12 *kap *r6317
3 6
11 2 9 5 1 11 6
- ----*a23 *b12 *kap *r6317 - ----*b12 *kap *r6317,
24 48
5 2 9 5 1 11 6
----*a23 *b12 *kap *r6317 + ----*b12 *kap *r6317,
24 48
4 2 2 4
32*a23 *b12 *r6362 + a23 *b12 *kap*r6362,
2 2
32*a23 *r6362 + b12 *kap*r6362,
5 3 3
128*a23 *b12*r6286 + 4*a23 *b12 *kap*r6286,
4*a23*b12*r6286,
2 2
a23 *b12 *r6362,
32 4 5 3 2 7 4 1 9 5
----*a23 *b12 *kap *r6317 + 6*a23 *b12 *kap *r6317 + ----*b12 *kap *r6317,
3 12
16 4 3 2 7 2 5 3 1 7 4
----*a23 *b12 *kap *r6317 - ---*a23 *b12 *kap *r6317 - ---*b12 *kap *r6317,
3 3 6
72 8 7 4 257 6 9 5
----*a23 *b12 *kap *r6317 + -----*a23 *b12 *kap *r6317
5 162
871 4 11 6 5 2 13 7
- ------*a23 *b12 *kap *r6317 - ------*a23 *b12 *kap *r6317,
3240 1296
32 2 7 4 5 9 5
----*a23 *b12 *kap *r6317 + ---*b12 *kap *r6317,
3 3
5 3 3
128*a23 *b12*r6286 + 4*a23 *b12 *kap*r6286,
8 4 5 3 7 2 7 4 1 9 5
---*a23 *b12 *kap *r6317 - ---*a23 *b12 *kap *r6317 - ----*b12 *kap *r6317,
3 6 12
5
4*a23 *b12*r6286,
8 6 3 2 263 4 5 3
---*a23 *b12 *kap *r6317 - -----*a23 *b12 *kap *r6317
3 54
385 2 7 4 43 9 5
- -----*a23 *b12 *kap *r6317 - -----*b12 *kap *r6317,
216 432
r6362,
16 4 5 3 2 7 4 5 9 5
----*a23 *b12 *kap *r6317 - 3*a23 *b12 *kap *r6317 - ----*b12 *kap *r6317,
3 24
8 2 3 2 1 5 3
---*a23 *b12 *kap *r6317 + ---*b12 *kap *r6317,
3 6
4 2 3 2 1 5 3
---*a23 *b12 *kap *r6317 + ----*b12 *kap *r6317,
3 12
16 2 5 3 1 7 4
----*a23 *b12 *kap *r6317 + ---*b12 *kap *r6317,
3 3
2 2 3 2 1 5 3
---*a23 *b12 *kap *r6317 + ----*b12 *kap *r6317,
3 24
2 4 3 2 3 2 5 3 1 7 4
---*a23 *b12 *kap *r6317 + ---*a23 *b12 *kap *r6317 + ----*b12 *kap *r6317,
3 8 48
2 2 5 3 1 7 4
---*a23 *b12 *kap *r6317 + ----*b12 *kap *r6317,
3 24
1 2 5 3 1 7 4
---*a23 *b12 *kap *r6317 + ----*b12 *kap *r6317,
3 48
1 2 7 4 1 9 5
---*a23 *b12 *kap *r6317 + ----*b12 *kap *r6317,
3 48
1664 6 5 3 520 4 7 4
------*a23 *b12 *kap *r6317 + -----*a23 *b12 *kap *r6317
9 9
29 2 9 5 1 11 6
+ ----*a23 *b12 *kap *r6317 + ----*b12 *kap *r6317,
9 12
16 6 3 2 4 5 3 3 2 7 4
----*a23 *b12 *kap *r6317 - a23 *b12 *kap *r6317 - ---*a23 *b12 *kap *r6317
3 4
1 9 5
- ----*b12 *kap *r6317,
24
3
64*a23 *b12*r6286,
4 2
4*a23 *b12 *r6362,
r6317,
4*a23*b12*r6286,
2 2
2*a23 *b12 *r6362,
16 4 5 3 11 2 7 4 1 9 5
----*a23 *b12 *kap *r6317 - ----*a23 *b12 *kap *r6317 - ---*b12 *kap *r6317,
3 3 4
2
4*a23 *b12*kap*r6286,
a23*b12*r6286,
2 2
a23 *b12 *r6362,
4 2 3 2 1 5 3
---*a23 *b12 *kap *r6317 + ----*b12 *kap *r6317,
3 12
a23*b12*r6286,
2 2
a23 *b12 *r6362,
8 2 3 2 1 5 3
---*a23 *b12 *kap *r6317 + ---*b12 *kap *r6317,
3 6
32 6 5 3 598 4 7 4
----*a23 *b12 *kap *r6317 - -----*a23 *b12 *kap *r6317
3 27
475 2 9 5 43 11 6
- -----*a23 *b12 *kap *r6317 - -----*b12 *kap *r6317,
54 108
2
2*a23 *b12*r6362,
92 4 3 2 367 2 5 3 43 7 4
----*a23 *b12 *kap *r6317 + -----*a23 *b12 *kap *r6317 + -----*b12 *kap *r6317
27 108 216
,
2
a23*b12 *r6362,
8*a23*b12*r6286,
32 4 5 3 7 2 7 4 1 9 5
----*a23 *b12 *kap *r6317 - ---*a23 *b12 *kap *r6317 - ---*b12 *kap *r6317,
3 3 4
r6286,
16 4 5 3 1 9 5
----*a23 *b12 *kap *r6317 - ----*b12 *kap *r6317,
3 12
2 2
a23 *b12 *r6362,
1 2 7 4 1 9 5
---*a23 *b12 *kap *r6317 + ----*b12 *kap *r6317,
3 12
4 4 3 2 7 2 5 3 1 7 4
---*a23 *b12 *kap *r6317 - ----*a23 *b12 *kap *r6317 - ----*b12 *kap *r6317,
3 12 24
4 4 3 2 7 2 5 3 1 7 4
---*a23 *b12 *kap *r6317 - ----*a23 *b12 *kap *r6317 - ----*b12 *kap *r6317,
3 12 24
4 4 3 2 7 2 5 3 1 7 4
---*a23 *b12 *kap *r6317 - ----*a23 *b12 *kap *r6317 - ----*b12 *kap *r6317,
3 12 24
5 3 3
128*a23 *b12*r6286 - 4*a23 *b12 *kap*r6286,
6 2 4 4
32*a23 *b12 *r6362 - a23 *b12 *kap*r6362,
32 8 5 3 350 6 7 4
----*a23 *b12 *kap *r6317 - -----*a23 *b12 *kap *r6317
15 27
691 4 9 5 5 2 11 6
- -----*a23 *b12 *kap *r6317 - -----*a23 *b12 *kap *r6317,
270 108
4*a23*r6286,
a23*b12*r6362,
16 4 3 2 17 2 5 3 1 7 4
----*a23 *b12 *kap *r6317 + ----*a23 *b12 *kap *r6317 + ---*b12 *kap *r6317,
3 3 3
4*a23*r6286,
4*a23*b12*r6286,
2
b12 *r6362,
16 3 5 3 4 7 4
----*a23 *b12 *kap *r6317 + ---*a23*b12 *kap *r6317,
3 3
4*a23*b12*r6286,
r6317,
2
b12 *r6362,
8 3 5 3 5 7 4
---*a23 *b12 *kap *r6317 - ---*a23*b12 *kap *r6317,
3 6
4 2 5 3 1 7 4
---*a23 *b12 *kap *r6317 + ----*b12 *kap *r6317,
3 12
4 2 5 3 1 7 4
---*a23 *b12 *kap *r6317 + ----*b12 *kap *r6317,
3 12
4 2 5 3 1 7 4
---*a23 *b12 *kap *r6317 + ----*b12 *kap *r6317,
3 12
832 6 5 3 236 4 7 4
-----*a23 *b12 *kap *r6317 + -----*a23 *b12 *kap *r6317
9 9
23 2 9 5 1 11 6
+ ----*a23 *b12 *kap *r6317 + ---*b12 *kap *r6317,
18 8
1664 6 5 3 520 4 7 4
------*a23 *b12 *kap *r6317 + -----*a23 *b12 *kap *r6317
9 9
29 2 9 5 1 11 6
+ ----*a23 *b12 *kap *r6317 + ----*b12 *kap *r6317,
9 12
2 4 7 4 1 2 9 5 1 11 6
---*a23 *b12 *kap *r6317 + ---*a23 *b12 *kap *r6317 + ----*b12 *kap *r6317,
3 4 48
8 4 5 3 1 2 7 4 1 9 5
---*a23 *b12 *kap *r6317 + ---*a23 *b12 *kap *r6317 - ---*b12 *kap *r6317,
3 6 8
4 2
4*a23 *b12 *r6362,
4 2
4*a23 *b12 *r6362,
3
64*a23 *b12*kap*r6286,
2 2
5*a23 *b12 *r6362,
2
4*a23 *b12*kap*r6286,
2 2
a23 *b12 *r6362,
16 4 5 3 1 2 7 4 1 9 5
----*a23 *b12 *kap *r6317 + ---*a23 *b12 *kap *r6317 - ---*b12 *kap *r6317,
3 3 4
2 2
a23 *b12 *r6362,
a23*b12*r6286,
2 2
a23 *b12 *r6362,
a23*b12*r6286,
64 10 5 3 524 8 7 4
----*a23 *b12 *kap *r6317 - -----*a23 *b12 *kap *r6317
5 15
9893 6 9 5 1411 4 11 6
- ------*a23 *b12 *kap *r6317 - ------*a23 *b12 *kap *r6317
810 3240
5 2 13 7
- ------*a23 *b12 *kap *r6317,
1296
32 6 5 3 598 4 7 4
----*a23 *b12 *kap *r6317 - -----*a23 *b12 *kap *r6317
3 27
529 2 9 5 43 11 6
- -----*a23 *b12 *kap *r6317 - -----*b12 *kap *r6317,
54 108
3
64*a23 *b12*r6286,
8 6 5 3 7 4 7 4
---*a23 *b12 *kap *r6317 - ----*a23 *b12 *kap *r6317
3 54
367 2 9 5 43 11 6
+ -----*a23 *b12 *kap *r6317 + -----*b12 *kap *r6317,
216 432
4*a23*b12*r6286,
8 4 5 3 1 2 7 4
---*a23 *b12 *kap *r6317 + ---*a23 *b12 *kap *r6317,
3 6
2 2
a23 *b12 *r6362,
8 4 3 2 1 2 5 3 1 7 4
---*a23 *b12 *kap *r6317 - ---*a23 *b12 *kap *r6317 - ----*b12 *kap *r6317,
3 2 24
16 4 5 3 4 2 7 4 1 9 5
----*a23 *b12 *kap *r6317 - ---*a23 *b12 *kap *r6317 - ---*b12 *kap *r6317,
3 3 6
a23*b12*r6286,
8 4 5 3 1 2 7 4 1 9 5
---*a23 *b12 *kap *r6317 - ---*a23 *b12 *kap *r6317 - ----*b12 *kap *r6317,
3 6 12
2 2
a23 *b12 *r6362,
16 4 5 3 1 9 5
----*a23 *b12 *kap *r6317 - ----*b12 *kap *r6317,
3 12
3*a23*b12*r6286,
2 4 5 3 1 2 7 4 1 9 5
---*a23 *b12 *kap *r6317 - ---*a23 *b12 *kap *r6317 - ----*b12 *kap *r6317,
3 6 48
2 4 5 3 1 2 7 4 1 9 5
---*a23 *b12 *kap *r6317 - ----*a23 *b12 *kap *r6317 - ----*b12 *kap *r6317,
3 24 48
2 4 5 3 1 2 7 4 1 9 5
---*a23 *b12 *kap *r6317 - ---*a23 *b12 *kap *r6317 - ----*b12 *kap *r6317,
3 6 48
1 7 4
---*b12 *kap *r6317,
8
1 7 4
---*b12 *kap *r6317,
8
6 2 4 4
32*a23 *b12 *r6362 - a23 *b12 *kap*r6362,
6 2 4 4
80*a23 *b12 *r6362 - a23 *b12 *kap*r6362,
5 3 3
128*a23 *b12*r6286 - 4*a23 *b12 *kap*r6286,
2
5*a23*b12 *r6362,
4*a23*b12*r6286,
16 4 5 3 2 7 4 1 9 5
----*a23 *b12 *kap *r6317 - a23 *b12 *kap *r6317 - ---*b12 *kap *r6317,
3 3
2
b12 *r6362,
2
b12 *r6362,
4*a23*b12*r6286,
16 2 5 3 1 7 4
----*a23 *b12 *kap *r6317 + ---*b12 *kap *r6317,
3 3
2
b12 *r6362,
12*a23*b12*r6286,
1
---*b12*r6317,
4
1
---*b12*r6317,
4
1
---*b12*r6317,
4
56 8 7 4 67 6 9 5
----*a23 *b12 *kap *r6317 - -----*a23 *b12 *kap *r6317
15 162
92 4 11 6 5 2 13 7
- -----*a23 *b12 *kap *r6317 - ------*a23 *b12 *kap *r6317,
405 1296
32 8 5 3 350 6 7 4
----*a23 *b12 *kap *r6317 - -----*a23 *b12 *kap *r6317
15 27
691 4 9 5 5 2 11 6
- -----*a23 *b12 *kap *r6317 - -----*a23 *b12 *kap *r6317,
270 108
5 3 3
128*a23 *b12*r6286 - 4*a23 *b12 *kap*r6286,
8 8 5 3 679 6 7 4
----*a23 *b12 *kap *r6317 - -----*a23 *b12 *kap *r6317
45 162
1051 4 9 5 5 2 11 6
- ------*a23 *b12 *kap *r6317 - ------*a23 *b12 *kap *r6317,
3240 1296
4*a23*r6286,
8 8 5 3 139 6 7 4
----*a23 *b12 *kap *r6317 - -----*a23 *b12 *kap *r6317
45 162
29 4 9 5 5 2 11 6
+ ------*a23 *b12 *kap *r6317 - ------*a23 *b12 *kap *r6317,
3240 1296
128 8 5 3 110 6 7 4
-----*a23 *b12 *kap *r6317 - -----*a23 *b12 *kap *r6317
45 81
511 4 9 5 5 2 11 6
- ------*a23 *b12 *kap *r6317 - ------*a23 *b12 *kap *r6317,
3240 1296
a23*r6317,
4*a23*b12*r6286,
a23*r6317,
8 3 5 3 5 7 4
---*a23 *b12 *kap *r6317 - ---*a23*b12 *kap *r6317,
3 6
4*a23*b12*r6286,
1 7 4
---*b12 *kap *r6317,
8
2 2 5 3 1 7 4
---*a23 *b12 *kap *r6317 - ----*b12 *kap *r6317,
3 12
2 2 5 3 5 7 4
---*a23 *b12 *kap *r6317 - ----*b12 *kap *r6317,
3 24
2 2 5 3 1 7 4
---*a23 *b12 *kap *r6317 + ----*b12 *kap *r6317,
3 24
4 2 5 3 1 7 4
---*a23 *b12 *kap *r6317 - ----*b12 *kap *r6317,
3 24
2 2 5 3 1 7 4
---*a23 *b12 *kap *r6317 - ----*b12 *kap *r6317}}
3 12
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$