PSEUDO: applications of streams and lazy evaluation to integrable models

Abstract Procedures to manipulate pseudo-differential operators in MAPLE are implemented in the program PSEUDO to perform calculations with integrable models. We use lazy evaluation and streams to represent and operate with pseudo-differential operators. No order of truncation is needed since terms are produced on demand. We give a series of concrete examples. Title of program: PSEUDO Catalogue Id: ADUO_v1_0 Nature of problem Determination of equations of motion and conserved charges in the theory of integrable models. Versions of this program held in the CPC repository in Mendeley Data ADUO_v1_0; PSEUDO; 10.1016/j.cpc.2004.08.001 This program has been imported from the CPC Program Library held at Queen's University Belfast (1969-2018)

摘要：在Maple环境中用于操作拟微分算子（pseudo-differential operators）的抽象程序已在PSEUDO程序中实现，以开展可积模型的相关计算。本程序采用惰性求值（lazy evaluation）与流（streams）来表示并操作拟微分算子；由于计算项按需生成，无需指定截断阶数。本文提供了一系列具体示例。程序名称：PSEUDO
目录编号：ADUO_v1_0
问题本质：可积模型理论中运动方程与守恒荷（conserved charges）的确定。孟德尔数据（Mendeley Data）的CPC库中收录的该程序版本：ADUO_v1_0；PSEUDO；DOI:10.1016/j.cpc.2004.08.001
本程序源自贝尔法斯特女王大学维护的CPC程序库（1969-2018）。