discopy下載 - discopy源代碼下載

discopy

其他源碼

v1.1.7

下載

圓盤拷貝

圓盤拷貝是用於使用字符串圖計算的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 ()