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.
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
Add more monomial and module orderings #723
Add more monomial and module orderings #723
Changes from all commits
19b0353
85374bd
92aa1c6
d4ecf51
17eb506
79e489a
9b07333
3d72582
969a95e
fae927b
89a1606
5eb7097
c8641f7
88d1b8c
cd276ed
1d7abfb
6287e62
98f8e1e
027f738
260186c
0976d1b
af3ebf4
54e2292
9eb3f62
c9646f7
2a460ff
30ca2b2
9b324ac
a313dda
7f525ac
8c7cc49
3423fa1
6807d02
3dc3553
6fe80d7
f4cba57
7b12f0d
ad787d2
File filter
Filter by extension
Conversations
Jump to
There are no files selected for viewing