-
Notifications
You must be signed in to change notification settings - Fork 112
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
Chow rings of matroids #2905
Chow rings of matroids #2905
Conversation
Co-authored-by: Max Horn <max@quendi.de>
Co-authored-by: Max Horn <max@quendi.de>
Co-authored-by: Max Horn <max@quendi.de>
Co-authored-by: Benjamin Lorenz <benlorenz@users.noreply.github.com>
Co-authored-by: Benjamin Lorenz <benlorenz@users.noreply.github.com>
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Much better, thanks!
Hmm. CI fails... Will try restarting it... |
Codecov Report
@@ Coverage Diff @@
## master #2905 +/- ##
========================================
Coverage 80.23% 80.23%
========================================
Files 462 462
Lines 65458 65918 +460
========================================
+ Hits 52521 52891 +370
- Misses 12937 13027 +90
|
Thank you all for your help (and for restarting the test often enough) |
This commit removes an unnecessary helper function and adds a function which gives the user the volume map of the chow ring.