Solution 40 to problem over


Expressions | Parameters | Inequalities | Relevance | Back to problem over

Expressions

The solution is given through the following expressions:

          2              2                              2
     2*a22 *r6149 - 4*a22 *r6336 - a22*b12*r6407 + 2*b12 *kap*r6336
r60=----------------------------------------------------------------
                                   2    2
                              6*b12 *kap


r61=0


          2              2                              2
     2*a22 *r6149 - 4*a22 *r6336 - a22*b12*r6407 + 2*b12 *kap*r6336
r62=----------------------------------------------------------------
                                   2    2
                              2*b12 *kap


r63=0


          2              2                              2
     2*a22 *r6149 - 4*a22 *r6336 - a22*b12*r6407 + 2*b12 *kap*r6336
r64=----------------------------------------------------------------
                                   2    2
                              2*b12 *kap


r65=0


          2              2                              2
     2*a22 *r6149 - 4*a22 *r6336 - a22*b12*r6407 + 2*b12 *kap*r6336
r66=----------------------------------------------------------------
                                   2    2
                              6*b12 *kap


r67=0


r68=0


r69=0


r610=0


r611=0


r612=0


           2              2                              2
      2*a22 *r6149 - 4*a22 *r6336 - a22*b12*r6407 + 2*b12 *kap*r6336
r613=----------------------------------------------------------------
                                    2    2
                               2*b12 *kap


r614=0


           2              2                              2
      2*a22 *r6149 - 4*a22 *r6336 - a22*b12*r6407 + 2*b12 *kap*r6336
r615=----------------------------------------------------------------
                                   2    2
                                b12 *kap


r616=0


           2              2                              2
      2*a22 *r6149 - 4*a22 *r6336 - a22*b12*r6407 + 2*b12 *kap*r6336
r617=----------------------------------------------------------------
                                    2    2
                               2*b12 *kap


r618=0


r619=0


r620=0


r621=0


           2              2                              2
      2*a22 *r6149 - 4*a22 *r6336 - a22*b12*r6407 + 2*b12 *kap*r6336
r622=----------------------------------------------------------------
                                    2    2
                               2*b12 *kap


r623=0


           2              2                              2
      2*a22 *r6149 - 4*a22 *r6336 - a22*b12*r6407 + 2*b12 *kap*r6336
r624=----------------------------------------------------------------
                                    2    2
                               2*b12 *kap


r625=0


r626=0


           2              2                              2
      2*a22 *r6149 - 4*a22 *r6336 - a22*b12*r6407 + 2*b12 *kap*r6336
r627=----------------------------------------------------------------
                                    2    2
                               6*b12 *kap


r628=r6230


r629=0


r630=2*r6230


r631=0


r632=r6230


r633=0


r634=0


r635=0


r636=0


r637=0


r638=0


r639=2*r6230


r640=0


r641=2*r6230


r642=0


r643=0


r644=0


r645=0


r646=r6230


r647=0


r648=0


      r6243 + r660
r649=--------------
           2


r650=0


      1
r651=---*r6243 + r660
      2


r652=0


      r660
r653=------
       2


r654=0


r655=0


r656=0


r657=0


      r6243 + 2*r660
r658=----------------
            2


r659=0


r661=0


r662=0


      r660
r663=------
       2


       - a22*r6270 - 2*b12*kap*r6230 + b12*r6157 + 3*b12*r6252
r664=----------------------------------------------------------
                               3*b12


r665=0


r666=r6252


r667=0


r668=0


r669=0


r670=0


r671=r6252


r672=0


r673=0


r675=0


       - r6259 + 2*r674
r676=-------------------
              2


r677=0


r678=0


         1
r679= - ---*r6259 + r674
         2


r681=0


r682=0


r684=0


r685=r6230


r686=0


r687=2*r6230


r688=0


r689=r6230


      2*a22*r6149 - 4*a22*r6336 - b12*r6407
r690=---------------------------------------
                    2*b12*kap


r691=0


      2*a22*r6149 - 4*a22*r6336 - b12*r6407
r692=---------------------------------------
                     b12*kap


r693=0


      2*a22*r6149 - 4*a22*r6336 - b12*r6407
r694=---------------------------------------
                    2*b12*kap


r695=0


r696=2*r6230


r697=0


r698=2*r6230


      2*a22*r6149 - 4*a22*r6336 - b12*r6407
r699=---------------------------------------
                     b12*kap


r6100=0


       2*a22*r6149 - 4*a22*r6336 - b12*r6407
r6101=---------------------------------------
                      b12*kap


r6102=0


r6103=r6230


       2*a22*r6149 - 4*a22*r6336 - b12*r6407
r6104=---------------------------------------
                     2*b12*kap


r6105=0


r6106=r6243


r6107=0


r6108=r6243


r6109=0


r6110= - r6270


r6111=0


r6112= - r6270


r6113=0


r6114=0


r6115=r6243


r6116=0


r6117= - r6270


r6118=0


r6119=0


r6120=0


        - a22*r6270 - 2*b12*kap*r6230 + b12*r6157 + b12*r6252
r6121=--------------------------------------------------------
                                b12


r6122=0


r6123=r6252


               1
r6124=r6129 - ---*r6356
               2


r6125=0


r6126=r6129


r6127=0


r6128=r6252


r6130=0


r6131=r6259


r6132=0


