求解 Maple 中的变量答案

【问题标题】：Solving for a variable in Maple求解 Maple 中的变量
【发布时间】：2013-11-22 16:06:25
【问题描述】：

在 Maple 中，有人知道是否存在求解变量的函数吗？例如，我正在尝试为 r 解决 solve4r=(M-x^y)*(r^(-1)) mod (p-1)。所以我知道 M、x、y 和 p 的值，但不知道 r，我试图弄清楚我们的值。我该怎么做？

另外，我不是在寻找专属的 Maple 命令。可以使用 c 或 MATLAB，因为这两个程序都可以处理相当大的整数。我正在处理长度为 30-50 位的数字。

【问题讨论】：

什么是“solve4r”？这是一个变量吗？
我不知道如何使用一个方程同时求解r 和p。您认为这里可以使用一个方程求解 2 个未知数吗？试过solve4r := (M-x^y)*(r^(01))mod(p-1); subs({M=5,x=7,y=9},solve4r); solve(%,p);

标签： c matlab maple

【解决方案1】：

我的第一个想法反映了卡尔的评论：solve4r 是什么？是已知的，还是变量，还是...？

我想知道以下其中一项是否与您要完成的任务相似。

猜一猜：

restart:                                               

eq:=solve4r=(M-x^y)*(r^(-1));

                                             y
                                        M - x
                        eq := solve4r = ------
                                          r

p:=6:

msolve( eval(eq,[solve4r=14568,M=78646234442,x=3,y=5]), p-1);

                                {r = 3}

猜测二：

restart:

eq:=solve4r*r=(M-x^y);

                                              y
                       eq := solve4r r = M - x

p:=6:

sols:={msolve( eval(eq,[M=78646234442,x=3,y=5]), p-1)};

                                           4
    sols := {{r = r, solve4r = 4/r}, {r = -------, solve4r = solve4r}}
                                        solve4r

r=eval(r,select(hastype,sols,identical(solve4r)=identical(solve4r))[1]);

                                     4
                              r = -------
                                  solve4r

msolve( eval(%,solve4r=14568), p-1 );

                                {r = 3}

【讨论】：