A Direct Algorithm Maple Package of One-Dimensional Optimal System for Group Invariant Solutions

摘要

To construct the one-dimensional optimal system of finite dimensional Lie algebra automatically,we develop a new Maple package One Optimal System.Meanwhile,we propose a new method to calculate the adjoint transformation matrix and find all the invariants of Lie algebra in spite of Killing form checking possible constraints of each classification.Besides,a new conception called invariance set is raised.Moreover,this Maple package is proved to be more efficiency and precise than before by applying it to some classic examples.