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

tensor product distributes over direct sum #2079

Merged
merged 8 commits into from
Sep 10, 2024
Merged

tensor product distributes over direct sum #2079

merged 8 commits into from
Sep 10, 2024

Commits on Sep 7, 2024

  1. tensor product distributes over direct sum 

    <!-- ps-id: eb39fcb0-37ae-4e35-a619-c99f476f071a -->

Signed-off-by: Ali Caglayan <[email protected]>
    @Alizter
    Alizter committed Sep 7, 2024
    Configuration menu
    Copy the full SHA
    b674663 View commit details
    Browse the repository at this point in the history

Commits on Sep 10, 2024

  1. generalise ab_biprod_decompose to groups 

    Signed-off-by: Ali Caglayan <[email protected]>
    @Alizter
    Alizter committed Sep 10, 2024
    Configuration menu
    Copy the full SHA
    fb585df View commit details
    Browse the repository at this point in the history

  2. ab_biprod_corec_eta' is just ab_biprod_ind_homotopy 

    Signed-off-by: Ali Caglayan <[email protected]>
    @Alizter
    Alizter committed Sep 10, 2024
    Configuration menu
    Copy the full SHA
    2d9b338 View commit details
    Browse the repository at this point in the history

  3. rename equiv_path_biprod_corec -> equiv_ab_biprod_ind_homotopy 

    Signed-off-by: Ali Caglayan <[email protected]>
    @Alizter
    Alizter committed Sep 10, 2024
    Configuration menu
    Copy the full SHA
    6bb1265 View commit details
    Browse the repository at this point in the history

  4. make proof of ab_tensor_prod_dist_l more readable 

    Signed-off-by: Ali Caglayan <[email protected]>
    @Alizter
    Alizter committed Sep 10, 2024
    Configuration menu
    Copy the full SHA
    5bcf020 View commit details
    Browse the repository at this point in the history

  5. rename ab_biprod_ind_hprop -> ab_biprod_ind 

    Signed-off-by: Ali Caglayan <[email protected]>
    @Alizter
    Alizter committed Sep 10, 2024
    Configuration menu
    Copy the full SHA
    024a7a1 View commit details
    Browse the repository at this point in the history

  6. more reduction in ab_tensor_prod_dist_l 

    Signed-off-by: Ali Caglayan <[email protected]>
    @Alizter
    Alizter committed Sep 10, 2024
    Configuration menu
    Copy the full SHA
    96b6e0b View commit details
    Browse the repository at this point in the history

  7. move and simplify equiv_ab_biprod_ind_homotopy 

    Signed-off-by: Ali Caglayan <[email protected]>
    @Alizter
    Alizter committed Sep 10, 2024
    Configuration menu
    Copy the full SHA
    acba3a7 View commit details
    Browse the repository at this point in the history