diff --git a/工具v2/database_tools.py b/工具v2/database_tools.py index 8486797d..729da07f 100644 --- a/工具v2/database_tools.py +++ b/工具v2/database_tools.py @@ -1016,6 +1016,7 @@ def RefineMathpix(raw_string): # 进一步修改mathpix得到的字符串 string = re.sub(r"[\\\\]*\n(\(\d{1,2}\))(?:(?!\n)\s)*",lambda matchobj: "\\\\\n"+matchobj.group(1)+" ",string) #新一行的小题号回车前加上换行符 string = re.sub(r"\(([^\(\)]*(?:\\in|=|\\ge|\\le|\\ne|>|<)[^\(\)]*)\)\$",lambda matchobj: "$($" + matchobj.group(1) + "$)",string) #公式最后的范围陈述的括号放到公式环境外 string = re.sub(r"\$\$\(","(",string) #删去上一步造成的多余双$ + string = re.sub(r"\(\s\$","($",string) #删去首个括号内公式前的空格 string = re.sub(r"\(\\begin\{cases\}",r"\\begin{pmatrix}",string) #修改错误的\begin{cases}) string = re.sub(r"\\end\{cases\}\)",r"\\end{pmatrix}",string) #修改错误的(\end{cases} string = SplitMathComma(string) #判断数学环境中的","是否需要用$ $分离, 如果需要则执行分离