#15855: Disable PARI algorithm for weierstrass_p in positive characteristic
-------------------------------------+-------------------------------------
       Reporter:  jdemeyer           |        Owner:
           Type:  enhancement        |       Status:  needs_info
       Priority:  major              |    Milestone:  sage-6.2
      Component:  elliptic curves    |   Resolution:
       Keywords:                     |    Merged in:
        Authors:  Jeroen Demeyer     |    Reviewers:
Report Upstream:  N/A                |  Work issues:
         Branch:                     |       Commit:
  u/jdemeyer/ticket/15855            |  89726c59cdf83f3cee87e56806a3a86d8938df2c
   Dependencies:                     |     Stopgaps:
-------------------------------------+-------------------------------------
Changes (by pbruin):

 * status:  positive_review => needs_info


Old description:

> Use the quadratic algorithm instead of PARI for precision close to but
> less than the characteristic. This is needed for #15767.
>
> Also fix the precision bound for the quadratic algorithm and clean up the
> code.

New description:

 Use the quadratic algorithm instead of PARI for precision close to but
 less than the characteristic. This is needed for #15767.

 Also fix the precision bound for the quadratic algorithm and clean up the
 code.

--

Comment:

 I did some further cleaning up on a new branch
 `u/pbruin/15855-weierstrass_p_cleanup`.  The test for `p >= prec + 3` can
 also be done at the beginning, since ''p'' really arise in the
 denominators of the series, we are not just dividing by it as an
 intermediate step of the algorithm.  With this patch, we don't insist on
 characteristic 0 when `algorithm='pari'`, but neither do we use PARI by
 default.  If you agree with the changes in this branch and it still good
 as a dependency of #15767, you can put it in the branch field.

 We probably have to check if everything still works after the latest PARI
 fix, hence `needs_info`.

--
Ticket URL: <http://trac.sagemath.org/ticket/15855#comment:9>
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/groups/opt_out.

Reply via email to