r6134=0


r6135=0


r6136=0


r6137=r680


r6139=0


r6140=r6336


r6141=0


       r6243 + 4*r6336
r6142=-----------------
              2


r6143=0


       r6243 + 2*r6336
r6144=-----------------
              2


r6145=0


r6146= - r6270


r6147=0


r6148= - r6270


r6150=0


       2*r6149 + r6243
r6151=-----------------
              2


r6152=0


r6153= - r6270


r6154=r6149 - r6336


       a22*r6270 + 2*b12*kap*r6230
r6155=-----------------------------
                   b12


r6156=0


r6158=0


r6159=0


r6160= - r6356


r6161=0


r6162=r6353


r6163=0


r6164=0


        - 2*a22*r6129 + a22*r6356 + b12*kap*r6243 + 2*b12*kap*r660
r6165=-------------------------------------------------------------
                                  2*b12


r6166=0


        - 2*a22*r6129 + 2*b12*kap*r660 + b12*r6259
r6167=---------------------------------------------
                          2*b12


r6168=0


r6169=r6133


               2                                 2                2
        - 2*a22 *r6129 + 2*a22*b12*kap*r660 + b12 *kap*r6129 - b12 *r6389
r6170=--------------------------------------------------------------------
                                   2*a22*b12


        - a22*r6133 + b12*kap*r6252
r6171=------------------------------
                   b12


r6172=0


r6173=0


        - 2*a22*r6138 - b12*kap*r6259 + 2*b12*kap*r674
r6174=-------------------------------------------------
                            2*b12


r6175=0


       a22*r6270 + 2*b12*kap*r6230
r6176=-----------------------------
                   b12


r6177=0


        2               4                   1
       ---*a22*r6270 + ---*b12*kap*r6230 + ---*b12*r6157
        3               3                   3
r6178=---------------------------------------------------
                              b12


r6179= - r6407


r6180=0


        - r6356 - 2*r6407
r6181=--------------------
               2


r6182=0


r6183=r6353


r6184=( - a22*r6356 - 6*a22*r6407 + 2*b12*kap*r6149 - b12*kap*r6243

        - 4*b12*kap*r6336 + b12*r6430)/(6*a22)


r6185=0


       a22*r6356 + b12*kap*r6243
r6186=---------------------------
                  b12


r6187=0


            2                                                    2
       2*a22 *r6270 + 4*a22*b12*kap*r6230 - 2*a22*b12*r6353 - b12 *kap*r6270
r6188=-----------------------------------------------------------------------
                                          2
                                       b12


r6189=0


r6190=0


r6191=0


        - a22*r6133 + b12*kap*r6252
r6192=------------------------------
                   b12


r6193=r6389


r6194=0


       a22*r6407 + 2*b12*kap*r6336
r6195=-----------------------------
                  2*b12


r6196=0


       a22*r6356 + a22*r6407 + b12*kap*r6243 + 2*b12*kap*r6336
r6197=---------------------------------------------------------
                                2*b12


r6198=0


            2                                                    2
       2*a22 *r6270 + 4*a22*b12*kap*r6230 - 2*a22*b12*r6353 - b12 *kap*r6270
r6199=-----------------------------------------------------------------------
                                          2
                                       b12


       a22*r6356 + a22*r6407 + b12*kap*r6243 + 2*b12*kap*r6336 - b12*r6430
r6200=---------------------------------------------------------------------
                                      2*b12


             3              2                    2
r6201=( - a22 *r6270 - 2*a22 *b12*kap*r6230 + a22 *b12*r6353

                 2                3    2           3
        + a22*b12 *kap*r6270 + b12 *kap *r6230)/b12


r6202=0


r6203=0


                                             2
        - a22*kap*r6129 - a22*r6389 + b12*kap *r660
r6204=----------------------------------------------
                          2*b12


r6205=0


             3              2                    2
r6206=( - a22 *r6270 - 2*a22 *b12*kap*r6230 + a22 *b12*r6353

                 2                3    2           3
        + a22*b12 *kap*r6270 + b12 *kap *r6230)/b12


             2                                                2
        - a22 *r6356 - a22*b12*kap*r6243 + a22*b12*r6430 - b12 *kap*r6407
r6207=--------------------------------------------------------------------
                                          2
                                     2*b12


r6208=0


          3            2                    2                      2
r6209=(a22 *r6356 + a22 *b12*kap*r6243 - a22 *b12*r6430 + 2*a22*b12 *kap*r6407

               3    2              3
        + 2*b12 *kap *r6336)/(6*b12 )


r6210=0


        - 2*a22*r6149 + 4*a22*r6336 + b12*r6407
r6211=------------------------------------------
                      2*b12*kap


r6212=0


        - 2*a22*r6149 + 4*a22*r6336 + b12*r6407
r6213=------------------------------------------
                       b12*kap


r6214=0


        - 2*a22*r6149 + 4*a22*r6336 + b12*r6407
r6215=------------------------------------------
                      2*b12*kap


r6216=r6230


r6217=0


r6218=2*r6230


r6219=0


r6220=r6230


r6221=0


        - 2*a22*r6149 + 4*a22*r6336 + b12*r6407
r6222=------------------------------------------
                       b12*kap


r6223=0


        - 2*a22*r6149 + 4*a22*r6336 + b12*r6407
r6224=------------------------------------------
                       b12*kap


