#14239: symbolic radical expression for algebraic number
-------------------------------------+-------------------------------------
Reporter: gagern | Owner: davidloeffler
Type: enhancement | Status: needs_work
Priority: major | Milestone: sage-6.4
Component: number fields | Resolution:
Keywords: | Merged in:
Authors: Martin von Gagern | Reviewers: Marc Mezzarobba,
Report Upstream: N/A | Jeroen Demeyer
Branch: | Work issues:
u/gagern/ticket/14239 | Commit:
Dependencies: | d2f72c655cc22f18c9029da5feff12f35eb0dbf8
| Stopgaps:
-------------------------------------+-------------------------------------
Comment (by jdemeyer):
Replying to [comment:40 gagern]:
> Checking for equality means turning the symbolic expression into an
algebraic number. Which in turn means building a tree of algebraic number
descriptors. Comparing them with the input number will work by the usual
comparison of algebraic numbers, which starts by a few rounds of
increasing precision but in the end boils down to finding a common number
field to accomodate both values and doing the arithmetic there. Which can
be really slow.
Then stick to using intervals. I completely agree with your argument that
the "rare" case should be as simple as possible. Which for me means to not
have a completely different code path.
--
Ticket URL: <http://trac.sagemath.org/ticket/14239#comment:43>
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.
