论文部分内容阅读
基于符号的计算系统—枫树，宽松的对为的类似减小(2+1 ) 由古典谎言点组方法的维的微分 Sawada Kotera (SK ) 方程，被介绍。我们获得几有趣的减小。在一样的对称组下面把减少的宽松的对的相容性与减少的 SK 方程作比较，我们发现减少的宽松的对总是不导致减少的 SK 方程。一般来说，减少的方程是减少的宽松的对的相容性条件的子集。