r6225=2*r6230


r6226=0


r6227=2*r6230


r6228=0


        - 2*a22*r6149 + 4*a22*r6336 + b12*r6407
r6229=------------------------------------------
                      2*b12*kap


r6231=0


r6232=r6270


r6233=0


r6234=r6270


r6235=0


r6236=r6243


r6237=0


r6238=r6243


r6239=0


r6240=0


r6241=r6270


r6242=0


r6244=0


r6245=0


r6246=0


        - 2*r6129 + r6356
r6247=--------------------
               2


r6248=0


r6249= - r6129


        - a22*r6270 - 2*b12*kap*r6230 + b12*r6157 + b12*r6252
r6250=--------------------------------------------------------
                                b12


r6251=0


r6253=0


r6254= - r6129


r6255=r6252


r6256=0


r6257= - r6133


r6258=0


r6260=0


r6261=0


r6262=0


r6263= - r6138


r6264=r680


r6265=0


r6266=0


r6267=0


r6268=r6270


r6269=0


r6271=0


r6272= - 2*r6149 + r6243 + 4*r6336


r6273=0


r6274= - 2*r6149 + r6243 + 4*r6336


r6275= - r6270


r6276=0


r6277=0


r6278=0


r6279= - 2*r6149 + r6243 + 4*r6336


r6280= - r6270


r6281=0


r6282=0


r6283=r6356


r6284=0


r6285=0


r6286=2*r6157 - 2*r6353


r6287=0


r6288= - r6356


r6289=0


r6290=0


r6291=0


r6292=0


r6293= - r6133


r6294=0


       a22*r6259 - b12*kap*r6129 + b12*r6389
r6295=---------------------------------------
                        a22


r6296=r6133


r6297=0


r6298=0


r6299=0


r6300=0


r6301=0


r6302=r6407


r6303=0


       r6356 + 2*r6407
r6304=-----------------
              2


       a22*r6270 + 2*b12*kap*r6230
r6305=-----------------------------
                   b12


r6306=0


       2*a22*r6270 + 4*b12*kap*r6230 + b12*r6157 - 2*b12*r6353
r6307=---------------------------------------------------------
                                 b12


r6308=0


r6309=( - a22*r6356 + 2*a22*r6407 - 2*b12*kap*r6149 + b12*kap*r6243

        + 4*b12*kap*r6336 - b12*r6430)/(2*a22)


r6310=r6353


r6311=0


               2                                                    2
        - 2*a22 *r6270 - 4*a22*b12*kap*r6230 + 2*a22*b12*r6353 + b12 *kap*r6270
r6312=--------------------------------------------------------------------------
                                            2
                                         b12


r6313=0


       a22*r6356 + b12*kap*r6243
r6314=---------------------------
                  b12


r6315=0


r6316=0


r6317=0


r6318= - r6389


        - a22*r6133 + b12*kap*r6252
r6319=------------------------------
                   b12


r6320=0


r6321=0


r6322=0


               2                                                    2
        - 2*a22 *r6270 - 4*a22*b12*kap*r6230 + 2*a22*b12*r6353 + b12 *kap*r6270
r6323=--------------------------------------------------------------------------
                                            2
                                         b12


r6324=0


r6325=r6430


            2                                                    2
       2*a22 *r6270 + 4*a22*b12*kap*r6230 - 2*a22*b12*r6353 - b12 *kap*r6270
r6326=-----------------------------------------------------------------------
                                          2
                                       b12


r6327=0


r6328=0


r6329=0


r6330=0


r6331=0


          2                                                2
       a22 *r6356 + a22*b12*kap*r6243 - a22*b12*r6430 + b12 *kap*r6407
r6332=-----------------------------------------------------------------
                                        2
                                   2*b12


             3              2                    2
r6333=( - a22 *r6270 - 2*a22 *b12*kap*r6230 + a22 *b12*r6353

                 2                3    2           3
        + a22*b12 *kap*r6270 + b12 *kap *r6230)/b12


r6334=0


r6335=0


r6337=0


r6338=r6149


r6339=0


r6340=r6149 - r6336


r6341=0


r6342=r6270


r6343=0


r6344=r6270


       1
r6345=---*r6243 + 2*r6336
       2


r6346=0


       2*r6149 + r6243
r6347=-----------------
              2


r6348=0


r6349=r6270


       1
r6350=---*r6243 + r6336
       2


       a22*r6270 + 2*b12*kap*r6230
r6351=-----------------------------
                   b12


r6352=0


r6354=0


r6355=0


r6357=0


r6358=r6157


r6359=0


r6360=0


        - 2*a22*r6129 + a22*r6356 + b12*kap*r6243 + 2*b12*kap*r660
r6361=-------------------------------------------------------------
                                  2*b12


r6362=0


               2                                 2                2
        - 2*a22 *r6129 + 2*a22*b12*kap*r660 + b12 *kap*r6129 - b12 *r6389
r6363=--------------------------------------------------------------------
                                   2*a22*b12


r6364=0


r6365= - r6133


        - 2*a22*r6129 + 2*b12*kap*r660 + b12*r6259
r6366=---------------------------------------------
                          2*b12


        - a22*r6133 + b12*kap*r6252
r6367=------------------------------
                   b12


r6368=0


r6369=0


        - 2*a22*r6138 - b12*kap*r6259 + 2*b12*kap*r674
