discopy Download - discopy Source Source Download

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 สำหรับแผนภาพสตริงระนาบในหมวดหมู่ monoidal (ก่อน) ใด ๆ ในลำดับชั้นของภาษากราฟิก (พร้อม braids, บิด, แมงมุม, ฯลฯ )
โครงสร้างข้อมูล Hypergraph สำหรับไดอะแกรมสตริงในหมวดหมู่ไฮเปอร์กราฟและข้อ จำกัด ของหมวดหมู่สมมาตรติดตาม, กะทัดรัดและมาร์คอฟหมวดหมู่
วิธีการสำหรับองค์ประกอบแผนภาพการวาดการเขียนใหม่และการประเมิน Functor ใน:
- รหัส Python เช่นสายไฟเป็นประเภทและกล่องเป็นฟังก์ชั่น
- Tensor Networks เช่นสายไฟเป็นขนาดและกล่องเป็นอาร์เรย์จาก numpy, pytorch, tensorflow, tensornetwork และ jax
การใช้งานกลศาสตร์ควอนตัมเชิงหมวดหมู่ที่เชื่อมต่อกับ:
- TKET สำหรับการรวบรวมวงจร
- PYZX สำหรับการเพิ่มประสิทธิภาพด้วยแคลคูลัส ZX
- Pennylane สำหรับความแตกต่างโดยอัตโนมัติ
การใช้งานไวยากรณ์อย่างเป็นทางการ (ปราศจากบริบทหมวดหมู่การจัดกลุ่มหรือการพึ่งพา) กับอินเทอร์เฟซกับ Lambeq, Spacy และ NLTK

ตัวอย่าง: การทำอาหาร

ตัวอย่างนี้ได้รับแรงบันดาลใจจากบล็อกโพสต์บล็อกของ Pawel Sobocinski และการใช้เหตุผลแบบไดอะแกรม

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