#20032: Add Arb algorithm for Hilbert class polynomial
-------------------------------------+-------------------------------------
Reporter: fredrik.johansson | Owner:
Type: PLEASE CHANGE | Status: needs_review
Priority: major | Milestone: sage-7.1
Component: number theory | Resolution:
Keywords: arb | Merged in:
Authors: Fredrik Johansson | Reviewers:
Report Upstream: N/A | Work issues:
Branch: | Commit:
u/fredrik.johansson/add_arb_algorithm_for_hilbert_class_polynomial|
9bcb10b39c004daf06e949f31bc7d21d47c15f1a
Dependencies: #19811 | Stopgaps:
-------------------------------------+-------------------------------------
Changes (by {'newvalue': u'Fredrik Johansson', 'oldvalue': ''}):
* status: new => needs_review
* author: => Fredrik Johansson
* component: PLEASE CHANGE => number theory
* dependencies: => #19811
* keywords: => arb
* commit: => 9bcb10b39c004daf06e949f31bc7d21d47c15f1a
Old description:
New description:
This adds "arb" as an algorithm and makes it the default since it is
faster (and provably correct modulo bugs).
Timings:
{{{
sage: %timeit hilbert_class_polynomial(-103, algorithm="arb");
10000 loops, best of 3: 74.9 µs per loop
sage: %timeit hilbert_class_polynomial(-103, algorithm="sage");
1000 loops, best of 3: 1.13 ms per loop
sage: %time a=hilbert_class_polynomial(-10000003, algorithm="arb");
CPU times: user 24.4 s, sys: 43.9 ms, total: 24.4 s
Wall time: 24.4 s
sage: %time b=hilbert_class_polynomial(-10000003, algorithm="sage");
CPU times: user 5min, sys: 509 ms, total: 5min 1s
Wall time: 5min 1s
sage: a == b
True
}}}
--
Comment:
This branch includes a commit from #20031 since I added
{{{acb_modular.pxd}}} there. I guess it would be cleanest to wait for
#20031 before merging this.
----
New commits:
||[http://git.sagemath.org/sage.git/commit/?id=75521905caaec82a78c7488d7545a8d8b3b47dfb
7552190]||{{{Upgrade arb to version 2.8.1}}}||
||[http://git.sagemath.org/sage.git/commit/?id=c57d86fea66232f5e662107a9b490323c2a56d5a
c57d86f]||{{{upgrade doctests to reflect precision changes in latest
arb}}}||
||[http://git.sagemath.org/sage.git/commit/?id=5993a349782810afb5307e9edd07a0808a20521c
5993a34]||{{{fix ComplexBallField element raised to negative Python
int}}}||
||[http://git.sagemath.org/sage.git/commit/?id=68bf6eaac23bc3bd2375034dcc143c03d267916e
68bf6ea]||{{{CBF.hypergeometric: specialize for 0f0, 1f0, 0f1, 2f1, and
support regularized=True}}}||
||[http://git.sagemath.org/sage.git/commit/?id=323f571c4d32b234d94d54eef7ffea078b0e732b
323f571]||{{{CBF: wrap more Bessel functions}}}||
||[http://git.sagemath.org/sage.git/commit/?id=830943772ac74f7c0a4371e79e0e6621bca2538c
8309437]||{{{CBF: wrap Jacobi theta functions}}}||
||[http://git.sagemath.org/sage.git/commit/?id=9bcb10b39c004daf06e949f31bc7d21d47c15f1a
9bcb10b]||{{{Add Arb as default algorithm in hilbert_class_polynomial}}}||
--
Ticket URL: <http://trac.sagemath.org/ticket/20032#comment:2>
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 https://groups.google.com/group/sage-trac.
For more options, visit https://groups.google.com/d/optout.
