-
Notifications
You must be signed in to change notification settings - Fork 49
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
Polynomial division #523
base: main
Are you sure you want to change the base?
Polynomial division #523
Conversation
Hi PY, Did you replace the lengthy set calls by sequences of rewrites? |
Also I might have some uncommitted proofs. I will check later today. |
@Boutry I changed nothing. I just pulled out the |
I assume smt? |
Indeed. Got auto"corrected". Is there something to measure the duration of set calls atm? Maybe I do not need to replace them all if only a few take too much time. We should also try and merge the field extension development at some point. After the 29th I can start by rebasing it. There were only a few admits left I think. |
When the file compiles, we can start looking at |
And yes, the ultimate goal is to merge the finite field theory. However, I'd like to merge polydiv first. |
Going back to that. I don't think we need to pseudo-division (TL;DR we do crypto). I would like to prune that part and just to keep the division for |
No description provided.