-
Notifications
You must be signed in to change notification settings - Fork 331
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.
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
[Merged by Bors] - feat(Algebra/TensorAlgebra): support towers of algebras #6073
Closed
Commits on Jul 23, 2023
-
Configuration menu - View commit details
-
Copy full SHA for 64b9342 - Browse repository at this point
Copy the full SHA 64b9342View commit details -
Configuration menu - View commit details
-
Copy full SHA for 23a1289 - Browse repository at this point
Copy the full SHA 23a1289View commit details -
feat(Algebra/FreeAlgebra): support towers of algebras
This provide `Algebra R (FreeAlgebra A X)` when `Algebra R A`. This also fixes some diamonds that would arise as a result of this new instance.
Configuration menu - View commit details
-
Copy full SHA for 534225e - Browse repository at this point
Copy the full SHA 534225eView commit details -
Merge remote-tracking branch 'origin/eric-wieser/ringquot-tower' into…
… eric-wieser/tower-FreeAlgebra
Configuration menu - View commit details
-
Copy full SHA for 02860bf - Browse repository at this point
Copy the full SHA 02860bfView commit details -
Configuration menu - View commit details
-
Copy full SHA for 72ecf11 - Browse repository at this point
Copy the full SHA 72ecf11View commit details -
Configuration menu - View commit details
-
Copy full SHA for 5bd526b - Browse repository at this point
Copy the full SHA 5bd526bView commit details -
Configuration menu - View commit details
-
Copy full SHA for b81c037 - Browse repository at this point
Copy the full SHA b81c037View commit details -
Configuration menu - View commit details
-
Copy full SHA for 8514db7 - Browse repository at this point
Copy the full SHA 8514db7View commit details -
Configuration menu - View commit details
-
Copy full SHA for e1494c8 - Browse repository at this point
Copy the full SHA e1494c8View commit details -
Configuration menu - View commit details
-
Copy full SHA for 559f0da - Browse repository at this point
Copy the full SHA 559f0daView commit details -
Configuration menu - View commit details
-
Copy full SHA for 58ce2c8 - Browse repository at this point
Copy the full SHA 58ce2c8View commit details -
Configuration menu - View commit details
-
Copy full SHA for 6a0b002 - Browse repository at this point
Copy the full SHA 6a0b002View commit details -
Configuration menu - View commit details
-
Copy full SHA for 7994589 - Browse repository at this point
Copy the full SHA 7994589View commit details
Commits on Jul 24, 2023
-
Merge commit '95a48b5184be1fff2e29807ff28ef377e2872c5b' into eric-wie…
…ser/ringquot-tower
Configuration menu - View commit details
-
Copy full SHA for 181200c - Browse repository at this point
Copy the full SHA 181200cView commit details -
Configuration menu - View commit details
-
Copy full SHA for 9aae83e - Browse repository at this point
Copy the full SHA 9aae83eView commit details -
Configuration menu - View commit details
-
Copy full SHA for 5dd4831 - Browse repository at this point
Copy the full SHA 5dd4831View commit details -
Configuration menu - View commit details
-
Copy full SHA for b0e9a79 - Browse repository at this point
Copy the full SHA b0e9a79View commit details
Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.