A Maple package for verifying ultradiscrete soliton solutions

Abstract
We present a computer algebra program for verifying soliton solutions of ultradiscrete equations in which both dependent and independent variables take discrete values. The package is applicable to equations and solutions that include the max function. The program is implemented using Maple software.

Title of program: Ultde
Catalogue Id: AEDB_v1_0

Nature of problem
The existence of multi-soliton solutions strongly suggest the integrability of nonlinear evolution equations. However enormous calculation is required to verify multi-soliton solutions of ultradiscrete equations. The use of computer algebra can be helpful in such calculations.

Versions of this program held in the CPC repository in Mendeley Data
AEDB_v1_0; Ultde; 10.1016/j.cpc.2009.01.009

This program has been imported from the CPC Program Library held at Queen's University Belfast (1969-2019)

**摘要**
本文提出一款用于验证超离散方程（ultradiscrete equations）孤子解（soliton solutions）的计算机代数程序，该类方程的因变量与自变量均取离散值。本程序包可兼容包含max函数的方程与解，基于Maple软件开发实现。

程序名称：Ultde
目录编号：AEDB_v1_0

**问题本质**
多孤子解（multi-soliton solutions）的存在性可有力佐证非线性演化方程（nonlinear evolution equations）的可积性。然而，验证超离散方程的多孤子解需开展海量计算，借助计算机代数工具可有效简化此类计算任务。

**Mendeley数据平台CPC程序库收录的本程序版本**
AEDB_v1_0; Ultde; 10.1016/j.cpc.2009.01.009

本程序源自贝尔法斯特女王大学托管的CPC程序库（1969-2019年）。