修改Refinemathpix函数的两个bug

工具v2/database_tools.py

@@ -985,11 +985,15 @@ def RefineMathpix(raw_string): # 进一步修改mathpix得到的字符串
     string = re.sub(r"(%[^\n]*)\\blank\{50\}\.",lambda matchobj:matchobj.group(1),string) #注释行不加\blank{50}
     string = re.sub(r"[\\\\]*\n(\(\d{1,2}\))(?:(?!\n)\s)*",lambda matchobj: "\\\\\n"+matchobj.group(1)+" ",string) #新一行的小题号回车前加上换行符
     string = re.sub(r"\(([^\(\)]*(?:\\in |=|\\ge|\\le|>|<)[^\(\)]*)\)\$",lambda matchobj: "$($" + matchobj.group(1) + "$)",string) #公式最后的范围陈述的括号放到公式环境外
+    string = re.sub(r"\$\$\(","(",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) #判断数学环境中的","是否需要用$ $分离, 如果需要则执行分离
     string = MergeMathComma(string) #判断非数学环境中的","是否需要合并在一个数学环境中, 如果需要则执行合并
     string = RefineCasesEnv(string) #美化cases环境
     string = RefineChineseComma(string) #改顿号
     
+
     return string
 
 def RefineChineseComma(string): #顿号如果在数学环境中, 则在两侧加上$符号