From 9def5f46aef986516b36a16c3dfe22424011394e Mon Sep 17 00:00:00 2001 From: wangweiye7840 Date: Tue, 25 Jul 2023 15:36:33 +0800 Subject: [PATCH] =?UTF-8?q?=E4=BF=AE=E6=94=B9Refinemathpix=E5=87=BD?= =?UTF-8?q?=E6=95=B0=E7=9A=84=E4=B8=A4=E4=B8=AAbug?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit --- 工具v2/database_tools.py | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/工具v2/database_tools.py b/工具v2/database_tools.py index 74627d80..b5f69c69 100644 --- a/工具v2/database_tools.py +++ b/工具v2/database_tools.py @@ -985,10 +985,14 @@ 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