r6370=-------------------------------------------------
                            2*b12


r6371=0


       a22*r6270 + 2*b12*kap*r6230
r6372=-----------------------------
                   b12


r6373=0


r6374=r6353


r6375= - r6407


r6376=0


r6377=(a22*r6356 - 2*a22*r6407 + 2*b12*kap*r6149 - b12*kap*r6243

        - 4*b12*kap*r6336 + b12*r6430)/(2*a22)


r6378=0


       2*a22*r6270 + 4*b12*kap*r6230 + b12*r6157 - 2*b12*r6353
r6379=---------------------------------------------------------
                                 b12


          1
r6380= - ---*r6356 - r6407
          2


r6381=0


       a22*r6356 + b12*kap*r6243
r6382=---------------------------
                  b12


r6383=0


            2                                                    2
       2*a22 *r6270 + 4*a22*b12*kap*r6230 - 2*a22*b12*r6353 - b12 *kap*r6270
r6384=-----------------------------------------------------------------------
                                          2
                                       b12


r6385=0


r6386=0


r6387=0


        - a22*r6133 + b12*kap*r6252
r6388=------------------------------
                   b12


r6390=0


       a22*r6407 + 2*b12*kap*r6336
r6391=-----------------------------
                   b12


r6392=0


r6393

  2*a22*r6356 + 2*a22*r6407 + 2*b12*kap*r6243 + 4*b12*kap*r6336 - b12*r6430
=---------------------------------------------------------------------------
                                    2*b12


r6394=0


r6395=0


r6396

  2*a22*r6356 + 2*a22*r6407 + 2*b12*kap*r6243 + 4*b12*kap*r6336 - b12*r6430
=---------------------------------------------------------------------------
                                    2*b12


               3              2                      2
r6397=( - 2*a22 *r6270 - 4*a22 *b12*kap*r6230 + 2*a22 *b12*r6353

                   2                  3    2           3
        + 2*a22*b12 *kap*r6270 + 2*b12 *kap *r6230)/b12


r6398=0


r6399=0


                                             2
        - a22*kap*r6129 - a22*r6389 + b12*kap *r660
r6400=----------------------------------------------
                           b12


r6401=0


               3              2                      2
r6402=( - 2*a22 *r6270 - 4*a22 *b12*kap*r6230 + 2*a22 *b12*r6353

                   2                  3    2           3
        + 2*a22*b12 *kap*r6270 + 2*b12 *kap *r6230)/b12


             2                                                2
        - a22 *r6356 - a22*b12*kap*r6243 + a22*b12*r6430 - b12 *kap*r6407
r6403=--------------------------------------------------------------------
                                         2
                                      b12


r6404=0


          3            2                    2                      2
r6405=(a22 *r6356 + a22 *b12*kap*r6243 - a22 *b12*r6430 + 2*a22*b12 *kap*r6407

               3    2              3
        + 2*b12 *kap *r6336)/(2*b12 )


r6406=0


r6408=0


r6409=(a22*r6356 + 6*a22*r6407 - 2*b12*kap*r6149 + b12*kap*r6243

        + 4*b12*kap*r6336 - b12*r6430)/(6*a22)


       a22*r6270 + 2*b12*kap*r6230
r6410=-----------------------------
                   b12


r6411=0


r6412=r6353


r6413=0


       1
r6414=---*r6356 + r6407
       2


       2*a22*r6270 + 4*b12*kap*r6230 + b12*r6157
r6415=-------------------------------------------
                         3*b12


r6416=0


               2                                                    2
        - 2*a22 *r6270 - 4*a22*b12*kap*r6230 + 2*a22*b12*r6353 + b12 *kap*r6270
r6417=--------------------------------------------------------------------------
                                            2
                                         b12


r6418=0


       a22*r6356 + b12*kap*r6243
r6419=---------------------------
                  b12


r6420=0


r6421=0


r6422=0


r6423= - r6389


        - a22*r6133 + b12*kap*r6252
r6424=------------------------------
                   b12


r6425=0


r6426=0


r6427=0


               2                                                    2
        - 2*a22 *r6270 - 4*a22*b12*kap*r6230 + 2*a22*b12*r6353 + b12 *kap*r6270
r6428=--------------------------------------------------------------------------
                                            2
                                         b12


r6429=0


            2                                                    2
       2*a22 *r6270 + 4*a22*b12*kap*r6230 - 2*a22*b12*r6353 - b12 *kap*r6270
r6431=-----------------------------------------------------------------------
                                          2
                                       b12


r6432=0


r6433=0


r6434=0


r6435=0


r6436=0


          2                                                2
       a22 *r6356 + a22*b12*kap*r6243 - a22*b12*r6430 + b12 *kap*r6407
r6437=-----------------------------------------------------------------
                                       2
                                    b12


               3              2                      2
r6438=( - 2*a22 *r6270 - 4*a22 *b12*kap*r6230 + 2*a22 *b12*r6353

                   2                  3    2           3
        + 2*a22*b12 *kap*r6270 + 2*b12 *kap *r6230)/b12


r6439=0


r6440=0


        1
       ---*a22*r6407 + b12*kap*r6336
        2
r6441=-------------------------------
                    b12


r6442=0


        1               1               1
