#18749: Groebner basis computations with the F4 algorithm
-------------------------------------+-------------------------------------
Reporter: tcoladon | Owner:
Type: enhancement | Status: new
Priority: major | Milestone: sage-6.8
Component: packages: | Resolution:
optional | Merged in:
Keywords: F4, groebner | Reviewers:
basis, ideal | Work issues:
Authors: Titouan Coladon | Commit:
Report Upstream: N/A | cf1952a78d21e5778ca358dff120166d184a86c4
Branch: u/malb/t18749_f4 | Stopgaps:
Dependencies: |
-------------------------------------+-------------------------------------
Comment (by malb):
I played around with this ticket some more. On a Intel(R) Xeon(R) CPU
E5-2667 v2 @ 3.30GHz with 16 real cores:
{{{#!python
sage: P = PolynomialRing(GF(previous_prime(2^31)), 9, 'x')
sage: I = sage.rings.ideal.Cyclic(P)
sage: %time gb = I.groebner_basis('magma')
CPU times: user 19.1 s, sys: 904 ms, total: 20 s
Wall time: 5h 22min 33s
sage: I = sage.rings.ideal.Cyclic(P) # avoid caching
sage: %time gb16 = I.groebner_basis('f4', threads=16)
CPU times: user 1h 23min 13s, sys: 33.6 s, total: 1h 23min 47s
Wall time: 9min 54s
sage: gb == gb16
True
sage: %time gb8 = I.groebner_basis('f4', threads=8)
CPU times: user 1h 4min 55s, sys: 27.9 s, total: 1h 5min 23s
Wall time: 12min 23s
sage: gb == gb8
True
sage: %time gb1 = I.groebner_basis('f4', threads=1)
CPU times: user 50min 26s, sys: 26.6 s, total: 50min 52s
Wall time: 50min 56s
sage: gb1 == gb
True
}}}
--
Ticket URL: <http://trac.sagemath.org/ticket/18749#comment:15>
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.
