#16590: interface sympy Diophantine function(s)
-----------------------------------------------+------------------------
       Reporter:  rws                          |        Owner:
           Type:  enhancement                  |       Status:  new
       Priority:  major                        |    Milestone:  sage-6.3
      Component:  number theory                |   Resolution:
       Keywords:  pellian, integers, solution  |    Merged in:
        Authors:                               |    Reviewers:
Report Upstream:  N/A                          |  Work issues:
         Branch:                               |       Commit:
   Dependencies:                               |     Stopgaps:
-----------------------------------------------+------------------------
Description changed by rws:

Old description:

> In sympy the solution of Diophantine equations is available for several
> types of equations
> (http://docs.sympy.org/latest/modules/solvers/diophantine.html). This
> meta-ticket aims at
>
> * making the resp. sympy functions fully usable with Sage
>   1. symbolic expressions (#16591)
>   2. univariate polynomials
>   3. multivariate polynomials
>   4. quadratic forms
>   5. lists of linear 1/2/3
> * implementing a global `solve_diophantine()` function that wraps the
> sympy functionality
> * where useful implementing member functions `solve_diophantine()`

New description:

 In sympy the solution of Diophantine equations is available for several
 types of equations
 (http://docs.sympy.org/latest/modules/solvers/diophantine.html). This
 meta-ticket aims at

 * implementing a global `solve_diophantine()` function that wraps the
 sympy functionality and takes
   1. symbolic expressions (up to order 2)
   2. univariate polynomials (up to order 2)
   3. multivariate polynomials (up to order 2)
   4. quadratic forms
 * where useful implementing member functions `solve_diophantine()`

 It is however not possible to directly make the resp. sympy functions
 fully usable with Sage, from within Sage. If desired that must be done in
 sympy.

--

--
Ticket URL: <http://trac.sagemath.org/ticket/16590#comment:3>
Sage <http://www.sagemath.org>
Sage: Creating a Viable Open Source Alternative to Magma, Maple, Mathematica, 
and MATLAB

-- 
You received this message because you are subscribed to the Google Groups 
"sage-trac" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to [email protected].
To post to this group, send email to [email protected].
Visit this group at http://groups.google.com/group/sage-trac.
For more options, visit https://groups.google.com/d/optout.

Reply via email to