discopy

圆盘拷贝

圆盘拷贝是用于使用字符串图计算的Python工具包。

• 组织： https：//discopy.org
• 文档： https：//docs.discopy.org
• 源代码： https：//github.com/discopy/discopy
• 论文（用于应用类别理论家）： https：//doi.org/10.4204/eptcs.333.13
• 论文（用于量子计算机科学家）： https：//arxiv.org/abs/2205.05190

圆盘拷贝是作为实施Discocat和QNLP的。现在，这已成为其自己的图书馆：Lambeq。

特征

• Arrow数据结构的免费匕首类别，带有正式总和，单一操作员和Sympy的符号变量
• 图形语言层次结构（带有编织，曲折，蜘蛛等）中任何（PRE）单体类别中平面字符串图的Diagram数据结构
• HyperGraph类别中的Hypergraph图及其对对称，跟踪，紧凑和Markov类别的弦图数据结构
• 图表组成，绘图，重写和Functor评估的方法：
  • python代码，即电线作为类型和盒子作为功能
  • 张量网络，即电线作为尺寸和盒子，作为numpy，pytorch，tensorflow，tensornetwork和jax的阵列
• 分类量子力学的实施与以下方式接口：
  • 电路汇编
  • PYZX用ZX演算优化
  • pennylane自动差异化
• 与Lambeq，Spacy和NLTK接口的形式语法（无上下文，类别，前组或依赖关系）的实现

示例：烹饪

该示例的灵感来自Pawel Sobocinski的博客文章Crema Di Mascarpone和Mingrammatic推理。

 from discopy . symmetric import Ty as Ingredient , Box as Step , Diagram as Recipe

egg , white , yolk = Ingredient ( "egg" ), Ingredient ( "white" ), Ingredient ( "yolk" )
crack = Step ( "crack" , egg , white @ yolk )
merge = lambda x : Step ( "merge" , x @ x , x )

# DisCoPy allows string diagrams to be defined as Python functions

@ Recipe . from_callable ( egg @ egg , white @ yolk )
def crack_two_eggs ( left_egg , right_egg ):
    left_white , left_yolk = crack ( left_egg )
    right_white , right_yolk = crack ( right_egg )
    return ( merge ( white )( left_white , right_white ),
            merge ( yolk )( left_yolk , right_yolk ))

# ... or in point-free style using parallel (@) and sequential (>>) composition

assert crack_two_eggs == crack @ crack 
  >> white @ Recipe . swap ( yolk , white ) @ yolk 
  >> merge ( white ) @ merge ( yolk )

crack_two_eggs . draw ()

Quickstart

pip install discopy

如果您想查看盘式操作，请查看QNLP教程！

贡献

我们热衷于欢迎新贡献者！

首先，阅读贡献指南。然后取得联系或打开问题。

如何引用

如果您在学术出版物的背景下使用了盘式拷贝，我们建议您引用：

• G. de Felice，A。Toumi＆B。Coecke，盘式：Python中的单体类别，EPTCS 333，2021，第183-197页，doi：10.4204/eptcs.333.13

如果您的工作与量子计算有关，则也可以引用：

• A. Toumi，G。DeFelice＆R。Yeung， 《量子计算机科学家的盘式》 ，Arxiv：2205.05190

如果您使用最近的任何功能（例如Hypergraph ），则应提及：

• A. Toumi，R。Yeung，B。Poór＆G。de Felice， Discopy：Python Arxiv中图形语言的层次结构：2311.10608