在Maple中求解变量

Question

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

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

Answer 1

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

我想知道以下情况之一是否与您要实现的目标类似。

猜1：

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}

猜猜2：

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}