symja_android_library icon indicating copy to clipboard operation
symja_android_library copied to clipboard
verified publisher icon axkr

Implement diophantine solvers from Mangara/diophantine

Open axkr opened this issue 1 year ago • 1 comments

Use the diophantine solvers from this library:

  • https://github.com/Mangara/diophantine

in the FindInstance function

Enable: ToggleFeature.SOLVE_DIOPHANTINE = true to test the experimental implementation.

@Mangara: maybe you can help verifying the implementation?

axkr avatar Aug 24 '24 16:08 axkr

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 diophantinePolynomial. QuadraticSolver.solve already defers to ParabolicSolver where appropriate.

Mangara avatar Oct 17 '24 00:10 Mangara