#10513: Coercion and category framework for modules
-------------------------------------+-------------------------------------
       Reporter:  SimonKing          |        Owner:  robertwb
           Type:  defect             |       Status:  needs_work
       Priority:  major              |    Milestone:  sage-pending
      Component:  coercion           |   Resolution:
       Keywords:  coercion,          |    Merged in:
  category framework, modules        |    Reviewers:  Jean-Pierre Flori
        Authors:  Simon King, Peter  |  Work issues:
  Bruin                              |       Commit:
Report Upstream:  N/A                |  b1287e75962a2dc590f1fa22acc90a4e53383aab
         Branch:                     |     Stopgaps:
  u/jdemeyer/ticket/10513            |
   Dependencies:  #16507, #17578,    |
  #17561                             |
-------------------------------------+-------------------------------------
Changes (by nbruin):

 * status:  positive_review => needs_work


Comment:

 On 6.5.beta5:
 {{{
 sage: %time for p in prime_range(10^5): V=(GF(p))^3
 CPU times: user 3.63 s, sys: 28 ms, total: 3.66 s
 Wall time: 3.65 s
 }}}
 With this branch:
 {{{
 sage: %time for p in prime_range(10^5): V=(GF(p))^3
 CPU times: user 13.4 s, sys: 29 ms, total: 13.5 s
 Wall time: 13.5 s
 }}}
 I think that's a significant regression in performance. It's probably due
 to the construction of the category-with-base. If you change the category
 to be "Category of vector spaces over Fields" or "over Finite Fields"
 you'll get much better performance, because there's not a new category to
 be constructed for every single space.

 (this stuff isn't academic--such spaces really get made a lot in CRT
 code). See also #17360, where the issue causes a memleak (that seems to be
 fine here). See also [http://trac.sagemath.org/ticket/10963#comment:506]
 where this issue was mentioned right at the start of the development of
 these parametrized categories.

--
Ticket URL: <http://trac.sagemath.org/ticket/10513#comment:46>
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.

Reply via email to