Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Develop #3

Merged
merged 82 commits into from
Dec 14, 2024
Merged

Develop #3

merged 82 commits into from
Dec 14, 2024

Conversation

esennesh
Copy link
Member

No description provided.

esennesh and others added 30 commits September 10, 2021 10:40
cartesian.Function: write function compositions in terms of base func…
86eaf1a 
…tions

Signed-off-by: esennesh <[email protected]>
cartesian.Function: remove indirection from call in tensor-product fu…
5f98709 
…nction

Signed-off-by: esennesh <[email protected]>
cartesian.Function: nest function compositions via compose library
4381aa2 
Signed-off-by: Eli Sennesh <[email protected]>
@esennesh
Merge pull request #2 from oxford-quantum-group/main
ebb5872 
Merge version 0.3.7.1 release into neu-pml fork
Merge branch 'main' into develop
a00f09e
cat.Box: do not recurse infinitely through strings in recursive_free_…
3b25d57 
…symbols

Signed-off-by: Eli Sennesh <[email protected]>
wiring: implement free semantic categories of monoidal wiring diagrams
f5b2786 
Signed-off-by: esennesh <[email protected]>
wiring.Id: take a monoidal Ty as a domain instead of a PRO wire-count
8739f1c 
Signed-off-by: esennesh <[email protected]>
wiring.Box: take a monoidal Ty as domain, codomain instead of PRO wir…
c1861a1 
…e-count

Signed-off-by: esennesh <[email protected]>
wiring.Parallel: use Ty() as identity in object reduction
b3e5582 
Signed-off-by: esennesh <[email protected]>
wiring.Parallel: use tensor operator in catamorphism
f05e562 
Signed-off-by: Eli Sennesh <[email protected]>
wiring.Sequential: use composition operator in catamorphism
4dea981 
Signed-off-by: Eli Sennesh <[email protected]>
wiring: divide functors into base class and functor for pure wiring d…
b15e140 
…iagrams

Signed-off-by: Eli Sennesh <[email protected]>
Merge branch 'feature/diagram_data' into develop
07c3003
wiring: get rid of unnecessary elif in _flatten_arrows
f3cce5f 
Signed-off-by: Eli Sennesh <[email protected]>
wiring.Sequential: simplify constructor
6f000b5 
Signed-off-by: Eli Sennesh <[email protected]>
wiring.Wiring: include methods to sequentially merge wires across dia…
65c8772 
…gram

Signed-off-by: Eli Sennesh <[email protected]>
wiring.Wiring: implement dagger() operation via an F-algebra
c1e733a 
Signed-off-by: Eli Sennesh <[email protected]>
wiring.Wiring: add a functorially implemented draw() method for wirin…
61b893e 
…g diagrams

Signed-off-by: Eli Sennesh <[email protected]>
wiring.Wiring: rewrite then() and tensor() to conform to Discopy conv…
4e291d8 
…entions

Signed-off-by: Eli Sennesh <[email protected]>
wiring.Id: correct method signatures for then() and tensor()
77e567c 
Signed-off-by: Eli Sennesh <[email protected]>
wiring.Sequential: then() composition by recursive composition with l…
782904a 
…ast layer

Signed-off-by: Eli Sennesh <[email protected]>
wiring.Parallel: then() composition that performs shortening of wires
4b414f6 
Signed-off-by: Eli Sennesh <[email protected]>
wiring.WiringFunctor: optional typing for functors into wiring diagrams
eb88449 
Signed-off-by: Eli Sennesh <[email protected]>
docs/notebooks/wiring: example of mapping monoidal diagrams to wiring…
036f7bc 
… diagrams

Signed-off-by: Eli Sennesh <[email protected]>
Merge branch 'feature/consolidate_wiring_diagrams' into develop
25d1094
wiring.Parallel: return value from call to superclass's method
143061a 
Signed-off-by: esennesh <[email protected]>
wiring.Parallel: count boxes with null domains as "empty" wires
50a2d1d 
Signed-off-by: esennesh <[email protected]>
wiring: compress all calls to reduce on a parallel or sequential comp…
bc7e954 
…osition

Signed-off-by: Eli Sennesh <[email protected]>
wiring: split identity morphisms into individual wires when flattenin…
d145cc4 
…g factors

