Combining maple and form to decide on integrability questions

✍ Scribed by Jan A. Sanders; Jing Ping Wang

• Book ID: 104109858
• Publisher: Elsevier Science
• Year: 1998
• Tongue: English
• Weight: 779 KB
• Volume: 115
• Category: Article
• ISSN: 0010-4655
• DOI: 10.1016/s0010-4655(98)00122-2

✦ Synopsis

We consider the existence problem of (infinitely many) symmetries for equations of the form U, = uk + F(u, . . . , nt-, ) when they are A-homogeneous (with respect to the scaling Uk H ,u A+kUk). This involves fairly large calculations which are carried out in a mixture of Form and Maple. We give an introduction to this mixed language style of programming, indicating how the choice of language will be determined by bottlenecks in the computation. We give some fairly complete results for the A = 0 case, which leads to more difficult computer algebra problems involving differential ideals. Finally we show some results extending the methods to cosymmetries. @ 1998