setintersection #91
Open
setintersection #91
Conversation
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
…ia's invmod for UInt (unconfirmed).
Bump version number and add a "make clean" version
Add missing *(::nf_elem, ::Integer)
Bump antic version and wrap some new functions
Owner
|
Thanks, but could you possibly rebase your branch on master and resubmit the pull request. This can be done as follows (it assumes you have it set up to pull from Nemocas/Nemo.jl master, but to push to your own repository): git checkout master The -f will force it to overwrite the old arb_intersection branch in your GitHub repository with the rebased one (and it will force a push of all other branches too - adjust if you don't want this). |
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
3 participants
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.
Add setintersection for Nemo.arb.
It just calls arb_intersection from C library.