#16296: Speed improvements for categories with axioms
-------------------------------------+-------------------------------------
Reporter: SimonKing | Owner:
Type: enhancement | Status: new
Priority: major | Milestone: sage-6.3
Component: categories | Resolution:
Keywords: cython | Merged in:
performance categories | Reviewers:
Authors: | Work issues:
Report Upstream: N/A | Commit:
Branch: | cfe01ae673e44590b478b282eb61e0c644dbe643
u/SimonKing/ticket/16296 | Stopgaps:
Dependencies: #10963, #15801, |
#16309 |
-------------------------------------+-------------------------------------
Comment (by SimonKing):
Here is another benchmark. Idea: We have a list of tuples of categories,
with varying base rings. For each tuple, we form the join category, first
with cold cache, then with warm cache.
With #15801:
{{{
sage: L = [(Coalgebras(GF(q,'a')), Sets.Finite(), CommutativeRings(),
SimplicialComplexes()) for q in prime_powers(2,50000)]
sage: %time C = [Category.join(Cats) for Cats in L]
CPU times: user 21.1 s, sys: 136 ms, total: 21.2 s
Wall time: 21.2 s
sage: %time C = [Category.join(Cats) for Cats in L]
CPU times: user 230 ms, sys: 1 ms, total: 231 ms
Wall time: 231 ms
}}}
With this branch:
{{{
sage: L = [(Coalgebras(GF(q,'a')), Sets.Finite(), CommutativeRings(),
SimplicialComplexes()) for q in prime_powers(2,50000)]
sage: %time C = [Category.join(Cats) for Cats in L]
CPU times: user 18.7 s, sys: 172 ms, total: 18.9 s
Wall time: 18.9 s
sage: %time C = [Category.join(Cats) for Cats in L]
CPU times: user 150 ms, sys: 0 ns, total: 150 ms
Wall time: 162 ms
}}}
__Discussion of the benchmark__
- I am still not sure if this is a good test. Yes, there is some
category+axiom mangling involved, but other examples might provide more of
it.
- We have a speedup of 11% with cold cache.
- We have a speedup of 34% with warm cache.
--
Ticket URL: <http://trac.sagemath.org/ticket/16296#comment:55>
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.
