ONEOptimal:A Maple Package for Generating One-Dimensional Optimal System of Finite Dimensional Lie Algebra

We present a Maple computer algebra package, ONEOptimal, which can calculate one-dimensional optimal system of finite dimensional Lie algebra for nonlinear equations automatically based on Olver's theory. The core of this theory is viewing the Killing form of the Lie algebra as an invariant for the adjoint representation. Some examples are given to demonstrate the validity and efficiency of the program.