Question

我正在尝试通过JSON将2个函数传递给python脚本，以评估它们的等效性。我遇到的问题是输入使用AsciiMath表示法。如果格式与Python表达式的格式一致，看来sympify从字符串中解析表达式没有问题。有没有一种方法可以将AsciiMath表示法解析为Python可以解释的内容？我找不到任何提供这种功能的库。

PHP：

$data = array("2*x", "x*2"); // returns true as expected
$data = array("2x", "x2"); // AsciiMath notation does not work
$result = shell_exec('python /path/check.py ' . escapeshellarg(json_encode($data)));

Python：

import sys, json
from sympy import *

# Load the json data sent from PHP
try:
    data = json.loads(sys.argv[1])
except:
    sys.exit(1)

x = Symbol('x')

# Convert string inputs to expressions
user_response = sympify(data[0])
correct_answer = sympify(data[1])

# Perform equivalence comparison
result = user_response == correct_answer

# Return result
print json.dumps(result)

Answer 1

在问这样的问题时，您应该演示该问题。这是我想发生的事情。

使用一组表达式，sympify可以正常工作：

In [144]: sympify('2*x')==sympify('x*2')                                             
Out[144]: True

但与另一对：

In [145]: sympify('2x')==sympify('x2')                                               
---------------------------------------------------------------------------
SyntaxError                               Traceback (most recent call last)
/usr/local/lib/python3.6/dist-packages/sympy/core/sympify.py in sympify(a, locals, convert_xor, strict, rational, evaluate)
    367         a = a.replace('\n', '')
--> 368         expr = parse_expr(a, local_dict=locals, transformations=transformations, evaluate=evaluate)
    369     except (TokenError, SyntaxError) as exc:
 ...
SympifyError: Sympify of expression 'could not parse '2x'' failed, because of exception being raised:
SyntaxError: invalid syntax (<string>, line 1)

仅用于'2x'字符串。对于其他字符串：

In [146]: sympify('x2')                                                              
Out[146]: x₂

sympify期望可以在sympy环境中评估的字符串

将任意表达式转换为可以在SymPy内部使用的类型。

上面写着arbitrary，但是文档所描述的更具限制性。

It currently accepts as arguments:
   - any object defined in sympy
   - standard numeric python types: int, long, float, Decimal
   - strings (like "0.09" or "2e-19")
   - booleans, including ``None`` (will leave ``None`` unchanged)
   - lists, sets or tuples containing any of the above

在这个问题的上下文中，这意味着使用x的表达式，该表达式的定义是

x = Symbol('x')

但是使用y的用户会遇到问题。

===

sympify产生一个sympy表达式：

In [161]: expr = sympify('2*x')                                                      

In [162]: type(expr)                                                                 
Out[162]: sympy.core.mul.Mul

然后可以通过各种方式对其进行“评估”。除了sympy强调表达式是不可变的之外，我可以将其描述为“修改的”。这些动作都会产生新的表达式或值：

In [163]: expr.subs(x,21)                                                            
Out[163]: 42

In [164]: expr.diff(x)                                                               
Out[164]: 2

In [165]: expr.integrate(x)                                                          
Out[165]: 
 2
x

===

同样，核心Python解释器无法评估这种表达式，

定义一个新符号和表达式：

In [166]: y = Symbol('y')                                                            
In [167]: expr = sympify('2*y')                                                      

In [168]: expr                                                                       
Out[168]: 2⋅y

将y重新分配为Python整数，不会更改expr的值：

In [169]: y = 21                                                                         
In [170]: expr                                                                       
Out[170]: 2⋅y

但是它确实允许我们评估正则Python表达式：

In [171]: 2*y                                                                        
Out[171]: 42

但是使用x符号的相同Python表达式会产生一个sympy表达式：

In [172]: 2*x                                                                        
Out[172]: 2⋅x

===

https://docs.sympy.org/latest/modules/parsing.html

此parsing模块具有处理诸如“ 2x”之类的表达式的方式。至少文档显示：

（再次在isympy会话中）：

In [173]: from sympy.parsing.sympy_parser import parse_expr                          

In [174]: from sympy.parsing.sympy_parser import parse_expr, standard_transformations
     ...: , implicit_multiplication_application                                      

In [175]: transformations=(standard_transformations + (implicit_multiplication_applic
     ...: ation,))                                                                   

In [176]: parse_expr('2x', transformations=transformations)                          
Out[176]: 2⋅x

In [177]: parse_expr('x2', transformations=transformations)                          
Out[177]: 2⋅x

因此它确实可以处理您的示例，但是我对asciimatch的了解还不够多，无法知道还有多少其他方法可以解决。

该页面还讨论了LaTeX解析器https://docs.sympy.org/latest/modules/parsing.html#experimental-latex-parsing

将AsciiMath解析为Python表达式

1 个答案: