Implement diophantine solvers from Mangara/diophantine #1056
Labels
Comments
axkr
changed the title
axkr
added a commit
that referenced
this issue
Aug 24, 2024
axkr
added a commit
that referenced
this issue
Aug 24, 2024
- set ToggleFeature.SOLVE_DIOPHANTINE = true to test the experimental implementation
|
Looks reasonable to me. I'm glad you find it useful! One small thing I noticed - I'm not sure why you try to detect the special cases yourself in |
axkr
added a commit
that referenced
this issue
Oct 17, 2024
- suggested by @Mangara - `QuadraticSolver.solve` already defers to `ParabolicSolver`
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Use the diophantine solvers from this library:
in the
FindInstancefunctionEnable:
ToggleFeature.SOLVE_DIOPHANTINE = trueto test the experimental implementation.@Mangara: maybe you can help verifying the implementation?
The text was updated successfully, but these errors were encountered: