-
Notifications
You must be signed in to change notification settings - Fork 120
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
Make new versions of AA, Nemo, Hecke available #3231
Conversation
Somebody else has to cherry-pick 0c0e8c8 . I don't have "write" rights. |
I do that once I come across this on my list. |
d2c09e2
to
4b22cb9
Compare
41f4211
to
efc8631
Compare
Co-authored-by: Max Horn <max@quendi.de>
Co-authored-by: Johannes Schmitt <jschmitt@posteo.eu>
e087df8
to
749e7e4
Compare
Co-authored-by: Stevell Muller <muller@math.uni-sb.de>
7d8a03c
to
e3d65ac
Compare
Local testing against oscar-system/Singular.jl@f5db183 succeeds now. So I think the only thing missing now is a Singular.jl release (and adjustments to everything else contained in there, e.g. oscar-system/Singular.jl#764). |
Codecov Report
Additional details and impacted files@@ Coverage Diff @@
## master #3231 +/- ##
==========================================
+ Coverage 81.63% 81.65% +0.01%
==========================================
Files 546 546
Lines 73163 73102 -61
==========================================
- Hits 59730 59691 -39
+ Misses 13433 13411 -22
|
This PR collects everything that has to be adapted to keep master green.
GroupsCore: includes and thus closes #3139, closes #3070
Padics: includes and thus closes #3196
[skip ci]