Signed-off-by: Eli Sennesh <[email protected]>
Eli Sennesh added 29 commits February 18, 2022 15:10
Merge branch 'feature/wiring_graph' into develop
d90315a 
Testing Done: drew GMM diagram's graph in notebook
cartesian.Function: represent tensor products of Functions linearly
f84652d 
Signed-off-by: esennesh <[email protected]>
cartesian.compose: write our own compose() implementation due to list…
c172fb8 
…ification

Signed-off-by: Eli Sennesh <[email protected]>
messages: add expected_output_length() message
991aef2 
Signed-off-by: Eli Sennesh <[email protected]>
cartesian.Function: check output tuple length as well as input
2d3af1b 
Signed-off-by: Eli Sennesh <[email protected]>
wiring.Parallel: insert missing factors into tensor product before co…
8375ee7 
…mposition

Signed-off-by: esennesh <[email protected]>
Merge branch 'main' into develop
362a02e 
Signed-off-by: Eli Sennesh <[email protected]>
wiring: rewrite file headings
a475856 
Signed-off-by: Eli Sennesh <[email protected]>
wiring.Diagram: refactor wiring diagram class according to new Discop…
f39bd80 
…y norms

Signed-off-by: Eli Sennesh <[email protected]>
wiring.Id: refactor identity wiring diagram according to new Discopy …
b4a2bb8 
…norms

Signed-off-by: Eli Sennesh <[email protected]>
wiring.Box: remove unnecessary constructor
5235e55 
Signed-off-by: Eli Sennesh <[email protected]>
wiring.Sequential: refactor sequential wiring diagram for new Discopy…
485853e 
… norms

Signed-off-by: Eli Sennesh <[email protected]>
wiring.Parallel: refactor parallel wiring diagram for new Discopy norms
b8ca800 
Signed-off-by: Eli Sennesh <[email protected]>
wiring.Diagram: iterate over self and others explicitly in tensor pro…
79cf967 
…duct

Signed-off-by: Eli Sennesh <[email protected]>
wiring.Parallel: explicitly convert to monoidal types when tensoring …
5f33a6c 
…factors

Signed-off-by: Eli Sennesh <[email protected]>
wiring.Functor: construct monoidal Category as the codomain of a functor
50f26f8 
Signed-off-by: Eli Sennesh <[email protected]>
wiring.WiringFunctor: monoidal Category of wiring diagrams as functor…
2ebae0f 
… codomain

Signed-off-by: Eli Sennesh <[email protected]>
Merge branch 'bugfix/upgrade_wiring' into develop
02bdc05
python.Function: name import and variable naming corrections
922f92a 
Signed-off-by: Eli Sennesh <[email protected]>
wiring.Diagram: completely detach from monoidal.Diagram parent class
ebbc859 
Signed-off-by: Eli Sennesh <[email protected]>
wiring.Id: match composition interface to Discopy standard
d6efc9e 
Signed-off-by: Eli Sennesh <[email protected]>
wiring.Sequential: match interface for composition to the rest of Dis…
b7f3528 
…copy

Signed-off-by: Eli Sennesh <[email protected]>
wiring.Parallel: match interface for composition to the rest of Discopy
ce2d28c 
Signed-off-by: Eli Sennesh <[email protected]>
wiring.Functor: use codomain category for identity-arrow factory
061d33f 
Signed-off-by: Eli Sennesh <[email protected]>
wiring: add back Parallel clause to pattern-match in _dagger_falg()
2763e59 
Signed-off-by: Eli Sennesh <[email protected]>
python.product: match tuplify/untuplify ordering to original Function
b3d870c 
Signed-off-by: Eli Sennesh <[email protected]>
python.compose: match tuplify/untuplify ordering to original Function
458999d 
Signed-off-by: Eli Sennesh <[email protected]>
python.Function: match untuplify usage in id to the original
ad003ea 
Signed-off-by: Eli Sennesh <[email protected]>
Merge branch 'bugfix/wiring_monoidal' into develop
74a8723
@esennesh esennesh merged commit 7a2b181 into main Dec 14, 2024
1 of 2 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers
No reviews
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
1 participant
@esennesh