-
Notifications
You must be signed in to change notification settings - Fork 2
All issues
Issue creation is restricted in this repository
Issues
is:issue state:open
is:issue state:open
Search results
Ramanujan–Nagell solver integration and regression fixtures
enhancementNew feature or requestNew feature or requestStatus: Open.Explicit analytic bounds and certified reductions for Ramanujan–Nagell
enhancementNew feature or requestNew feature or requestStatus: Open.Pethő–de Weger ideal and recurrence branch enumeration
enhancementNew feature or requestNew feature or requestStatus: Open.Elementary b = 2 Ramanujan–Nagell branches
enhancementNew feature or requestNew feature or requestStatus: Open.Simultaneous-Pell solver integration and partial fallback boundaries
enhancementNew feature or requestNew feature or requestStatus: Open.#84 In DiophantineLibrary/DiophantineClassifier;Extension to supported nonunit right-hand sides
enhancementNew feature or requestNew feature or requestStatus: Open.#83 In DiophantineLibrary/DiophantineClassifier;Evidence and certificate integration for simultaneous Pell bounds
enhancementNew feature or requestNew feature or requestStatus: Open.#82 In DiophantineLibrary/DiophantineClassifier;Certified Baker–Davenport reduction for the unit right-hand-side case
enhancementNew feature or requestNew feature or requestStatus: Open.#81 In DiophantineLibrary/DiophantineClassifier;Complete seed-orbit enumeration for generalized Pell equations
enhancementNew feature or requestNew feature or requestStatus: Open.#80 In DiophantineLibrary/DiophantineClassifier;Genus-2 rational-points Magma adapter (RationalPointsGenus2)
enhancementNew feature or requestNew feature or requestStatus: Open.Integral elliptic-quartic Magma adapter (IntegralQuarticPoints)
enhancementNew feature or requestNew feature or requestStatus: Open.Thue–Mahler Magma adapter (Gherga–Siksek)
enhancementNew feature or requestNew feature or requestStatus: Open.