Set A,B
intersecting(A,B)
set C := intersection(A,B)
Label A $\text$
Label B $\text$
Label C $\text$
Domain和Style就交给专业人士 ， 要用的时候调用软件包就行了 。
第二步 ， 使用约束性优化来合成满足给定规范的图 。
该方法主要受到手绘图的启发 。

本文插图
3500星 ， 登上GitHub热榜
Penrose展现的效果 ， 得到了网友们的点赞 。
目前 ， Penrose的GitHub已经有3500标星 ， 在Hacker News上也有399的热度 。
有网友认为 ， 想要理解数学概念 ， 可视化是非常重要的手段 ， 而Penrose可能会给数学教育带来很大的帮助 。

本文插图
还有网友表示 ， 希望几何绘图软件Geogebra能集成这一功能 。

本文插图
不过 ， 也有网友指出 ， 简单的示例说明了系统的思想 ， 但还是希望看到Penrose实现的更为复杂的数学概念可视化 ， 以证明其确实可以表达数学领域的复杂关系 。

本文插图
【CMU纯文本输入，就能绘制精美数学图表：CMU绘图工具登GitHub热榜】

• 中国新闻网|内蒙古新冠肺炎境外输入确诊病例清零后又新增1例
• 报告|内蒙古新增1例境外输入确诊病例
• 境外|内蒙古5日报告新增1例境外输入新冠肺炎确诊病例
• 中国新闻网|内蒙古报告新增1例境外输入确诊病例
• 内蒙古卫健委|内蒙古自治区报告新增境外输入确诊病例1例
• 内蒙古新增1例境外输入病例，已隔离治疗
• 江西新增境外输入无症状感染者3例，均为留俄学生
• 内蒙古新增境外输入病例1例，已隔离治疗
• 中国新闻网|福建新增2例境外输入无症状感染者
• 内蒙古自治区报告新增境外输入确诊病例1例