r6443=(---*a22*r6356 + ---*a22*r6407 + ---*b12*kap*r6243 + b12*kap*r6336
        2               2               2

           1
        - ---*b12*r6430)/b12
           2


r6444=0


               2                                                    2
        - 2*a22 *r6270 - 4*a22*b12*kap*r6230 + 2*a22*b12*r6353 + b12 *kap*r6270
r6445=--------------------------------------------------------------------------
                                            2
                                         b12


        1               1               1
       ---*a22*r6356 + ---*a22*r6407 + ---*b12*kap*r6243 + b12*kap*r6336
        2               2               2
r6446=-------------------------------------------------------------------
                                      b12


             3              2                    2
r6447=( - a22 *r6270 - 2*a22 *b12*kap*r6230 + a22 *b12*r6353

                 2                3    2           3
        + a22*b12 *kap*r6270 + b12 *kap *r6230)/b12


r6448=0


r6449=0


                                             2
        - a22*kap*r6129 - a22*r6389 + b12*kap *r660
r6450=----------------------------------------------
                          2*b12


r6451=0


             3              2                    2
r6452=( - a22 *r6270 - 2*a22 *b12*kap*r6230 + a22 *b12*r6353

                 2                3    2           3
        + a22*b12 *kap*r6270 + b12 *kap *r6230)/b12


           1     2          1                       1
r6453=( - ---*a22 *r6356 - ---*a22*b12*kap*r6243 + ---*a22*b12*r6430
           2                2                       2

           1     2               2
        - ---*b12 *kap*r6407)/b12
           2


r6454=0


          3            2                    2                      2
r6455=(a22 *r6356 + a22 *b12*kap*r6243 - a22 *b12*r6430 + 2*a22*b12 *kap*r6407

               3    2              3
        + 2*b12 *kap *r6336)/(2*b12 )


r6456=0


        1     2          1                       1
r6457=(---*a22 *r6356 + ---*a22*b12*kap*r6243 - ---*a22*b12*r6430
        2                2                       2

           1     2               2
        + ---*b12 *kap*r6407)/b12
           2


             3              2                    2
r6458=( - a22 *r6270 - 2*a22 *b12*kap*r6230 + a22 *b12*r6353

                 2                3    2           3
        + a22*b12 *kap*r6270 + b12 *kap *r6230)/b12


r6459=0


r6460=0


        1     3          1     2                  1     2
r6461=(---*a22 *r6356 + ---*a22 *b12*kap*r6243 - ---*a22 *b12*r6430
        6                6                        6

           1         2              1     3    2           3
        + ---*a22*b12 *kap*r6407 + ---*b12 *kap *r6336)/b12
           3                        3


a23=0


a13=0


a11=a22


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:
 r660, r674, r680, r683, r6129, r6133, r6138, r6149, r6157, 
r6230, r6243, r6252, r6259, r6270, r6336, r6353, r6356, 
r6389, r6407, r6430, a33, a22, 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.
 
