#16222: Faster exactification using numeric minpoly
-------------------------------------+-------------------------------------
Reporter: gagern | Owner:
Type: enhancement | Status: needs_review
Priority: major | Milestone: sage-6.4
Component: number fields | Resolution:
Keywords: | Merged in:
Authors: Martin von Gagern | Reviewers:
Report Upstream: N/A | Work issues:
Branch: | Commit:
u/gagern/ticket/16222 | 96942f09ea8a9cddf2b2dc8fece352935ddfe3b2
Dependencies: | Stopgaps:
-------------------------------------+-------------------------------------
Changes (by gagern):
* status: needs_work => needs_review
Comment:
Rebased to 6.6.rc2 and added public interface `z.exactify(symbolic=True)`.
I considered “numeric” instead of “symbolic”, but I at least tend to
associate “numeric” with “inexact”, so I felt that term might be more
confusing. Also considered “algoiritm='symbolic'” but I think in the long
run we might have various alternatives which could be tried one after the
other, so a flag to enable or disable each sounds more useful. The same
holds for a new method as opposed to an argument to `exactify`. So that's
why I chose the interface the way I did.
Now that my new code is not called by default, it shouldn't have any
adverse effects on other parts of the code, which might make this easier
to review. I hope this can be merged, to enable some evaluation in
preparation for #18122 which I filed for automatically choosing between
algorithms. I fear that might be hard to get right.
--
Ticket URL: <http://trac.sagemath.org/ticket/16222#comment:20>
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.
