In the present paper a model of transformations of polynomial equations (the so called "direct image" model) is studied. We express, in this model, some minimal polynomials and some resolvents relative to the Galois group of a polynomial in order to use a general algorithm of resolution. This algorithm can be effectively computed in MACSYMA with the extension SYM that manipulates symmetric polynomials. We give a few examples obtained by specializing the general algorithm for the Galois resolvent.
在本文中,研究了多项式方程的变换模型(所谓的“直接图像”模型)。为了使用通用的解析算法,我们在此模型中表示一些最小多项式和某些相对于多项式的Galois组的解析子。该算法可以在MACSYMA中使用扩展SYM来有效地计算,该扩展可以操纵对称多项式。我们给出一些通过专门针对Galois解析器的通用算法获得的示例。 P>
L.1.T.P, Universite Pierre et Marie Curie, 4, Place Jussieu, 75252 Paris Cedex 05, GRECO DE CALCUL FORMEL No 60;
机译:对称稳定过程的可分辨核的渐近展开和谱函数的行为
机译:过滤器包括一些解决方案来解决真正的对称明确概述的eigenproblems
机译:对称运算符和MG Kerin的分辨率公式的自相伴随延伸的压缩
机译:通过使用解析器的多项式作为真正对称的概念概念的过滤器来过滤对角化方法
机译:钩形,近钩形和两行形的两个Schur函数的体积性和体积性产生的一类(q,t)对称函数。
机译:脂肪酸衍生的亲溶剂对神经元离子通道活性的调节
机译:通过微分表达式和非负算子函数在半轴上生成的对称关系的广义解
机译:动态规划理论中的泛函方程。十,决议,特征功能和价值观,