{a22,

 b12,

 a11,

 a22 - 2*a33,

   1     3              1     2    2              1     2    2
 {---*a22 *b12*r6356 + ---*a22 *b12 *kap*r6243 - ---*a22 *b12 *r6430
   6                    6                         6

      1         3              1     4    2
   + ---*a22*b12 *kap*r6407 + ---*b12 *kap *r6336,
      3                        3

     3              2                    2                    2
  a22 *r6270 + 2*a22 *b12*kap*r6230 - a22 *b12*r6353 - a22*b12 *kap*r6270

        3    2
   - b12 *kap *r6230,

   1     2              1         2              1         2
  ---*a22 *b12*r6356 + ---*a22*b12 *kap*r6243 - ---*a22*b12 *r6430
   2                    2                        2

      1     3
   + ---*b12 *kap*r6407,
      2

     4                3    2                3    2              2    3
  a22 *b12*r6356 + a22 *b12 *kap*r6243 - a22 *b12 *r6430 + 2*a22 *b12 *kap*r6407

              4    2
   + 2*a22*b12 *kap *r6336,

   1     3              1     2    2              1     2    2
  ---*a22 *b12*r6356 + ---*a22 *b12 *kap*r6243 - ---*a22 *b12 *r6430
   2                    2                         2

      1         3
   + ---*a22*b12 *kap*r6407,
      2

     3              2                    2                    2
  a22 *r6270 + 2*a22 *b12*kap*r6230 - a22 *b12*r6353 - a22*b12 *kap*r6270

        3    2
   - b12 *kap *r6230,

         2                    2            3    2
  a22*b12 *kap*r6129 + a22*b12 *r6389 - b12 *kap *r660,

     3              2                    2                    2
  a22 *r6270 + 2*a22 *b12*kap*r6230 - a22 *b12*r6353 - a22*b12 *kap*r6270

        3    2
   - b12 *kap *r6230,

   1                   1                   1     2                2
  ---*a22*b12*r6356 + ---*a22*b12*r6407 + ---*b12 *kap*r6243 + b12 *kap*r6336,
   2                   2                   2

       2                                                    2
  2*a22 *r6270 + 4*a22*b12*kap*r6230 - 2*a22*b12*r6353 - b12 *kap*r6270,

   1                   1                   1     2                2
  ---*a22*b12*r6356 + ---*a22*b12*r6407 + ---*b12 *kap*r6243 + b12 *kap*r6336
   2                   2                   2

      1     2
   - ---*b12 *r6430,
      2

   1
  ---*a22*r6407 + b12*kap*r6336,
   2

       3              2                      2                      2
  2*a22 *r6270 + 4*a22 *b12*kap*r6230 - 2*a22 *b12*r6353 - 2*a22*b12 *kap*r6270

          3    2
   - 2*b12 *kap *r6230,

       2                                                      2
  2*a22 *r6356 + 2*a22*b12*kap*r6243 - 2*a22*b12*r6430 + 2*b12 *kap*r6407,

       2                                                    2
  2*a22 *r6270 + 4*a22*b12*kap*r6230 - 2*a22*b12*r6353 - b12 *kap*r6270,

  r6430,

       3              2                      2                    2
  2*a22 *r6270 + 4*a22 *b12*kap*r6230 - 2*a22 *b12*r6353 - a22*b12 *kap*r6270,

     2                        2    2
  a22 *b12*kap*r6133 - a22*b12 *kap *r6252,

     2
  b12 *r6389,

  a22*r6356 + b12*kap*r6243,

       2                                                    2
  2*a22 *r6270 + 4*a22*b12*kap*r6230 - 2*a22*b12*r6353 - b12 *kap*r6270,

  2*a22*r6270 + 4*b12*kap*r6230 + b12*r6157,

   1
  ---*a22*b12*r6356 + a22*b12*r6407,
   2

  a22*b12*r6353,

  a22*r6270 + 2*b12*kap*r6230,

     2                  2                      2                    2
  a22 *b12*r6356 + 6*a22 *b12*r6407 - 2*a22*b12 *kap*r6149 + a22*b12 *kap*r6243

              2                    2
   + 4*a22*b12 *kap*r6336 - a22*b12 *r6430,

  r6407,

     4                3    2                3    2              2    3
  a22 *b12*r6356 + a22 *b12 *kap*r6243 - a22 *b12 *r6430 + 2*a22 *b12 *kap*r6407

              4    2
   + 2*a22*b12 *kap *r6336,

       3                  2    2                  2    2
  2*a22 *b12*r6356 + 2*a22 *b12 *kap*r6243 - 2*a22 *b12 *r6430

              3
   + 2*a22*b12 *kap*r6407,

       3              2                      2                      2
  2*a22 *r6270 + 4*a22 *b12*kap*r6230 - 2*a22 *b12*r6353 - 2*a22*b12 *kap*r6270

          3    2
   - 2*b12 *kap *r6230,

           2                      2              3    2
  2*a22*b12 *kap*r6129 + 2*a22*b12 *r6389 - 2*b12 *kap *r660,

       3              2                      2                      2
  2*a22 *r6270 + 4*a22 *b12*kap*r6230 - 2*a22 *b12*r6353 - 2*a22*b12 *kap*r6270

          3    2
   - 2*b12 *kap *r6230,

       2                  2                      2
  2*a22 *b12*r6356 + 2*a22 *b12*r6407 + 2*a22*b12 *kap*r6243

              2                    2
   + 4*a22*b12 *kap*r6336 - a22*b12 *r6430,

       2                  2                      2
  2*a22 *b12*r6356 + 2*a22 *b12*r6407 + 2*a22*b12 *kap*r6243

              2                    2
   + 4*a22*b12 *kap*r6336 - a22*b12 *r6430,

     2                      2
  a22 *b12*r6407 + 2*a22*b12 *kap*r6336,

  r6389,

     2    4                    5    2
  a22 *b12 *kap*r6133 - a22*b12 *kap *r6252,

       2                                                    2
  2*a22 *r6270 + 4*a22*b12*kap*r6230 - 2*a22*b12*r6353 - b12 *kap*r6270,

  a22*r6356 + b12*kap*r6243,

   1
  ---*a22*b12*r6356 + a22*b12*r6407,
   2

  2*a22*r6270 + 4*b12*kap*r6230 + b12*r6157 - 2*b12*r6353,

     2                  2                      2                    2
  a22 *b12*r6356 - 2*a22 *b12*r6407 + 2*a22*b12 *kap*r6149 - a22*b12 *kap*r6243

              2                    2
   - 4*a22*b12 *kap*r6336 + a22*b12 *r6430,

  r6407,

  b12*r6353,

  a22*r6270 + 2*b12*kap*r6230,

           2            3                  3
  2*a22*b12 *r6138 + b12 *kap*r6259 - 2*b12 *kap*r674,

     2                        2    2
  a22 *b12*kap*r6133 - a22*b12 *kap *r6252,

                         2               2
  2*a22*b12*r6129 - 2*b12 *kap*r660 - b12 *r6259,

         2
  a22*b12 *kap*r6133,

       2                      2               3                3
  2*a22 *b12*r6129 - 2*a22*b12 *kap*r660 - b12 *kap*r6129 + b12 *r6389,

                                       2                  2
  2*a22*b12*r6129 - a22*b12*r6356 - b12 *kap*r6243 - 2*b12 *kap*r660,

  b12*r6157,

  r6356,

  r6353,

  a22*r6270 + 2*b12*kap*r6230,

   1
  ---*r6243 + r6336,
   2

  r6270,

  2*a22*r6149 + a22*r6243,

   1
  ---*r6243 + 2*r6336,
   2

  r6270,

  r6270,

  a22*r6149 - a22*r6336,

  a22*r6149,

  r6336,

     3              2                    2                    2
  a22 *r6270 + 2*a22 *b12*kap*r6230 - a22 *b12*r6353 - a22*b12 *kap*r6270

        3    2
   - b12 *kap *r6230,

     2                    2                    2            3
  a22 *b12*r6356 + a22*b12 *kap*r6243 - a22*b12 *r6430 + b12 *kap*r6407,

       2                                                    2
  2*a22 *r6270 + 4*a22*b12*kap*r6230 - 2*a22*b12*r6353 - b12 *kap*r6270,

     2
  b12 *r6430,

       2                                                    2
  2*a22 *r6270 + 4*a22*b12*kap*r6230 - 2*a22*b12*r6353 - b12 *kap*r6270,

     2    2                    3    2
  a22 *b12 *kap*r6133 - a22*b12 *kap *r6252,

           2
  2*a22*b12 *r6389,

  a22*r6356 + b12*kap*r6243,

       2                                                    2
  2*a22 *r6270 + 4*a22*b12*kap*r6230 - 2*a22*b12*r6353 - b12 *kap*r6270,

  b12*r6353,

     2                  2                      2                    2
  a22 *b12*r6356 - 2*a22 *b12*r6407 + 2*a22*b12 *kap*r6149 - a22*b12 *kap*r6243

              2                    2
   - 4*a22*b12 *kap*r6336 + a22*b12 *r6430,

  2*a22*r6270 + 4*b12*kap*r6230 + b12*r6157 - 2*b12*r6353,

  a22*r6270 + 2*b12*kap*r6230,

  b12*r6356 + 2*b12*r6407,

  b12*r6407,

     2
  b12 *r6133,

                     2                2
  a22*b12*r6259 - b12 *kap*r6129 + b12 *r6389,

         2
  a22*b12 *kap*r6133,

  b12*r6356,

  2*b12*r6157 - 2*b12*r6353,

  b12*r6356,

  r6270,

  2*a22*r6149 - a22*r6243 - 4*a22*r6336,

  r6270,

  2*a22*r6149 - a22*r6243 - 4*a22*r6336,

  2*a22*r6149 - a22*r6243 - 4*a22*r6336,

  r6270,

  r6270,

         2
  a22*b12 *kap*r680,

     2
  b12 *r6138,

  r6259,

  a22*b12*kap*r6133,

  b12*r6252,

  b12*r6129,

  r6252,

  a22*r6270 + 2*b12*kap*r6230 - b12*r6157 - b12*r6252,

  2*b12*r6129,

  2*b12*r6129 - b12*r6356,

  r6243,

  r6270,

  r6243,

  r6243,

  r6270,

  r6270,

  r6230,

       2              2
  2*a22 *r6149 - 4*a22 *r6336 - a22*b12*r6407,

  2*r6230,

  2*r6230,

       2              2
  2*a22 *r6149 - 4*a22 *r6336 - a22*b12*r6407,

       2              2
  2*a22 *r6149 - 4*a22 *r6336 - a22*b12*r6407,

  r6230,

  2*r6230,

  r6230,

       2              2
  2*a22 *r6149 - 4*a22 *r6336 - a22*b12*r6407,

       2              2
  2*a22 *r6149 - 4*a22 *r6336 - a22*b12*r6407,

       2              2
  2*a22 *r6149 - 4*a22 *r6336 - a22*b12*r6407,

     4                3    2                3    2              2    3
  a22 *b12*r6356 + a22 *b12 *kap*r6243 - a22 *b12 *r6430 + 2*a22 *b12 *kap*r6407

              4    2
   + 2*a22*b12 *kap *r6336,

     3                2    2                2    2                3
  a22 *b12*r6356 + a22 *b12 *kap*r6243 - a22 *b12 *r6430 + a22*b12 *kap*r6407,

     3              2                    2                    2
  a22 *r6270 + 2*a22 *b12*kap*r6230 - a22 *b12*r6353 - a22*b12 *kap*r6270

        3    2
   - b12 *kap *r6230,

     2    2                2    2                3    2
  a22 *b12 *kap*r6129 + a22 *b12 *r6389 - a22*b12 *kap *r660,

     3              2                    2                    2
  a22 *r6270 + 2*a22 *b12*kap*r6230 - a22 *b12*r6353 - a22*b12 *kap*r6270

        3    2
   - b12 *kap *r6230,

     3                3                2    2                  2    2
  a22 *b12*r6356 + a22 *b12*r6407 + a22 *b12 *kap*r6243 + 2*a22 *b12 *kap*r6336

        2    2
   - a22 *b12 *r6430,

       2                                                    2
  2*a22 *r6270 + 4*a22*b12*kap*r6230 - 2*a22*b12*r6353 - b12 *kap*r6270,

     2                2                    2                      2
  a22 *b12*r6356 + a22 *b12*r6407 + a22*b12 *kap*r6243 + 2*a22*b12 *kap*r6336,

     2                      2
  a22 *b12*r6407 + 2*a22*b12 *kap*r6336,

           2
  2*a22*b12 *r6389,

     2    4                    5    2
  a22 *b12 *kap*r6133 - a22*b12 *kap *r6252,

       2                                                    2
  2*a22 *r6270 + 4*a22*b12*kap*r6230 - 2*a22*b12*r6353 - b12 *kap*r6270,

  a22*r6356 + b12*kap*r6243,

     2                  2                      2                    2
  a22 *b12*r6356 + 6*a22 *b12*r6407 - 2*a22*b12 *kap*r6149 + a22*b12 *kap*r6243

              2                    2
   + 4*a22*b12 *kap*r6336 - a22*b12 *r6430,

  b12*r6353,

  b12*r6356 + 2*b12*r6407,

  b12*r6407,

   2               4                   1
  ---*a22*r6270 + ---*b12*kap*r6230 + ---*b12*r6157,
   3               3                   3

  a22*r6270 + 2*b12*kap*r6230,

           2            3                  3
  2*a22*b12 *r6138 + b12 *kap*r6259 - 2*b12 *kap*r674,

     2                        2    2
  a22 *b12*kap*r6133 - a22*b12 *kap *r6252,

       2                      2               3                3
  2*a22 *b12*r6129 - 2*a22*b12 *kap*r660 - b12 *kap*r6129 + b12 *r6389,

         2
  a22*b12 *kap*r6133,

                         2               2
  2*a22*b12*r6129 - 2*b12 *kap*r660 - b12 *r6259,

                                       2                  2
  2*a22*b12*r6129 - a22*b12*r6356 - b12 *kap*r6243 - 2*b12 *kap*r660,

  b12*r6353,

  r6356,

  r6157,

  a22*r6270 + 2*b12*kap*r6230,

  a22*r6149 - a22*r6336,

  r6270,

  2*r6149 + r6243,

  r6149,

  r6270,

  r6270,

  a22*r6243 + 2*a22*r6336,

  a22*r6243 + 4*a22*r6336,

  r6138,

         2
  a22*b12 *kap*r680,

  r6133,

  r6259,

  r6129,

  r6252,

  r6129,

           1
  r6129 - ---*r6356,
           2

  b12*r6252,

  a22*r6270 + 2*b12*kap*r6230 - b12*r6157 - b12*r6252,

  r6270,

  r6243,

  r6270,

  r6270,

  r6243,

  r6243,

       2              2
  2*a22 *r6149 - 4*a22 *r6336 - a22*b12*r6407,

  r6230,

       2              2
  2*a22 *r6149 - 4*a22 *r6336 - a22*b12*r6407,

       2              2
  2*a22 *r6149 - 4*a22 *r6336 - a22*b12*r6407,

  2*r6230,

  2*r6230,

       2              2
  2*a22 *r6149 - 4*a22 *r6336 - a22*b12*r6407,

       2              2
  2*a22 *r6149 - 4*a22 *r6336 - a22*b12*r6407,

       2              2
  2*a22 *r6149 - 4*a22 *r6336 - a22*b12*r6407,

  r6230,

  2*r6230,

  r6230,

  r683,

  r680,

   1
  ---*b12*r6259 - b12*r674,
   2

  b12*r6259 - 2*b12*r674,

  r674,

  r6252,

  r6252,

  a22*r6270 + 2*b12*kap*r6230 - b12*r6157 - 3*b12*r6252,

  r660,

  r660,

  r6243 + 2*r660,

  r660,

   1
  ---*r6243 + r660,
   2

  r6243 + r660,

  r6230,

  2*r6230,

  2*r6230,

  r6230,

  2*r6230,

  r6230,

       3              3            2                      2
  2*a22 *r6149 - 4*a22 *r6336 - a22 *b12*r6407 + 2*a22*b12 *kap*r6336,

       3              3            2                      2
  2*a22 *r6149 - 4*a22 *r6336 - a22 *b12*r6407 + 2*a22*b12 *kap*r6336,

       3              3            2                      2
  2*a22 *r6149 - 4*a22 *r6336 - a22 *b12*r6407 + 2*a22*b12 *kap*r6336,

       3              3            2                      2
  2*a22 *r6149 - 4*a22 *r6336 - a22 *b12*r6407 + 2*a22*b12 *kap*r6336,

       3              3            2                      2
  2*a22 *r6149 - 4*a22 *r6336 - a22 *b12*r6407 + 2*a22*b12 *kap*r6336,

       3              3            2                      2
  2*a22 *r6149 - 4*a22 *r6336 - a22 *b12*r6407 + 2*a22*b12 *kap*r6336,

       3              3            2                      2
  2*a22 *r6149 - 4*a22 *r6336 - a22 *b12*r6407 + 2*a22*b12 *kap*r6336,

       3              3            2                      2
  2*a22 *r6149 - 4*a22 *r6336 - a22 *b12*r6407 + 2*a22*b12 *kap*r6336,

       3              3            2                      2
  2*a22 *r6149 - 4*a22 *r6336 - a22 *b12*r6407 + 2*a22*b12 *kap*r6336,

       3              3            2                      2
  2*a22 *r6149 - 4*a22 *r6336 - a22 *b12*r6407 + 2*a22*b12 *kap*r6336,

  r6336}}


Relevance for the application:

The system of equations related to the Hamiltonian HAM:

      2                     2                     2
HAM=u1 *a22 + u1*v2*b12 + u2 *a22 - u2*v1*b12 + u3 *a33

has apart from the Hamiltonian and Casimirs the following 0 first integrals: 



And again in machine readable form:



HAM=u1**2*a22 + u1*v2*b12 + u2**2*a22 - u2*v1*b12 + u3**2*a33$