如何在Mathematica中完成以下任务?
In[1] := Solve[f[2,3]==5,f ∈ {Plus,Minus,Divide}]
Out[1] := Plus
答案 0 :(得分:8)
可以将所需的表达式语法转换为一组Solve
表达式:
fSolve[expr_, f_ ∈ functions_List] :=
Map[Solve[(expr /. f -> #) && f == #, f] &, functions] // Flatten
样品使用:
In[6]:= fSolve[f[2,3] == 5, f ∈ {Plus, Subtract, Divide}]
Out[6]= {f -> Plus}
In[7]:= fSolve[f[4,2] == 2, f ∈ {Plus, Subtract, Divide}]
Out[7]= {f -> Subtract, f -> Divide}
这种方法的优点是Solve
的全部功能仍可用于更复杂的表达式,例如
In[8]:= fSolve[D[f[x], x] < f[x], f ∈ {Log, Exp}]
Out[8]= {f -> ConditionalExpression[Log, x Log[x]∈Reals && x>E^ProductLog[1]]}
In[9]:= fSolve[D[f[x], x] <= f[x], f ∈ {Log, Exp}]
Out[9]= {f -> ConditionalExpression[Log, x Log[x]∈Reals && x>=E^ProductLog[1]],
f -> ConditionalExpression[Exp, E^x ∈ Reals]}
答案 1 :(得分:6)
请告诉我这是否符合您的要求:
findFunction[expr_, head_ ∈ {ops__}] :=
Quiet@Pick[{ops}, expr /. head -> # & /@ {ops}]
findFunction[f[2, 3] == 5, f ∈ {Plus, Minus, Divide}]
(* Out[]= {Plus} *)
答案 2 :(得分:3)
我不知道内置函数,但是自己写一个并不难。您可以使用以下方法:
Clear@correctOperatorQ;
correctOperatorQ[expr_, value_,
operators_] := (expr == value) /. Head[expr] -> # & /@ operators
顺便说一下,2-3
的正确运算符是Subtract
,而不是Minus
。您的示例的结果:
correctOperatorQ[f[2, 3], 5, {Plus,Subtract,Divide}]
Out[1]={True, False, False}