#11286: Speed-up solving linear systems
------------------------------+---------------------------------------------
Reporter: rbeezer | Owner: jason, was
Type: enhancement | Status: needs_info
Priority: major | Milestone: sage-4.7.1
Component: linear algebra | Keywords:
Work_issues: | Upstream: N/A
Reviewer: | Author: Rob Beezer
Merged: | Dependencies:
------------------------------+---------------------------------------------
Comment(by rbeezer):
Replying to [comment:2 dimpase]:
> For QQ and other infinite exact fields, naive Gauss elimination is not a
good strategy all together, as it can lead to an exponential blowup of
coefficients.
Hi Dima!
Agreed. This is part of the challenge in testing this. But I believe
this is the current strategy. In other words, eventually Sage does
echelon form, with or without this patch.
QQ gets converted to ZZ, and I do not know if the routines over ZZ control
for this. But when I test with matrices containing number fields
(cyclotomics), the rational coefficients do get out of hand.
So this patch is an incremental improvement. With or without, we still
rely on Gaussian elimination in 100% of cases (or nearly so).
Rob
--
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/11286#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 post to this group, send email to [email protected].
To unsubscribe from this group, send email to
[email protected].
For more options, visit this group at
http://groups.google.com/group/sage-trac?hl=en.
