From 804122f87f300647ab141c0d0488be1cb03e0ac7 Mon Sep 17 00:00:00 2001 From: "weiye.wang" Date: Tue, 6 Feb 2024 10:31:03 +0800 Subject: [PATCH] =?UTF-8?q?=E5=A2=9E=E5=8A=A0=E6=A0=B9=E6=8D=AE=E5=8D=95?= =?UTF-8?q?=E5=85=83=E5=90=8D=E8=8E=B7=E5=8F=96=E5=8D=95=E5=85=83=E5=8F=B7?= =?UTF-8?q?=E5=8A=9F=E8=83=BDgetUnitNumber,=20mathpix=E4=BC=98=E5=8C=96?= =?UTF-8?q?=E4=B8=AD=E5=A2=9E=E5=8A=A0"=E7=AB=9F=E8=B5=9B"=E6=94=B9?= =?UTF-8?q?=E4=B8=BA"=E7=AB=9E=E8=B5=9B"?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit --- 工具v2/database_tools.py | 7 ++++++- 1 file changed, 6 insertions(+), 1 deletion(-) diff --git a/工具v2/database_tools.py b/工具v2/database_tools.py index 53c52b50..3b988fea 100644 --- a/工具v2/database_tools.py +++ b/工具v2/database_tools.py @@ -1326,7 +1326,7 @@ def setCopy(string): # 写入剪切板内容 def RefineMathpix(raw_string): # 进一步修改mathpix得到的字符串 puctuationsfulltosemi = {"　": " ","。": ". ","．": ". ","，": ", ","：": ": ","；": "; ","（": "(","）": ")","？": "? ","“": "``","”": "''", "【": "[", "】": "]"} replacestrings = {r"\\overparen": r"\\overset\\frown", "eqslant": "eq", r"\\vec": r"\\overrightarrow ", r"\\bar": r"\\overline", r"\\lim": r"\\displaystyle\\lim", r"\\sum":r"\\displaystyle\\sum", r"\\prod":r"\\displaystyle\\prod", r"\\mid":"|", r"\^\{\\prime\}":"'",r"e\^":r"\\mathrm{e}^",r"/\s*/":r"\\parallel "} - wrongrecog = {"雉":"锥","[粗秿]圆":"椭圆","投郑":"投掷","抛郑":"抛掷","范目":"范围","揷":"插","末见":"未见","末成":"未成","针角":"钝角","幕函数":"幂函数","末知":"未知","阀值":"阈值","祖[桓晅]":"祖暅","图象":"图像","末使用":"未使用","末来":"未来"} + wrongrecog = {"雉":"锥","[粗秿]圆":"椭圆","投郑":"投掷","抛郑":"抛掷","范目":"范围","揷":"插","末见":"未见","末成":"未成","针角":"钝角","幕函数":"幂函数","末知":"未知","阀值":"阈值","祖[桓晅]":"祖暅","图象":"图像","末使用":"未使用","末来":"未来","竟赛":"竞赛"} string = raw_string string = re.sub(r"\\left([\.\(\[|])",lambda matchobj: "" if matchobj.group(1) == "." else matchobj.group(1),string) #删去括号前的\left标记 string = re.sub(r"\\right([\.\)\]|])",lambda matchobj: "" if matchobj.group(1) == "." else matchobj.group(1),string) #删去括号前的\right标记\ @@ -1633,6 +1633,11 @@ def getUnit(n): # 返回0-9的数字对应的单元名 if 0<=n<=9: return unitlist[n] +def getUnitNumber(string): + unitlist = ["暂无对应","第一单元","第二单元","第三单元","第四单元","第五单元","第六单元","第七单元","第八单元","第九单元"] + if string in unitlist[1:]: + return unitlist.index(string) + def ExtractProblemIDs(paperdict,pro_dict):#从备课组材料的每一张讲义的dict(paperdict)中提取题号 output = [] for key in paperdict.keys():