discopy discopy - discopy رمز المصدر discopy

discopy

شفرة المصدر الأخرى

v1.1.7

تنزيل

ديسكوبي

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

بدأ discopy كتطبيق Discocat و QNLP. لقد أصبح هذا الآن مكتبته الخاصة: Lambeq.

سمات

بنية بيانات Arrow لفئات خنجر مجانية مع مبالغ رسمية ومشغلين أحادي ومتغيرات رمزية من Sympy
بنية بيانات Diagram لمخططات سلسلة مستوية في أي فئة أحادية (قبل) في التسلسل الهرمي للغات الرسومية (مع الضفائر ، التحولات ، العناكب ، إلخ)
بنية بيانات Hypergraph لرسومات السلسلة في فئات Hypergraph وقيودها على الفئات المتماثلة ، تتبعها ، مضغوطة وماركوف
طرق لتكوين الرسم البياني ، الرسم ، إعادة الكتابة وتقييم Functor إلى:
- رمز Python ، أي الأسلاك كأنواع وصناديق كوظائف
- شبكات الموتر ، IE الأسلاك كأبعاد وصناديق كصفائف من Numpy و Pytorch و TensorFlow و Tensornetwork و Jax
تنفيذ ميكانيكا الكم الفئوية المتواصل مع:
- TKET لتجميع الدائرة
- PYZX للتحسين مع حساب التفاضل والتكامل ZX
- بينيلين للتمايز التلقائي
تنفيذ القواعد الرسمية (خالية من السياق ، فئة ، pregroup أو التبعية) مع واجهات إلى Lambeq و Spacy و NLTK

مثال: الطبخ

هذا المثال مستوحى من مدونة Pawel Sobocinski Post Crema di Mascarpone والتفكير التخطيطي.

 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 ()