×

珍妮特

swMATH ID: 7776
软件作者: Blinkov Y、Cid C、Gerdt V、Plesken W、Robertz D
描述: Maple包Janet实现了V.P.Gerdt和Y.A.Blinkov的对合基技术,用于计算线性偏微分方程组的Janet基和Janet-like Gröbner基。它使用Maple中特征为零的微分域上定义的微分代数上的左模。Janet还提供了许多用于处理微分表达式和微分运算符的工具。可以计算非线性偏微分方程组的一般线性化。一些过程将微分表达式转换为jet表示法,反之亦然。对于表示特征零点上系数为有理函数的常微分算子的Weyl代数,实现了初等除数算法[Rehm 2001/2002],[Cohn 1985],以计算该Weyl代数学中含有项的矩阵的Jacobson正规形式。在Janet中可用的微分单项式的序中,有度逆字典序、纯字典序、块序及其对多个因变量情况的扩展,这些因变量对应于多项式情况下的“项高于位置”和“位置高于项”序。为了避免对合基计算过程中不必要的缩减,实现了四个对合准则。
主页: http://wwwb.math.rwth-aachen.de/Janet/Janet.html
依赖项: 枫树
相关软件: 单一;枫树;Ore模块;麦考利2;复数;岩浆;差异托马斯;正则链;吉诺夫;奎伦斯普林;霍马格;矿石形态;DIFFALG公司;珍妮特·奥尔;SADE公司;宝石;代数托马斯;裂纹;可可;时间差分系统
引用于: 37文件

按年份列出的引文