On Mon, Mar 31, 2008 at 9:21 PM, Mike Hansen <[EMAIL PROTECTED]> wrote: > > I've posted some benchmarks at > http://wiki.sagemath.org/MultivariateGCDBenchmarks . >
Just out of curiosity, is Magma vastly faster than everything else in every single benchmark? I'm having some trouble matching up what's at the above website with the corresponding (?) timings on the Magma website. The Magma timings are *all* < 0.65 seconds, whereas timings on the above page are often many seconds to minutes. By the way, Richard Fateman pointed out to me offlist that Maxima running on top of clisp _might_ be much slower than Maxima on gcl. This could be relevant to our benchmarking. -- William > --Mike > > > > On Mon, Mar 31, 2008 at 6:48 PM, Roman Pearce <[EMAIL PROTECTED]> wrote: > > > > > The important thing isn't what algorithm is implemented, but that the > > > result is fast(er than Magma). > > > > The important thing is whether users can hope to get an answer at all. > > The old Singular factoring code was hopeless and I bet multivariate > > gcd > > is still hopeless. And what about correct ? The new code you linked > > to looks like a probabilistic algorithm. There's no point in being > > fast if you're wrong, and developing good routines will take months. > > I simply wanted to point out the existence of what appears to be > > correct routines, even if they are slow. > > > > Also, to Joel Mohler: > > You need "Algorithms for Computer Algebra" by Geddes, Czapor, and > > Labahn: > > Chapter 5: Chinese Remainder Theorem > > Chapter 6: Newton's Iteration and Hensel Lifting > > Chapter 7: Polynomial GCD > > Chapter 8: Polynomial Factorization > > > > What you are trying to do is not a "weeks long" project, it is one > > of the central achievements of the entire field. It took a > > decade > > to do the first time, so don't expect to have "industrial strength" > > routines soon. It will realistically take months of full time work. > > There's about 100 pages of material in that book, when you take out > > the exercises, etc. You need it all. > > > > The people on this list seem to hilariously underestimate the depth > > of this problem, and that concerns me. I want Sage to succeed, and > > you can't with that attitude. This is a massive undertaking, and > > if you treat it like it's not it is ultimately very discouraging. > > > > I'd spell it all out: the things you need to do, the problems and > > subproblems, but it's easier and better if you just read the book. > > > > > > > > > > > > > -- William Stein Associate Professor of Mathematics University of Washington http://wstein.org --~--~---------~--~----~------------~-------~--~----~ To post to this group, send email to sage-devel@googlegroups.com To unsubscribe from this group, send email to [EMAIL PROTECTED] For more options, visit this group at http://groups.google.com/group/sage-devel URLs: http://www.sagemath.org -~----------~----~----~----~------~----~------~--~---
