“…To facilitate the algorithm, symbolic manipulation programs by computer algebra systems such as Mathematica and Maple have been developed by many researchers [5][6][7][8][9][10][11][12][13][14][15][16][17][18]. In solving DTEs, Cartan's exterior forms approach [18], Janet-Riquier theory [8,9], the Gröbner base algorithm [11,12], the Rosenfeld-Gröbner algorithm [14], the Ritt-Kolchin differential algebra method [5], formal power series analysis [6], the characteristic set method [19,20], and so on are used to reduce the DTEs into a simpler form, such as the normal, orthonomic, involutive, and passive forms, so that the reduced system is easily manageable. However, from the point of view of the algorithm, producing DTEs (Equation (5)) from Equation 4for a symmetry is restricted by an imposed requirement on the considered PDEs that the PDEs have to admit a "solved-and-triangular"structure (see a description about the structure of the implementation of the Lie algorithm on pages 372-375 in [16]).…”