discopy

Discopy

Discopy adalah toolkit Python untuk komputasi dengan diagram string.

• Organisasi: https://discopy.org
• Dokumentasi: https://docs.discopy.org
• Kode Sumber: https://github.com/discopy/discopy
• Kertas (untuk ahli teori kategori terapan): https://doi.org/10.4204/eptcs.333.13
• Kertas (untuk Ilmuwan Komputer Quantum): https://arxiv.org/abs/2205.05190

Diskopi dimulai sebagai implementasi Discocat dan QNLP. Ini sekarang telah menjadi perpustakaannya sendiri: lambeq.

Fitur

• Struktur data Arrow untuk kategori belati gratis dengan jumlah formal, operator unary dan variabel simbolik dari sympy
• Struktur data Diagram untuk diagram string planar dalam kategori monoidal (pra) dalam hierarki bahasa grafis (dengan kepang, tikungan, laba -laba, dll.)
• Struktur data Hypergraph untuk diagram string dalam kategori hypergraph dan pembatasannya untuk kategori simetris, dilacak, kompak dan Markov
• Metode untuk komposisi diagram, menggambar, penulisan ulang, dan evaluasi Functor ke:
  • Kode Python, IE kabel sebagai jenis dan kotak sebagai fungsi
  • Jaringan Tensor, IE kabel sebagai dimensi dan kotak sebagai array dari Numpy, Pytorch, Tensorflow, Tensnornetwork dan Jax
• Implementasi interfacing mekanika kuantum kategorikal dengan:
  • Tket untuk kompilasi sirkuit
  • Pyzx untuk optimasi dengan kalkulus ZX
  • Pennylane untuk diferensiasi otomatis
• Implementasi tata bahasa formal (bebas konteks, kategorial, preGroup atau ketergantungan) dengan antarmuka ke lambeq, spacy dan nltk

Contoh: Memasak

Contoh ini terinspirasi dari posting blog Pawel Sobocinski Crema di Mascarpone dan penalaran diagram.

 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

Jika Anda ingin melihat Discopy beraksi, lihat tutorial QNLP!

Menyumbang

Kami ingin menyambut kontributor baru!

Pertama, baca pedoman yang berkontribusi. Kemudian hubungi perselisihan atau buka masalah.

Bagaimana mengutip

Jika Anda menggunakan diskotasi dalam konteks publikasi akademik, kami sarankan Anda mengutip:

• G. de Felice, A. Toumi & B. Coecke, Discopy: Kategori Monoidal dalam Python , EPTCS 333, 2021, hlm. 183-197, doi: 10.4204/EPTCS.333.13

Jika lebih lanjut pekerjaan Anda terkait dengan komputasi kuantum, Anda juga dapat mengutip:

• A. Toumi, G. de Felice & R. Yeung, Diskop untuk Ilmuwan Komputer Quantum , Arxiv: 2205.05190

Jika Anda menggunakan salah satu fitur terbaru (misalnya Hypergraph ), Anda juga harus menyebutkan:

• A. Toumi, R. Yeung, B. Poór & G. de Felice, Discopy: Hirarki Bahasa Grafis dalam Python Arxiv: 2311.10608